Testing of Communicating Systems, Myungchul Kim; Sungwon Kang; Keesoo Hong

Автор: Kenji Suzuki; Teruo Higashino; Andreas Ulrich; Tor
Название: Testing of Software and Communicating Systems
ISBN: 3540685146 ISBN-13(EAN): 9783540685142
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008.

Автор: Bernd Baumgarten; Heinz-J?rgen Burkhardt; Alfred G
Название: Testing of Communicating Systems
ISBN: 1475766971 ISBN-13(EAN): 9781475766974
Издательство: Springer
Рейтинг:
Цена: 27950.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Wotawa
Название: Testing Software and Systems
ISBN: 3319474421 ISBN-13(EAN): 9783319474427
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016. The 12 revised full papers and 6 short papers presented were carefully reviewed and selected from 41 submissions.

Автор: Brian Nielsen; Carsten Weise
Название: Testing Software and Systems
ISBN: 3642346901 ISBN-13(EAN): 9783642346903
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods.

Автор: Q.H. Wu; Zhen Lu; Tianyao Ji
Название: Protective Relaying of Power Systems Using Mathematical Morphology
ISBN: 1849968462 ISBN-13(EAN): 9781849968461
Издательство: Springer
Рейтинг:
Цена: 19589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book discusses the development of novel protective relaying algorithms using Mathematical Morphology, a nonlinear signal processing technique derived from set theory and geometry.

Автор: Rupak Majumdar; Paulo Tabuada
Название: Hybrid Systems: Computation and Control
ISBN: 3642006019 ISBN-13(EAN): 9783642006012
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Focuses on research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors. This book features developments of applications and theoretical advancements in the analysis, design, control, optimization, and implementation of hybrid systems.

Автор: Aleksandar Tasic; Wouter A. Serdijn; Gianluca Sett
Название: Circuits and Systems for Future Generations of Wireless Communications
ISBN: 9048182220 ISBN-13(EAN): 9789048182220
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The world is poised for adoption of wireless technology at a mass market level. This book discusses communications circuit and system solutions for multiple communication standards and future generations of wireless communications.

Автор: Nina Yevtushenko; Ana Rosa Cavalli; H?sn? Yenig?n
Название: Testing Software and Systems
ISBN: 3319675486 ISBN-13(EAN): 9783319675480
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017. The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions.

Автор: Khaled El-Fakih; Gerassimos Barlas; Nina Yevtushen
Название: Testing Software and Systems
ISBN: 331925944X ISBN-13(EAN): 9783319259444
Издательство: Springer
Рейтинг:
Цена: 8665.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015.

Автор: H?sn? Yenig?n; Cemal Yilmaz; Andreas Ulrich
Название: Testing Software and Systems
ISBN: 364241706X ISBN-13(EAN): 9783642417061
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013.

Автор: Jomi Fred Hubner; Eric T Matson; Olivier Boissier;
Название: Coordination, Organizations, Institutions and Norms in Agent Systems IV
ISBN: 3642004423 ISBN-13(EAN): 9783642004421
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contains sections that range from coordination to organization, from organization to coordination, formalization of norms and institutions, design of norms and institutions, as well as applications.

Автор: Koen Bertels; Nikitas Dimopoulos; Cristina Silvano
Название: Embedded Computer Systems: Architectures, Modeling, and Simulation
ISBN: 3642031374 ISBN-13(EAN): 9783642031373
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 9th International Workshop SAMOS 2009 Samos Greece July 2023 2009 Proceedings. .