Applying Integration Techniques and Methods in Distributed Systems, Gabor Kecskemeti

Автор: Fokkink
Название: Modelling Distributed Systems
ISBN: 3540739378 ISBN-13(EAN): 9783540739371
Издательство: Springer
Рейтинг:
Цена: 7959.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author`s website.

Автор: Burns Brendan
Название: Designing Distributed Systems: Patterns and Paradigms for Scalable, Reliable Services
ISBN: 1491983647 ISBN-13(EAN): 9781491983645
Издательство: Wiley
Рейтинг:
Цена: 6334.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This report explores the concept of a digital business platform as a way of empowering individual business sectors to act on data in real time.

Автор: Nik Bessis
Название: Technology Integration Advancements in Distributed Systems and Computing
ISBN: 1466609060 ISBN-13(EAN): 9781466609068
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 28413.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Offers a vital compendium of research and developments within the field of distributed computing, giving case studies, frameworks, architectures, and best practices for academics and practitioners alike. With authors from around the world and the latest research from experts within the field, this resource acts as both a reference guide and research handbook.

Автор: John Hatcliff; Elena Zucca
Название: Formal Techniques for Distributed Systems
ISBN: 3642134637 ISBN-13(EAN): 9783642134630
Издательство: Springer
Рейтинг:
Цена: 9776.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2010, and the 30th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2010, held in Amsterdam, The Netherlands, in June 2010.

Автор: Eloranta Veli Pekka
Название: Designing Distributed Control Systems
ISBN: 1118694155 ISBN-13(EAN): 9781118694152
Издательство: Wiley
Рейтинг:
Цена: 6653.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Designing Distributed Control Systems presents 80 patterns for designing distributed machine control system software architecture (forestry machinery, mining drills, elevators, etc.).

Автор: Rajmohan Rajaraman; Thomas Moscibroda; Adam Dunkel
Название: Distributed Computing in Sensor Systems
ISBN: 3642136508 ISBN-13(EAN): 9783642136504
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book constitutes the refereed proceedings of the 6th International Conference on Distributed Computing in Sensor Systems, DCOSS 2010, held in Santa Barbara, CA, USA, in June 2010. The research contributions in this proceedings span important aspects of sensor systems, including energy management;

Автор: James H. Anderson; Giuseppe Prencipe; Roger Watten
Название: Principles of Distributed Systems
ISBN: 3540363211 ISBN-13(EAN): 9783540363217
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed post-proceedings of the 9th International Conference on Principles of Distributed Systems, OPODIS 2005, held in Pisa, Italy in December 2005. This book presents papers that are organized in topical sections on nonblocking synchronization, fault-tolerant broadcast and consensus, and sensor networks and mobile computing.