Verification of Communication Protocols in Web Services: Model-Checking Service Compositions » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Python на практике Python на практике Коммуникология: теория и практика массовой информации (2019) Коммуникология: теория и практика массовой информации (2019) Энциклопедия символов (1998) Энциклопедия символов (1998) Потери населения СССР в 1937–1945 гг.: масштабы и формы. Отечественная историография (2019) Потери населения СССР в 1937–1945 гг.: масштабы и формы. Отечественная историография (2019) Словарь образцового русского ударения Словарь образцового русского ударения Культ зверя и славянские оборотни. От лютичей и берендеев до волкодлаков и заклятых сорок Культ зверя и славянские оборотни. От лютичей и берендеев до волкодлаков и заклятых сорок The Ultimate Coding Manual 2024 The Ultimate Coding Manual 2024 Building Applications with Large Language Models: Techniques, Implementation, and Applications Building Applications with Large Language Models: Techniques, Implementation, and Applications Artificial Intelligence Using Federated Learning: Fundamentals, Challenges, and Applications Artificial Intelligence Using Federated Learning: Fundamentals, Challenges, and Applications Життя попереду - Ромен Ґарі Життя попереду - Ромен Ґарі Artificial Intelligence in Material Science: Advances Artificial Intelligence in Material Science: Advances Простое объектно-ориентированное проектирование: чистый и гибкий код Простое объектно-ориентированное проектирование: чистый и гибкий код Public Key Cryptosystems Public Key Cryptosystems 99 Bottles of OOP - 2nd Edition Version 2.2.1 Python Edition 99 Bottles of OOP - 2nd Edition Version 2.2.1 Python Edition ИИ без преград: оптимальные решения для доступа и оплаты сервисов ИИ без преград: оптимальные решения для доступа и оплаты сервисов Современный русский язык Современный русский язык
Python на практике Python на практике Коммуникология: теория и практика массовой информации (2019) Коммуникология: теория и практика массовой информации (2019) Энциклопедия символов (1998) Энциклопедия символов (1998) Потери населения СССР в 1937–1945 гг.: масштабы и формы. Отечественная историография (2019) Потери населения СССР в 1937–1945 гг.: масштабы и формы. Отечественная историография (2019) Словарь образцового русского ударения Словарь образцового русского ударения Культ зверя и славянские оборотни. От лютичей и берендеев до волкодлаков и заклятых сорок Культ зверя и славянские оборотни. От лютичей и берендеев до волкодлаков и заклятых сорок The Ultimate Coding Manual 2024 The Ultimate Coding Manual 2024 Building Applications with Large Language Models: Techniques, Implementation, and Applications Building Applications with Large Language Models: Techniques, Implementation, and Applications Artificial Intelligence Using Federated Learning: Fundamentals, Challenges, and Applications Artificial Intelligence Using Federated Learning: Fundamentals, Challenges, and Applications Життя попереду - Ромен Ґарі Життя попереду - Ромен Ґарі Artificial Intelligence in Material Science: Advances Artificial Intelligence in Material Science: Advances Простое объектно-ориентированное проектирование: чистый и гибкий код Простое объектно-ориентированное проектирование: чистый и гибкий код Public Key Cryptosystems Public Key Cryptosystems 99 Bottles of OOP - 2nd Edition Version 2.2.1 Python Edition 99 Bottles of OOP - 2nd Edition Version 2.2.1 Python Edition ИИ без преград: оптимальные решения для доступа и оплаты сервисов ИИ без преград: оптимальные решения для доступа и оплаты сервисов Современный русский язык Современный русский язык
Категория: КНИГИ » СЕТЕВЫЕ ТЕХНОЛОГИИ
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions
Добавил: alex66 / 26-03-2019, 20:28 /

Название: Verification of Communication Protocols in Web Services: Model-Checking Service Compositions
Автор: Zahir Tari, Peter Bertok, Anshuman Mukherjee
Издательство: John Wiley & Sons
Год: 2014
Формат: PDF
Для сайта: mirlib.ru
Страниц: 272
Размер: 12,84 МБ
Язык: English

In the near future, wireless sensor networks will become an integral part of our day-to-day life. To solve different sensor networking related issues, researchers have been putting various efforts and coming up with innovative ideas. Within the last few years, we have seen a steep growth of research works particularly on various sensor node organization issues. The objective of this book is to gather recent advancements in the fields of self-organizing wireless sensor networks as well as to provide the readers with the essential information about sensor networking.


ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!





[related-news]

Похожие публикации

    {related-news}
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!