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

Formal Techniques for Distributed Systems, John Hatcliff; Elena Zucca


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

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

Автор: John Hatcliff; Elena Zucca
Название:  Formal Techniques for Distributed Systems
ISBN: 9783642134630
Издательство: Springer
Классификация:
ISBN-10: 3642134637
Обложка/Формат: Paperback
Страницы: 231
Вес: 0.39 кг.
Дата издания: 01.06.2010
Серия: Programming and Software Engineering
Язык: English
Размер: 234 x 155 x 15
Основная тема: Computer Science
Подзаголовок: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 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.


Architectural Transformations in Network Services and  Distributed Systems

Автор: Andriy Luntovskyy; Josef Spillner
Название: Architectural Transformations in Network Services and Distributed Systems
ISBN: 3658148403 ISBN-13(EAN): 9783658148409
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: With the given work we decided to help not only the readers but ourselves, as the professionals who actively involved in the networking branch, with understanding the trends that have developed in recent two decades in distributed systems and networks. Important architecture transformations of distributed systems have been examined.

Distributed Computing in Sensor Systems

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

Internet and Distributed Computing Systems

Автор: Li
Название: Internet and Distributed Computing Systems
ISBN: 3319459392 ISBN-13(EAN): 9783319459394
Издательство: Springer
Рейтинг:
Цена: 10342.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 9th International Conference on Internet and Distributed Computing Systems, IDCS 2016, held in Wuhan, China, in September 2016. The 30 full papers and 18 short papers presented in this volume were carefully reviewed and selected from 78 submissions.

Stabilization, Safety, and Security of Distributed Systems

Автор: Paul Spirakis; Philippas Tsigas
Название: Stabilization, Safety, and Security of Distributed Systems
ISBN: 3319690833 ISBN-13(EAN): 9783319690834
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2017, held in Boston, MA, USA, in November 2017. The 29 revised full papers presented together with 8 revised short papers were carefully reviewed and selected from 68 initial submissions.

Distributed Systems and Applications of Information Filtering and Retrieval

Автор: Cristian Lai; Alessandro Giuliani; Giovanni Semera
Название: Distributed Systems and Applications of Information Filtering and Retrieval
ISBN: 3662512475 ISBN-13(EAN): 9783662512470
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book contains papers from DART 2012, the 6th International Workshop on Information Filtering and Retrieval. Coverage includes multi-agent systems, natural language processing, automatic advertisement, customer interaction analytics, and opinion mining.

Distributed Embedded Systems: Design, Middleware and Resources

Автор: Bernd Kleinjohann; Lisa Kleinjohann; Marilyn Wolf
Название: Distributed Embedded Systems: Design, Middleware and Resources
ISBN: 0387096604 ISBN-13(EAN): 9780387096605
Издательство: Springer
Рейтинг:
Цена: 15094.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems, held at the 20th World Computer Congress in Milan, Italy from September 7 to 10, 2008.

Distributed and Parallel Systems

Автор: Peter Kacsuk; Thomas Fahringer; Zsolt Nemeth
Название: Distributed and Parallel Systems
ISBN: 144194348X ISBN-13(EAN): 9781441943484
Издательство: Springer
Рейтинг:
Цена: 24456.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Distributed and Parallel Systems: From Cluster to Grid Computing is an edited volume based on DAPSYS 2006, the 6th Austrian-Hungarian Workshop on Distributed and Parallel Systems, which is dedicated to all aspects of distributed and parallel computing. The workshop was held in conjunction with the 2nd Austrian Grid Symposium in Innsbruck, Austria in September 2006.

Distributed and Parallel Systems: From Cluster to Grid Computing is designed for a professional audience composed of practitioners and researchers in industry. This book is also suitable for advanced-level students in computer science.

Stabilization, Safety, and Security of Distributed Systems

Автор: Teruo Higashino; Yoshiaki Katayama; Toshimitsu Mas
Название: Stabilization, Safety, and Security of Distributed Systems
ISBN: 3319030884 ISBN-13(EAN): 9783319030883
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed proceedings of the 15 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in November 2013. ad-hoc, sensors, mobile agents and robot networks and P2P, social, self-organizing, autonomic and opportunistic networks.

Programming Distributed Computing Systems

Автор: Varela Carlos A
Название: Programming Distributed Computing Systems
ISBN: 0262018985 ISBN-13(EAN): 9780262018982
Издательство: MIT Press
Рейтинг:
Цена: 5775.00 р.
Наличие на складе: Нет в наличии.

Описание: An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems.

Distributed Systems: An Algorithmic Approach, Second Edition

Автор: Ghosh Sukumar
Название: Distributed Systems: An Algorithmic Approach, Second Edition
ISBN: 1466552972 ISBN-13(EAN): 9781466552975
Издательство: Taylor&Francis
Рейтинг:
Цена: 19140.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Distributed Systems: An Algorithmic Approach, Second Edition provides a balanced and straightforward treatment of the underlying theory and practical applications of distributed computing. As in the previous version, the language is kept as unobscured as possible--clarity is given priority over mathematical formalism. This easily digestible text:

  • Features significant updates that mirror the phenomenal growth of distributed systems
  • Explores new topics related to peer-to-peer and social networks
  • Includes fresh exercises, examples, and case studies

Supplying a solid understanding of the key principles of distributed computing and their relationship to real-world applications, Distributed Systems: An Algorithmic Approach, Second Edition makes both an ideal textbook and a handy professional reference.

Large-Scale Distributed Systems and Energy Efficiency: A Holistic View

Автор: Pierson Jean-Marc
Название: Large-Scale Distributed Systems and Energy Efficiency: A Holistic View
ISBN: 1118864638 ISBN-13(EAN): 9781118864630
Издательство: Wiley
Рейтинг:
Цена: 15198.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Addresses innovations in technology relating to the energy efficiency of a wide variety of contemporary computer systems and networks With concerns about global energy consumption at an all-time high, improving computer networks energy efficiency is becoming an increasingly important topic.

Designing Distributed Control Systems

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


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