29 treff

computer systems reliability
Reliability of Computer Systems and Networks : Fault Tolerance, Analysis, and Design
Shooman, Martin L.
Bok Engelsk 2003 · Vis mer
Fault-tolerant systems
Israel Koren, C. Mani Krishna
Bok Engelsk 2007 · Vis mer
The Reliability of expert systems
editor, Erik Hollnagel
Bok Engelsk 1989 · Vis mer
Proceedings of the Conference on Computer Systems and Technology : Tuesday 29th to Thursday 31st March 1977, University of Sussex
Conference on Computer Systems and Technology
Bok Engelsk 1977 · Vis mer
Trustworthy Computing : Analytical and Quantitative Engineering Evaluation
Sahinoglu, M.
Bok Engelsk 2007 · Vis mer
Proof and system-reliability
NATO Advanced Study Institute on Proof and System-Reliability
Bok Engelsk 2002 · Vis mer
Architecting dependable systems
Rogério de Lemos, Cristina Gacek, Alexand...
Bok Engelsk 2003 · Vis mer
Computer systems performance evaluation and prediction
Paul J. Fortier, Howard E. Michel
Bok Engelsk 2003 · Vis mer
Computer safety, reliability and security : 17th international conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998 : proceedings
SAFECOMP '98
Bok Engelsk 1998 · Vis mer
Computer safety, reliability and security : 18th international conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999 : proceedings
SAFECOMP '99
Bok Engelsk 1999 · Vis mer
Computer performance evaluation : modelling techniques and tools : 13th international conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003 : proceedings
International Conference on Modelling Techniques and Toolsfor Computer Performance Evaluation
Bok Engelsk 2003 · Vis mer
Computer performance evaluation : modelling techniques and tools : 12th international conference, TOOLS 2002, London, UK, April 14-17, 2002 : proceedings
International Conference on Modelling Techniques and Toolsfor Computer Performance Evaluation
Bok Engelsk 2002 · Vis mer
Dependable systems : software, computing, networks : research results of the DICS program
Jürg Kohlas, Bertrand Meyer, André Schipe...
Bok Engelsk 2006 · Vis mer
Performance evaluation of complex systems : techniques and tools : Performance 2002 tutorial lectures
IFIP WG 7.3 International Symposium on Computer Performance Modeling, Measurement, and Evaluation
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Trust management : second international conference, iTrust 2004, Oxford, UK, March 29-April 1, 2004 : proceedings
iTrust 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Trust management : first international conference, iTrust 2003, Heraklion, Crete, Greece, May 28-30, 2003 : proceedings
iTrust 2003
Bok Engelsk 2003 · Vis mer
Correct system design : recent insights and advances
Ernst-Rüdiger Olderog, Bernhard Steffen (...
Bok Engelsk 1999 · Vis mer
Hearings on the Juvenile Justice and Delinquency Prevention Act : hearings before the Subcommittee on Early Childhood, Youth, and Families of the Committee on Economic and Educational Opportunities, House of Representatives, One Hundred Fourth Congress, second session, hearings held in Washington, DC, March 28, April 30, May 8, and San Marcos, California, May 13, 1996.
United States.
Bok Engelsk · Vis mer
2001 IEEE International Symposium on Performance Analysis of Systems and Software : ISPASS, November 4-6, 2001, Tucson, Arizona.
International Symposium on Performance Analysis of Systems and Software
Bok Engelsk · Vis mer
IEEE transactions on dependable and secure computing.
IEEE transactions on dependable and secure computing (Online)
Bok Engelsk 2004 · Vis mer
Proceedings
Second European Woodcock and Snipe Worksh...
Bok Engelsk 1983 · Vis mer
Journals of the Century

Bok Engelsk · Vis mer
Mechanizing proof : computing, risk, and trust
Donald MacKenzie
Bok Engelsk 2001 · Vis mer
Vis flere utgaver
Vis flere utgaver
First International Conference on the Quantitative Evaluation of Systems : QEST 2004, 27-30 September 2004, Enschede, The Netherlands : proceedings.
International Conference on the Quantitative Evaluation of Systems
Bok Engelsk · Vis mer
Digital signal integrity : modeling and simulation with interconnects and packages
Brian Young
Bok Engelsk 2001 · Vis mer
ISPASS 2007 : IEEE International Symposium on Performance Analysis of Systems and Software : April 25-27, 2007, San Jose, CA /
International Symposium on Performance Analysis of Systems and Software
Bok Engelsk · Vis mer
Concurrency in dependable computing
edited by Paul Ezhilchelvan and Alexander...
Bok Engelsk 2002 · Vis mer
Hearings on the reauthorization of the Higher Education Act of 1965 : Title IX, trio and state student incentive grants, and campus-based programs : hearings before the Subcommittee on Postsecondary Education of the Committee on Education and Labor, House of Representatives, One Hundred Second Congress, first session, hearings held in Washington, DC, June 13, 18, and 26, 1991.
United States.
Bok Engelsk · Vis mer
Ensuring the safety of our federal workforce : GSA's use of technology to secure federal buildings : hearing before the Subcommittee on Technology and Procurement Policy of the Committee on Government Reform, House of Representatives, One Hundred Seventh Congress, second session, April 25, 2002.
United States.
Bok Engelsk · Vis mer