Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 65-23-70
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

Formal Techniques for Distributed Systems, John Hatcliff; Elena Zucca


Варианты приобретения
Цена: 65170.00T
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: 2 шт.  
При оформлении заказа до: 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.

Programming Distributed Computing Systems

Автор: Varela Carlos A
Название: Programming Distributed Computing Systems
ISBN: 0262018985 ISBN-13(EAN): 9780262018982
Издательство: MIT Press
Рейтинг:
Цена: 38500.00 T
Наличие на складе: Нет в наличии.
Описание: An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems.

Designing Distributed Control Systems

Автор: Eloranta Veli Pekka
Название: Designing Distributed Control Systems
ISBN: 1118694155 ISBN-13(EAN): 9781118694152
Издательство: Wiley
Рейтинг:
Цена: 44350.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Designing Distributed Control Systems presents 80 patterns for designing distributed machine control system software architecture (forestry machinery, mining drills, elevators, etc.).

Distributed Computing in Sensor Systems

Автор: Rajmohan Rajaraman; Thomas Moscibroda; Adam Dunkel
Название: Distributed Computing in Sensor Systems
ISBN: 3642136508 ISBN-13(EAN): 9783642136504
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 68950.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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: An Algorithmic Approach, Second Edition

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

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.


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
Рейтинг:
Цена: 55890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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
Рейтинг:
Цена: 101320.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Compressed Sensing for Distributed Systems

Автор: Giulio Coluccia; Chiara Ravazzi; Enrico Magli
Название: Compressed Sensing for Distributed Systems
ISBN: 9812873899 ISBN-13(EAN): 9789812873897
Издательство: Springer
Рейтинг:
Цена: 60940.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a survey of the state-of-the art in the exciting and timely topic of compressed sensing for distributed systems. To help the reader become familiar with the theory and algorithms presented, accompanying software is made available on the authors` web site, implementing several of the algorithms described in the book.

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
Рейтинг:
Цена: 104480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 100630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Do-All Computing in Distributed Systems

Автор: Chryssis Georgiou
Название: Do-All Computing in Distributed Systems
ISBN: 144194043X ISBN-13(EAN): 9781441940438
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Do-All Computing for Distributed Systems: Cooperation in the Presence of Adversity studies algorithmic issues associated with cooperative execution of multiple independent tasks by distributed computing agents including partitionable networks.

Recent results have shed light on the understanding of how adversity affects efficiency, by presenting failure-sensitive upper and lower bounds for Do-All in several models for computation. The ability to cooperatively perform a collection of tasks is key to solving a broad array of computation problems ranging from distributed search to distributed simulation and multi-agent collaboration which is introduced within this book.

Do-All Computing for Distributed Systems: Cooperation in the Presence of Adversity is structured to meet the needs of a professional audience composed of researchers and practitioners in industry. This volume is also suitable for graduate-level students in computer science.



Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2)
ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия