search for books and compare prices
fault tolerant computing congresses matches 30 work(s)
at beginning |
displaying 1 to 25 |
next 5 >
show results in order: alphabetically | oldest to newest | newest to oldest
Hardcover:
9780306432248 | Plenum Pub Corp, September 1, 1989, cover price $99.00
Paperback:
9781461568018 | Reprint edition (Springer-Verlag New York Inc, June 12, 2012), cover price $119.00
Paperback:
9783642241239 | Springer-Verlag New York Inc, September 26, 2011, cover price $69.99
Product Description: This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions...read more
Paperback:
9783642203978 | 1 edition (Springer-Verlag New York Inc, May 27, 2011), cover price $129.00 | About this edition: This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011.
Paperback:
9780769531380 | IEEE, November 8, 2008, cover price $177.00
Product Description: This book constitutes the refereed proceedings of the Third Latin-American Symposium on Dependable Computing, LADC 2007, held in Morelia, Mexico, in September 2007. The papers are organized in topical sections on fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, experimental dependability evaluation, as well as intrusion tolerance and security...read more
Paperback:
9783540752936 | Springer-Verlag New York Inc, October 23, 2007, cover price $99.00 | About this edition: This book constitutes the refereed proceedings of the Third Latin-American Symposium on Dependable Computing, LADC 2007, held in Morelia, Mexico, in September 2007.
Product Description: As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level...read more
Paperback:
9783540289685 | Springer-Verlag New York Inc, November 15, 2005, cover price $99.00 | About this edition: As software systems become ubiquitous, the issues of dependability become more and more crucial.
Paperback:
9783540202240 | Springer-Verlag New York Inc, November 1, 2003, cover price $109.00
Product Description: It was with great pleasure that, on behalf of the entire organizing committee, I welcomed participants to EDCC-4, the Fourth European Dependable Computing Conference, held for the ?rst time in France. The fourth issue of EDCC carried on the traditions established bythe previous conferences in this series: EDCC-1 was held in Berlin (Germany) in October 1994, EDCC-2 in Taormina (Italy) in October 1996, and EDCC-3 in Prague (Czech Republic) in September 1999...read more
Paperback:
9783540000129 | Springer-Verlag New York Inc, December 1, 2002, cover price $99.00 | About this edition: It was with great pleasure that, on behalf of the entire organizing committee, I welcomed participants to EDCC-4, the Fourth European Dependable Computing Conference, held for the ?
Product Description: This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9â12 September 2002. This sym- sium was the seventh in a series of FTRTFT symposia devoted to problems and solutions in safe system design...read more
Paperback:
9783540441656 | Springer Verlag, September 1, 2002, cover price $129.00 | About this edition: This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9â12 September 2002.
Product Description: This text contains information on computer engineering as presented at the 2002 International Conference on Dependable Systems and Networks (DSN 2002). (view table of contents, read Amazon.com's description)
Paperback:
9780769515977 | Pap/cdr edition (IEEE, September 1, 2002), cover price $233.00 | About this edition: This text contains information on computer engineering as presented at the 2002 International Conference on Dependable Systems and Networks (DSN 2002).
Product Description: This text presents information on architecture and parallel and high-performance computing and covers topics including: architectures for dependable computer systems; fault tolerance in transaction processing; safety-critical systems; and dependability modelling and prediction.
Paperback:
9780769511016 | IEEE, August 1, 2001, cover price $175.00 | About this edition: This text presents information on architecture and parallel and high-performance computing and covers topics including: architectures for dependable computer systems; fault tolerance in transaction processing; safety-critical systems; and dependability modelling and prediction.
(view table of contents)
Paperback:
9783540410553 | Springer Verlag, October 1, 2000, cover price $99.00
Product Description: The idea of creating the European Dependable Computing Conference (EDCC) was born at the moment when the Iron Curtain fell. A group of enthusiasts, who were pre viously involved in research and teaching in the ?eld of fault tolerant computing in different European countries, agreed that there is no longer any point in keeping pre viously independent activities apart and created a steering committee which took the responsibility for preparing the EDCC calendar and appointing the chairs for the in dividual conferences...read more
Paperback:
9783540664833 | Springer Verlag, October 1, 1999, cover price $129.00 | About this edition: The idea of creating the European Dependable Computing Conference (EDCC) was born at the moment when the Iron Curtain fell.
Paperback:
9783540650034 | Springer Verlag, September 1, 1998, cover price $99.00
Product Description: Can we rely on computers? The individual aspects of system dependability, reliability, availability, safety, and security are the factors that determine application success. To answer this question, the text explores the integration of these dependability attributes within practical, working systems...read more (view table of contents, read Amazon.com's description)
Hardcover:
9780818678035 | IEEE Computer Society, January 1, 1998, cover price $55.00 | About this edition: Can we rely on computers?
Product Description: This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996.The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations...read more
Paperback:
9783540616481 | Springer Verlag, September 1, 1996, cover price $129.00 | About this edition: This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996.
Product Description: This book constitutes the refereed proceedings of the Second European Dependable Computing Conference, EDCC-2, held in Taormina, Italy, in October 1996.The book presents 26 revised full papers selected from a total of 66 submissions based on the reviews of 146 referees...read more
Paperback:
9783540617723 | Springer Verlag, June 1, 1996, cover price $129.00 | About this edition: This book constitutes the refereed proceedings of the Second European Dependable Computing Conference, EDCC-2, held in Taormina, Italy, in October 1996.
Paperback:
9780818671500 | IEEE Computer Society, November 1, 1995, cover price $60.00
Paperback:
9780387584683 | Springer Verlag, September 1, 1994, cover price $120.00
Paperback:
9780387584263 | Springer Verlag, September 1, 1994, cover price $98.00
Product Description: Fault tolerance has been an active research area for many years. This volume presents papers from a workshop held in 1993 where a small number of key researchers and practitioners in the area met to discuss the experiences of industrial practitioners, to provide a perspective on the state of the art of fault tolerance research, to determine whether the subject is becoming mature, and to learn from the experiences so far in order to identify what might be important research topics for the coming years...read more
Paperback:
9780387577678 | Springer Verlag, February 1, 1994, cover price $69.95 | About this edition: Fault tolerance has been an active research area for many years.
Paperback:
9780818639302 | IEEE Computer Society, November 1, 1993, cover price $70.00
This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications.
Paperback:
9783540503026, titled "Formal Techniques in Real-time and Fault-tolerant Systems: Proceedings of a Symposium, Warwick, Uk, September 22-23, 1988" | Springer Verlag, April 1, 1993, cover price $99.00
9780387503028 | Springer Verlag, September 1, 1988, cover price $52.95 | About this edition: This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988.
Product Description: This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities...read more
Paperback:
9783540550921, titled "Formal Techniques in Real-time and Fault-tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings" | Springer Verlag, April 1, 1993, cover price $159.00 | About this edition: This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems.
9780387550923 | Springer Verlag, January 1, 1992, cover price $102.00 | About this edition: This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems.
Product Description: Seventy-three contributors from 12 countries in Asia, Europe, and North America demonstrate a strong interest in the field of test and design technologies. Discussions include fault simulation, one-line testing, diagnostics, and testability techniques...read more
Paperback:
9780818629853 | IEEE Computer Society, November 1, 1992, cover price $66.00 | About this edition: Seventy-three contributors from 12 countries in Asia, Europe, and North America demonstrate a strong interest in the field of test and design technologies.
at beginning |
displaying 1 to 25 |
next 5 >