Testing of Communicating Systems, Bernd Baumgarten; Heinz-J?rgen Burkhardt; Alfred G

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

Автор: Myungchul Kim; Sungwon Kang; Keesoo Hong
Название: Testing of Communicating Systems
ISBN: 1475767013 ISBN-13(EAN): 9781475767018
Издательство: Springer
Рейтинг:
Цена: 27950.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: phases of testing including test case generation, means of testing, test execution and test results analysis; classes of systems tested and the theory and practice of testing including test-related algorithms, practical testing methodology and practical testing experience.

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

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

Автор: Mercedes G. Merayo; Edgardo Montes de Oca
Название: Testing Software and Systems
ISBN: 3662448564 ISBN-13(EAN): 9783662448564
Издательство: Springer
Рейтинг:
Цена: 7267.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2014, held in Istanbul, Turkey, in September 2014. The 11 revised full papers presented together with 6 short papers were carefully selected from 36 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.

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

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

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

Автор: Atul Prakash
Название: Information Systems Security
ISBN: 3642107710 ISBN-13(EAN): 9783642107719
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 5th International Conference ICISS 2009 Kolkata India December 1418 2009 Proceedings. .

Автор: Amir Hussain; Igor Aleksander; Leslie S. Smith; Al
Название: Brain Inspired Cognitive Systems 2008
ISBN: 1461425409 ISBN-13(EAN): 9781461425403
Издательство: Springer
Рейтинг:
Цена: 38992.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Brain Inspired Cognitive Systems 2008 (June 24-27, 2008; S o Lu s, Brazil) brought together leading scientists and engineers who use analytic, syntactic and computational methods both to understand the prodigious processing properties of biological systems and, specifically, of the brain, and to exploit such knowledge to advance computational methods towards ever higher levels of cognitive competence.