Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Progress of Concurrent Objects, Liang Hongjin, Feng Xinyu


Варианты приобретения
Цена: 11781.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до:
Ориентировочная дата поставки:
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Liang Hongjin, Feng Xinyu
Название:  Progress of Concurrent Objects
ISBN: 9781680836721
Издательство: Mare Nostrum (Eurospan)
Классификация:
ISBN-10: 1680836722
Обложка/Формат: Paperback
Страницы: 146
Вес: 0.22 кг.
Дата издания: 30.06.2020
Серия: Foundations and trends (r) in programming languages
Язык: English
Размер: 23.39 x 15.60 x 0.81 cm
Читательская аудитория: Professional and scholarly
Ключевые слова: Programming & scripting languages: general, COMPUTERS / Programming Languages / General
Рейтинг:
Поставляется из: Англии
Описание: Examines the progress properties of concurrent objects. The book formulates each progress property in terms of contextual refinement so that, when verifying clients of the objects, concrete object implementations can be replaced with their abstractions with certainty, achieving modular verification.


Programming Crystal: Create High-Performance, Safe, Concurrent Apps

Автор: Balbaert Ivo, Laurent Simon St
Название: Programming Crystal: Create High-Performance, Safe, Concurrent Apps
ISBN: 1680502867 ISBN-13(EAN): 9781680502862
Издательство: Wiley
Рейтинг:
Цена: 5062.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book, the first available on Crystal, shows you how to write applications that have the beauty and elegance of a modern language, combined with the power of types and modern concurrency tooling. Now you can write beautiful code that runs faster, scales better, and is a breeze to deploy.

Learning Concurrent Programming in Scala

Автор: Frank Felix
Название: Learning Concurrent Programming in Scala
ISBN: 1783281413 ISBN-13(EAN): 9781783281411
Издательство: Неизвестно
Рейтинг:
Цена: 9010.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Models, Languages, and Tools for Concurrent and Distributed Programming

Автор: Michele Boreale; Flavio Corradini; Michele Loreti;
Название: Models, Languages, and Tools for Concurrent and Distributed Programming
ISBN: 3030214842 ISBN-13(EAN): 9783030214845
Издательство: Springer
Рейтинг:
Цена: 10340.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The Festschrift volume contains 27 papers written by close collaborators and friends of Rocco De Nicola and was presented to Rocco on the 1st of July 2019 during a two-day symposium held in Lucca, Italy. The papers present many research ideas that have been influenced by Rocco`s work.

Start Concurrent: An Introduction to Problem Solving in Java With a Focus on Concurrency, 2014

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

Practical Concurrent Haskell

Автор: Stefania Loredana Nita; Marius Mihailescu
Название: Practical Concurrent Haskell
ISBN: 1484227808 ISBN-13(EAN): 9781484227800
Издательство: Springer
Рейтинг:
Цена: 5309.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Learn to use the APIs and frameworks for parallel and concurrent applications in Haskell. This book will show you how to exploit multicore processors with the help of parallelism in order to increase the performance of your applications.
Practical Concurrent Haskell teaches you how concurrency enables you to write programs using threads for multiple interactions. After accomplishing this, you will be ready to make your move into application development and portability with applications in cloud computing and big data. You'll use MapReduce and other, similar big data tools as part of your Haskell big data applications development.
What You'll Learn

  • Program with Haskell
  • Harness concurrency to Haskell
  • Apply Haskell to big data and cloud computing applications
  • Use Haskell concurrency design patterns in big data
  • Accomplish iterative data processing on big data using Haskell
  • Use MapReduce and work with Haskell on large clusters

Who This Book Is For
Those with at least some prior experience with Haskell and some prior experience with big data in another programming language such as Java, C#, Python, or C++.
Conclog: A Methodological Approach to Concurrent Logic Programming

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

Understanding Control Flow: Concurrent Programming Using μc++

Автор: Buhr Peter A.
Название: Understanding Control Flow: Concurrent Programming Using μc++
ISBN: 3319798308 ISBN-13(EAN): 9783319798301
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Examples and exercises are also provided in this textbook. New programming methodologies are requiring new forms of control flow, and new programming languages are supporting these methodologies with new control structures, such as the concurrency constructs discussed in this textbook.

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms

Автор: 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: 1402063288 ISBN-13(EAN): 9781402063282
Издательство: 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.

Concurrent Patterns and Best Practices

Автор: Khot Atul S.
Название: Concurrent Patterns and Best Practices
ISBN: 1788627903 ISBN-13(EAN): 9781788627900
Издательство: Неизвестно
Рейтинг:
Цена: 8091.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Selecting the correct concurrency architecture has a significant impact on the design and performance of your applications. Concurrency and parallelism are synonymous to performance and high-end scalability, and this book equips you with all the tools and techniques necessary to achieve those.

Concurrent Programming in ML

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

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms

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

Learning Concurrent Programming in Scala, Second Edition

Автор: Prokopec Aleksandar
Название: Learning Concurrent Programming in Scala, Second Edition
ISBN: 1786466899 ISBN-13(EAN): 9781786466891
Издательство: Неизвестно
Рейтинг:
Цена: 9010.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия