Dependable Computing for Critical Applications, Algirdas Avizienis; Jean-Claude Laprie
Автор: John F. Meyer; Richard D. Schlichting Название: Dependable Computing for Critical Applications 2 ISBN: 3709192005 ISBN-13(EAN): 9783709192009 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the papers presented at the Second International Work- ing Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group lOA and held in Tucson, Arizona on February 18-20, 1991.
Описание: This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.
Автор: Jan Hlavicka; Erik Maehle; Andras Pataricza Название: Dependable Computing - EDDC-3 ISBN: 3540664831 ISBN-13(EAN): 9783540664833 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These papers from the Third European Dependable Computing Conference, EDCC-3,are organized in topical sections on dependability modelling, protocols, fault injection, safety, hardware testing, built-in self-tests, networks and distributed systems, and software testing and self-checking.
Автор: Gary M. Koob; Clifford G. Lau Название: Foundations of Dependable Computing ISBN: 1475783116 ISBN-13(EAN): 9781475783117 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Flaviu Cristian; Gerard LeLann; Teresa Lunt Название: Dependable Computing for Critical Applications 4 ISBN: 3709193982 ISBN-13(EAN): 9783709193983 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the articles presented at the Fourth InternationallFIP Working Conference on Dependable Computing for Critical Applications held in San Diego, California, on January 4-6, 1994.
Автор: Carl E. Landwehr; Brian Randell; Luca Simoncini Название: Dependable Computing for Critical Applications 3 ISBN: 3709140110 ISBN-13(EAN): 9783709140116 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Third IFIP International Working Conference on Dependable Computing for Critical Applications, like its predecessors, addressed various aspects of computer system dependability, a broad term defined as the degree of trust that may justifiably be placed in a system`s reliability, availability, safety, security, and performance.
Автор: Kim Guldstrand Larsen; Oleg Sokolsky; Ji Wang Название: Dependable Software Engineering. Theories, Tools, and Applications ISBN: 3319694820 ISBN-13(EAN): 9783319694825 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October2017.The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions.
Автор: Klaus Echtle; Dieter Hammer; David Powell Название: Dependable Computing - EDCC-1 ISBN: 3540584269 ISBN-13(EAN): 9783540584261 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Reflecting the state-of-the-art in dependable systems research and advanced applications, this volume of conference proceedings covers such topics as reliability, safety-critical systems, fault detection, hardware and software testing, formal methods, verification and validation.
Автор: Gary M. Koob; Clifford G. Lau Название: Foundations of Dependable Computing ISBN: 1475783159 ISBN-13(EAN): 9781475783155 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Xuandong Li; Zhiming Liu; Wang Yi Название: Dependable Software Engineering: Theories, Tools, and Applications ISBN: 3319259415 ISBN-13(EAN): 9783319259413 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The title, Violent Grace, suggests a paradox. This pairing has become an unexpected gateway into the varied and prolific artistic career of Edward Knippers. Violence conjures images of aggression while grace has long been associated with beauty, poise, or an unmerited gift. Within the ambiguity of this fertile paradox, the art of Edward Knippers opens up into something rich and rewarding.
Описание: Written from an engineering standpoint with a focus on practical codes based on their performance and hardware complexit, Matrix Code Design for Dependable Systems emphasizes matrix codes and how they are manipulated. Unlike existing coding theory books, this book does not burden the reader with unnecessary mathematics for polynomial codes.
Автор: Brian Randell; Jean-Claude Laprie; Hermann Kopetz; Название: Predictably Dependable Computing Systems ISBN: 3642797911 ISBN-13(EAN): 9783642797910 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The first ESPRIT Basic Research Project on Predictably Dependable Computing Systems (No. 3092, PDCS) commenced in May 1989, and ran until March 1992. The institutions and principal investigators that were involved in PDCS were: City University, London, UK (Bev Littlewood), lEI del CNR, Pisa, Italy (Lorenzo Strigini), Universitiit Karlsruhe, Germany (Tom Beth), LAAS-CNRS, Toulouse, France (Jean-Claude Laprie), University of Newcastle upon Tyne, UK (Brian Randell), LRI-CNRS/Universite Paris-Sud, France (Marie-Claude Gaudel), Technische Universitiit Wien, Austria (Hermann Kopetz), and University of York, UK (John McDermid). The work continued after March 1992, and a three-year successor project (No. 6362, PDCS2) officially started in August 1992, with a slightly changed membership: Chalmers University of Technology, Goteborg, Sweden (Erland Jonsson), City University, London, UK (Bev Littlewood), CNR, Pisa, Italy (Lorenzo Strigini), LAAS-CNRS, Toulouse, France (Jean-Claude Laprie), Universite Catholique de Louvain, Belgium (Pierre-Jacques Courtois), University of Newcastle upon Tyne, UK (Brian Randell), LRI-CNRS/Universite Paris-Sud, France (Marie-Claude Gaudel), Technische Universitiit Wien, Austria (Hermann Kopetz), and University of York, UK (John McDermid). The summary objective of both projects has been "to contribute to making the process of designing and constructing dependable computing systems much more predictable and cost-effective". In the case of PDCS2, the concentration has been on the problems of producing dependable distributed real-time systems and especially those where the dependability requirements centre on issues of safety and/or security.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru