Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Dependable Computing for Critical Applications, Algirdas Avizienis; Jean-Claude Laprie


Варианты приобретения
Цена: 11173.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Algirdas Avizienis; Jean-Claude Laprie
Название:  Dependable Computing for Critical Applications
ISBN: 9783709191255
Издательство: Springer
Классификация: ISBN-10: 3709191254
Обложка/Формат: Paperback
Страницы: 431
Вес: 0.71 кг.
Дата издания: 12.02.2012
Серия: Dependable Computing and Fault-Tolerant Systems
Язык: English
Размер: 244 x 170 x 23
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: The International Working Conference on Dependable Computing for Critical Applications was the first conference organized by IFIP Working Group 10. 4 Dependable Computing and Fault Tolerance, in cooperation with the Technical Committee on Fault-Tolerant Computing of the IEEE Computer Society, and the Technical Committee 7 on Systems Reliability, Safety and Security of EWlCS. The rationale for the Working Conference is best expressed by the aims of WG 10. 4: Increasingly, individuals and organizations are developing or procuring sophisticated computing systems on whose services they need to place great reliance. In differing circumstances, the focus will be on differing properties of such services - e. g. continuity, performance, real-time response, ability to avoid catastrophic failures, prevention of deliberate privacy intrusions. The notion of dependability, defined as that property of a computing system which allows reliance to be justifiably placed on the service it delivers, enables these various concerns to be subsumed within a single conceptual framework. Dependability thus includes as special cases such attributes as reliability, availability, safety, security. The Working Group is aimed at identifying and integrating approaches, methods and techniques for specifying, designing, building, assessing, validating, operating and maintaining computer systems which should exhibit some or all of these attributes. The concept of WG 10. 4 was formulated during the IFIP Working Conference on Reliable Computing and Fault Tolerance on September 27-29, 1979 in London, England, held in conjunction with the Europ-IFIP 79 Conference. Profs A. Avi ienis (UCLA, Los Angeles, USA) and A.


Dependable Computing for Critical Applications 2

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

Dependable Software Engineering: Theories, Tools, and Applications

Автор: Fr?nzle
Название: Dependable Software Engineering: Theories, Tools, and Applications
ISBN: 3319476769 ISBN-13(EAN): 9783319476766
Издательство: Springer
Рейтинг:
Цена: 8106.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Dependable Computing - EDDC-3

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

Foundations of Dependable Computing

Автор: Gary M. Koob; Clifford G. Lau
Название: Foundations of Dependable Computing
ISBN: 1475783116 ISBN-13(EAN): 9781475783117
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Dependable Computing for Critical Applications 4

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

Dependable Computing for Critical Applications 3

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

Dependable Software Engineering. Theories, Tools, and Applications

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

Dependable Computing - EDCC-1

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

Foundations of Dependable Computing

Автор: Gary M. Koob; Clifford G. Lau
Название: Foundations of Dependable Computing
ISBN: 1475783159 ISBN-13(EAN): 9781475783155
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Dependable Software Engineering: Theories, Tools, and Applications

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

Code Design for Dependable Systems - Theory and Practical Applications

Автор: Fujiwara
Название: Code Design for Dependable Systems - Theory and Practical Applications
ISBN: 0471756180 ISBN-13(EAN): 9780471756187
Издательство: Wiley
Рейтинг:
Цена: 31672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Predictably Dependable Computing Systems

Автор: 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
   В Контакте     В Контакте Мед  Мобильная версия