CONCUR `98 Concurrency Theory, Davide Sangiorgi; Robert de Simone
Автор: Gianfranco Ciardo; Ekkart Kindler Название: Application and Theory of Petri Nets and Concurrency ISBN: 3319077333 ISBN-13(EAN): 9783319077338 Издательство: Springer Рейтинг: Цена: 11598.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The papers cover various topics in the field of Petri nets and related models of concurrency.
Автор: Job Zwiers Название: Compositionality, Concurrency, and Partial Correctness ISBN: 3540508457 ISBN-13(EAN): 9783540508458 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Narciso Mart?-Oliet; Peter Csaba ?lveczky; Carolyn Название: Logic, Rewriting, and Concurrency ISBN: 3319231642 ISBN-13(EAN): 9783319231648 Издательство: Springer Рейтинг: Цена: 11180.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of Jose Meseguer to honor him on the occasion of his 65th birthday.
Описание: 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.
Автор: Catuscia Palamidessi Название: CONCUR 2000 - Concurrency Theory ISBN: 3540678972 ISBN-13(EAN): 9783540678977 Издательство: Springer Рейтинг: Цена: 16070.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers address concurrency-related aspects of models of computation; semantic domains; process algebras; Petri nets; event structures; real-time systems; hybrid systems; decidability; model checking; verification techniques; refinement; term and graph rewriting; and other topics.
Автор: Antoni Mazurkiewicz; Jozef Winkowski Название: CONCUR`97: Concurrency Theory ISBN: 3540631410 ISBN-13(EAN): 9783540631415 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Forming the proceedings of the 8th International Conference on Concurrency Theory held in 1997, this volume covers topics in the science of concurrency theory and its applications, including: reactive systems, hybrid systems, model checking, partial orders, and program logic calculi.
Автор: Jose-Manuel Colom; J?rg Desel Название: Application and Theory of Petri Nets and Concurrency ISBN: 3642386962 ISBN-13(EAN): 9783642386961 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 34th International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2013, held in Milan, Italy, in June 2013. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.
Автор: Raymond Devillers; Antti Valmari Название: Application and Theory of Petri Nets and Concurrency ISBN: 3319194879 ISBN-13(EAN): 9783319194875 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, held in Brussels, Belgium, in June 2015. The 12 regular papers and 2 tool papers presented in this volume were carefully reviewed and selected from 34 submissions.
Автор: Maciej Koutny; Wil M. P. van der Aalst; Alex Yakov Название: Transactions on Petri Nets and Other Models of Concurrency VIII ISBN: 3642404642 ISBN-13(EAN): 9783642404641 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume features papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Coverage includes model checking and system verification, refinement and synthesis, and innovative applications.
Автор: Thomas Gibson-Robinson; Philippa Hopcroft; Ranko L Название: Concurrency, Security, and Puzzles ISBN: 3319510452 ISBN-13(EAN): 9783319510453 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. He is also world renowned for his pioneering work in analyzing security protocols, modeling information flow, human-interactive security, and much more.
Автор: 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.
Описание: Elixir`s pragmatic syntax and built-in support for metaprogramming will make you productive and keep you interested for the long haul. Maybe the time is right for the Next Big Thing. Maybe it`s Elixir. This book is the introduction to Elixir for experienced programmers, completely updated for Elixir 1.3.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
