Reliable Software Technologies – Ada-Europe 2015, Juan Antonio de la Puente; Tullio Vardanega

Автор: Martin Kleppmann
Название: Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems
ISBN: 1449373321 ISBN-13(EAN): 9781449373320
Издательство: Wiley
Рейтинг:
Цена: 7602.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this practical and comprehensive guide, author Martin Kleppmann helps you navigate this diverse landscape by examining the pros and cons of various technologies for processing and storing data.

Автор: Keller Hubert B
Название: Reliable Software Technologies - ADA-Europe 2013
ISBN: 3642386008 ISBN-13(EAN): 9783642386008
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. They are organized in topical sections on multi-core and distributed systems;

Автор: Johann Blieberger; Markus Bader
Название: Reliable Software Technologies – Ada-Europe 2017
ISBN: 3319605879 ISBN-13(EAN): 9783319605876
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017. The revised 15 full papers presented were carefully reviewed and selected from 37 submissions.

Автор: Laurent George; Tullio Vardanega
Название: Reliable Software Technologies – Ada-Europe 2014
ISBN: 3319083104 ISBN-13(EAN): 9783319083100
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 68 submissions.

Автор: Marko Bertogna; Lu?s Miguel Pinho; Eduardo Qui?one
Название: Reliable Software Technologies – Ada-Europe 2016
ISBN: 3319390821 ISBN-13(EAN): 9783319390826
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016. The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from 28 submissions.

Автор: Alfred Strohmeier
Название: Reliable Software Technologies - Ada Europe 96
ISBN: 354061317X ISBN-13(EAN): 9783540613176
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work comprises the proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies. It covers aspects of the Ada 95 programming language and addresses current topics of reliable software in general. Topics covered include software development

Автор: Keith Hardy; Jim Briggs
Название: Reliable Software Technologies - Ada-Europe `97
ISBN: 3540631143 ISBN-13(EAN): 9783540631149
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the refereed proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies. In the text all current issues explored in the Ada community are addressed beyond the Ada language aspects.

Автор: Lars Asplund
Название: Reliable Software Technologies - Ada-Europe `98
ISBN: 3540645365 ISBN-13(EAN): 9783540645368
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text presents the refereed proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe `98, held in Uppsala, Sweden, in June 1998. The papers address the various aspects of the Ada programming language.

Автор: Michael Gonzalez Harbour; Juan A. de la Puente
Название: Reliable Software Technologies - Ada-Europe `99
ISBN: 3540660933 ISBN-13(EAN): 9783540660934
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These papers are organized in sections on Ravenscar profile and high-integrity systems, software architectures and design, testing, formal methods, education, distributed systems, real-time scheduling and kernels, tools, hardware/software codesign, fault-tolerance and case studies.

Автор: Hubertus B. Keller; Erhard Pl?dereder
Название: Reliable Software Technologies Ada-Europe 2000
ISBN: 3540676694 ISBN-13(EAN): 9783540676690
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These conference papers cover real-time and safety-critical systems, tools, APIs and components, ASIS, risk and reliability management, UML, formal analysis, methods, and software testing.

Автор: Fabrice Kordon; Yvon Kermarrec
Название: Reliable Software Technologies - Ada-Europe 2009
ISBN: 3642019234 ISBN-13(EAN): 9783642019234
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. This title presents 19 papers that were reviewed and selected from numerous submissions.