Programming Android with Kotlin: Achieving Structured Concurrency with Coroutines, Laurence Pierre-Olivier, Hinchman-Dominguez Amanda, Dunn Mike

Автор: Sottile, Matthew J. , Mattson, Timothy G. , Rasm
Название: Introduction to Concurrency in Programming Languages
ISBN: 0367385155 ISBN-13(EAN): 9780367385156
Издательство: Taylor&Francis
Рейтинг:
Цена: 9492.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Illustrating the effect of concurrency on programs written in familiar languages, this text focuses on novel language abstractions that truly bring concurrency into the language and aid analysis and compilation tools in generating efficient, correct programs. It also explains the complexity involved in taking advantage of concurrency.

Автор: Torres, Miguel Angel Castiblanco
Название: Learning Concurrency in Kotlin
ISBN: 1788627164 ISBN-13(EAN): 9781788627160
Издательство: Неизвестно
Рейтинг:
Цена: 9010.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The requirements of modern day applications are scalability, speed and making the most use of hardware. Kotlin provides immense support for concurrency. This book addresses the challenges for the design and implementation of concurrent code and shows you how to write lock-free concurrent code taking advantage of Kotlin`s concurrency support.

Автор: Gabrijelčič Primoz
Название: Delphi High Performance: Build fast Delphi applications using concurrency, parallel programming and memory management
ISBN: 1788625455 ISBN-13(EAN): 9781788625456
Издательство: Неизвестно
Рейтинг:
Цена: 9562.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Delphi is a cross-platform Integrated Development Environment (IDE) that supports rapid application development for Microsoft Windows, Apple Mac OS X, Google Android, iOS, and now Linux with RAD Studio 10.2. This book will be your guide to build efficient high performance applications with Delphi.

Автор: 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.

Автор: M?rio S. Alvim; Kostas Chatzikokolakis; Carlos Ola
Название: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
ISBN: 3030311740 ISBN-13(EAN): 9783030311742
Издательство: Springer
Рейтинг:
Цена: 10340.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday. It features 6 laudations, which are available in the front matter of the volume, and 25 papers by close collaborators and friends.

Автор: Forbes Elliot
Название: Learning Concurrency in Python
ISBN: 1787285375 ISBN-13(EAN): 9781787285378
Издательство: Неизвестно
Рейтинг:
Цена: 9010.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Howard Bowman; Rodolfo Gomez
Название: Concurrency Theory
ISBN: 1849969515 ISBN-13(EAN): 9781849969512
Издательство: Springer
Рейтинг:
Цена: 20263.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The simple reason is that it is easier for us to think about sequential, rather than concurrent, systems. Over a period of 25 years, or so, the ?eld of concurrency theory has been involved in the development of a set of mathematical techniques that can help system developers to think about and build concurrent systems.

Автор: Flemming Nielson
Название: ML with Concurrency
ISBN: 1461274834 ISBN-13(EAN): 9781461274834
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Both functional and concurrent programming are relatively new paradigms with great promise. In this book, a survey is provided of extensions to Standard ML, one of the most widely used functional languages, with new primitives for concurrent programming. Computer scientists and graduate students will find this a valuable guide to this topic.

Автор: Jacopo Mauro
Название: Constraints Meet Concurrency
ISBN: 9462390665 ISBN-13(EAN): 9789462390669
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book describes benefits that emerge when the fields of constraint programming and concurrency meet. Proposes an extension to Service Oriented Languages to overcome some of their limitations and to improve the development of concurrent applications.

Автор: Kanchana Kanchanasut; Jean-Jacques Levy
Название: Algorithms, Concurrency and Knowledge
ISBN: 3540606882 ISBN-13(EAN): 9783540606888
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These conference proceedings cover topics which include: algorithms; knowledge representation; programming and specification languages; verification; concurrency; networking and distributed systems; and databases.

Автор: Delaney Kalen
Название: SQL Server Concurrency
ISBN: 1906434913 ISBN-13(EAN): 9781906434915
Издательство: Неизвестно
Цена: 4137.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Maciej Koutny; J?rg Desel; Serge Haddad
Название: Transactions on Petri Nets and Other Models of Concurrency X
ISBN: 3662486490 ISBN-13(EAN): 9783662486498
Издательство: Springer
Рейтинг:
Цена: 9084.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Verification of Logs - Revealing Faulty Processes of a Medical Laboratory.- An Everlasting Secure Non-interactive Timestamping Scheme in the Bounded Storage Model.- Timed Aggregate Graph: Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets.- SMT-based Abstract Parametric Temporal Planning.- Kleene Theorems for Synchronous Products with Matching.- Symbolic Model Checking of Security Protocols for Ad Hoc Networks on Any Topologies.- Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling.- Modelling and Analysis Mobile Systems Using π-Calculus (EFCP).