Models, Languages, and Tools for Concurrent and Distributed Programming, Michele Boreale; Flavio Corradini; Michele Loreti;

Автор: Barry Wittman, Aditya Mathur, Tim Korb
Название: Start Concurrent: An Introduction to Problem Solving in Java With a Focus on Concurrency, 2014
ISBN: 1626710090 ISBN-13(EAN): 9781626710092
Издательство: Mare Nostrum (Eurospan)
Цена: 10672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: How can the new generation of computer scientists growing up with multicore chips learn to program applications that exploit this latent processing power? This unique book is an attempt to introduce concurrent programming to first-year computer science students. This book assumes no programming background but offers a broad coverage of Java.

Автор: Jean-Marie Jacquet
Название: Conclog: A Methodological Approach to Concurrent Logic Programming
ISBN: 3540549382 ISBN-13(EAN): 9783540549383
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents a new concurrent logic programming language called Conclog and a methodology for programming in it. Conclog conserves the declarative appeal of logic programming while ensuring efficiency. The methodology is aimed at constructing Conclog programs in a rigorous way.

Автор: Marlow Simon
Название: Parallel and Concurrent Programming in Haskell: Techniques for Multicore and Multithreaded Programming
ISBN: 1449335942 ISBN-13(EAN): 9781449335946
Издательство: Wiley
Рейтинг:
Цена: 5701.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: If you have a working knowledge of Haskell, this book shows you how to use the language`s many APIs and frameworks for writing parallel and concurrent programs. You`ll learn how parallelism exploits multicore processors to speed up computation-heavy programs and how concurrency enables you to write programs with threads for multiple interactions.

Автор: Reppy
Название: Concurrent Programming in ML
ISBN: 0521480892 ISBN-13(EAN): 9780521480895
Издательство: Cambridge Academ
Рейтинг:
Цена: 17424.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book covers the topic of concurrent programming using Concurrent ML (CML), an extension of the functional language Standard ML. The book is a practical `how-to` book with applications for programmers interested in CML, but it also includes technical discussions of the language design issues behind CML.

Автор: Raynal
Название: Concurrent Programming: Algorithms, Principles, and Foundations
ISBN: 3642320260 ISBN-13(EAN): 9783642320262
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of concurrent objects in the presence of asynchrony and process crashes.

Автор: Michel Raynal
Название: Concurrent Programming: Algorithms, Principles, and Foundations
ISBN: 3642446159 ISBN-13(EAN): 9783642446153
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of concurrent objects in the presence of asynchrony and process crashes.

Автор: Krzysztof R. Apt
Название: Logics and Models of Concurrent Systems
ISBN: 3642824552 ISBN-13(EAN): 9783642824555
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Ryszard Janicki; Peter E. Lauer
Название: Specification and Analysis of Concurrent Systems
ISBN: 3642773397 ISBN-13(EAN): 9783642773396
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Concurrent systems abound in human experience but theirfully adequate conceptualization as yet eludes our most ablethinkers. The COSY (ConcurrentSystem) notation and theorywas developed in the last decade as one of a number ofmathematical approaches for conceptualizing and analyzingconcurrent and reactive systems.

Автор: A. C. Hartmann
Название: A Concurrent Pascal Compiler for Minicomputers
ISBN: 3540082409 ISBN-13(EAN): 9783540082408
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Patrice Godefroid
Название: Partial-Order Methods for the Verification of Concurrent Systems
ISBN: 3540607617 ISBN-13(EAN): 9783540607618
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This monograph is a revised version of the author`s PhD thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work is to turn logical and semantic ideas into exploitable algorithms.

Автор: Zhe Ma; Pol Marchal; Daniele Paolo Scarpazza; Peng
Название: Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms
ISBN: 9048176107 ISBN-13(EAN): 9789048176106
Издательство: Springer
Рейтинг:
Цена: 20263.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A genuinely useful text that gives an overview of the state-of-the-art in system-level design trade-off explorations for concurrent tasks running on embedded heterogeneous multiple processors. This material is mainly based on research at IMEC and its international university network partners in this area over the last decade.

Автор: G. Kahn
Название: Semantics of Concurrent Computation
ISBN: 354009511X ISBN-13(EAN): 9783540095118
Издательство: Springer
Рейтинг:
Цена: 4191.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.