Correct System Design, Roland Meyer; Andr? Platzer; Heike Wehrheim

Автор: Bernhard Thalheim; Klaus-Dieter Schewe; Andreas Pr
Название: Correct Software in Web Applications and Web Services
ISBN: 3319171119 ISBN-13(EAN): 9783319171111
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability;

Автор: Tiziana Margaria; Tom Melham
Название: Correct Hardware Design and Verification Methods
ISBN: 3540425411 ISBN-13(EAN): 9783540425410
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A collection of papers that offer topical sections on model checking, clocking issues, theorem proving with higher order logics, hardware compilation, tools, component verification, case studies, algorithm verification, and duration calculus.

Автор: Geraint Jones; Mary Sheeran
Название: Designing Correct Circuits
ISBN: 3540196595 ISBN-13(EAN): 9783540196594
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Examines the application of mathematics to hardware design at different levels of abstraction, and presents a cross section of current work on developing and applying formal methods in circuit design.

Автор: Manfred Broy; Stefan J?hnichen
Название: KORSO: Methods, Languages, and Tools for the Construction of Correct Software
ISBN: 3540605894 ISBN-13(EAN): 9783540605898
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Containing the final report of the work carried out in the project KORSO ("Korrekte Software"), the papers in this volume are organized into five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies.

Автор: Shin Nakajima; Jean-Pierre Talpin; Masumi Toyoshim
Название: Cyber-Physical System Design from an Architecture Analysis Viewpoint
ISBN: 981104435X ISBN-13(EAN): 9789811044359
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS.

Автор: Reiner Onken; Axel Schulte
Название: System-Ergonomic Design of Cognitive Automation
ISBN: 364203134X ISBN-13(EAN): 9783642031342
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This timely book comes amid rapid advances in the field. It gives system designers more guidelines about designing work systems and associated machines effectively, and in particular those related to guidance and control of manned and unmanned vehicles.

Автор: Onken Reiner
Название: System-Ergonomic Design of Cognitive Automation
ISBN: 3642262546 ISBN-13(EAN): 9783642262548
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This timely book comes amid rapid advances in the field. It gives system designers more guidelines about designing work systems and associated machines effectively, and in particular those related to guidance and control of manned and unmanned vehicles.

Автор: Bernhard Thalheim; Klaus-Dieter Schewe; Andreas Pr
Название: Correct Software in Web Applications and Web Services
ISBN: 3319347276 ISBN-13(EAN): 9783319347271
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability;

Автор: Maria Bras-Amor?s; Tom H?holdt
Название: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
ISBN: 3642021808 ISBN-13(EAN): 9783642021800
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 18th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-18, held in Tarragona, Spain, in June 2009. Among the subjects addressed are block codes, including list-decoding algorithms; algebra and codes: rings, fields, algebraic geometry codes;

Автор: Wang, K. C.
Название: Design and implementation of the mtx operating system
ISBN: 3319175742 ISBN-13(EAN): 9783319175744
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This course-tested textbook describes the design and implementation of operating systems, and applies it to the MTX operating system, a Unix-like system designed for Intel x86 based PCs.

Автор: Maiga Chang; Rita Kuo; Kinshuk; Gwo-Dong Chen; M
Название: Learning by Playing. Game-based Education System Design and Development
ISBN: 3642033636 ISBN-13(EAN): 9783642033636
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Following the success of the first (Edutainment 2006 in Hangzhou, China), the second (Edutainment 2007 in Hong Kong, China), and the third events (Edutainment 2008 in Nanjing, China), Edutainment 2009 was held August 9-11, 2009 in Banff, Canada.