QA76.9.F34 : Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing [electronic resource] : 2013, Braga, Portugal : DISCCO 2013 / editors Miguel Correia and Neeraj Mittal.; Online materials
Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing [electronic
Online materials
EBOOKS
2013
QA76.9.F34 P37 2011 : The seductive computer [electronic resource] : why IT systems always fail / Derek Partridge.; Online materials
The seductive computer [electronic resource] : why IT systems always fail / Derek Partridge.
Online materials
QA76.9.F38 E95 2008 : Seventh European Dependable Computing Conference : EDCC-7 : 7-9 May, 2008, Kaunas, Lithuania.; Online materials
Seventh European Dependable Computing Conference : EDCC-7 : 7-9 May, 2008, Kaunas, Lithuania.
Online materials
EBOOKS
c2008
QA76.9.F38 E95 2010 : Proceedings : 2010 Eighth European Dependable Computing Conference : EDCC 10 : 28-30 April 2010 Valencia, Spain / sponsored by Universidad Politécnica de Valencia, Spain ..... [et al.].; Online materials
Proceedings : 2010 Eighth European Dependable Computing Conference : EDCC 10 : 28-30 April 2010 Valen
Online materials
EBOOKS
c2010
QA76.9.F38 E95 2010b : Supplemental volume of the Eighth European Dependable Computing Conference, 27-20 April 2010--Valencia, Spain : proceedings / organised by GSTF ; sponsored by Gobierno de España, Ministerio de Ciencia e Innovación, Generalitat Valenciana, Universidad Politécnica de Valencia ; in partnership with ITACA.; Online materials
Supplemental volume of the Eighth European Dependable Computing Conference, 27-20 April 2010--Valenci
Online materials
EBOOKS
2010
QA76.9.F38 F393 1995 : Fault-tolerant parallel and distributed systems / edited by Dhiraj Pradhan and Dimiter Avresky.; Online materials
Fault-tolerant parallel and distributed systems / edited by Dhiraj Pradhan and Dimiter Avresky.
Online materials
EBOOKS
c1995
QA 76.9 F38 H2 : Hardware and software architectures for fault tolerance : experiences and perspectives / Michel Banatre, Peter A. Lee, eds.; BJL
Hardware and software architectures for fault tolerance : experiences and perspectives / Michel Banat
BJL
BOOK
1994
QA76.9.F38 I324 2007 : Proceedings : 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 25-28 June 2007, Edinburgh, UK / sponsored by IEEE Computer Society Technical Committee on Dependable Computing and Fault Tolerance, IFIP WG 10.4 on Dependable Computing and Fault Tolerance.; Online materials
Proceedings : 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 25-2
Online materials
EBOOKS
c2007
QA76.9.F38 I327 2007 : DASC 2007 : third IEEE International Symposium on Dependable, Autonomic and Secure Computing : proceedings : 25-26 September, 2007, Columbia, Maryland / edited by Roy Sterritt ... [et al.] ; sponsored by IEEE Comutuer Society, Technical Committee on Autonomous and Automatic Systems, Indiana University, Purdue University, Indianapolis.; Online materials
DASC 2007 : third IEEE International Symposium on Dependable, Autonomic and Secure Computing : procee
Online materials
EBOOKS
c2007
QA 76.9 F38 I5 / q : Twenty-eighth Annual International Symposium on fault-tolerant computing : June 23-25, 1998, Munich, Germany.; BJL
Twenty-eighth Annual International Symposium on fault-tolerant computing : June 23-25, 1998, Munich,
BJL
BOOK
1998
QA76.9.F38 I56 2003 : 2003 International Conference on Dependable Systems and Networks : proceedings : 22-25 June, 2003, San Francisco, California / sponsored by IEEE Computer Society Technical Committee on Fault-Tolerant Computing (TCFTC), IFIP Working Group 10.4 ; in cooperation with Software Engineering Institute ... [et al.].; Online materials
2003 International Conference on Dependable Systems and Networks : proceedings : 22-25 June, 2003, Sa
Online materials
EBOOKS
c2003
QA76.9.F38 I56 2005 : 2005 International Conference on Dependable Systems and Networks, 28 June-1 July 2005, Yokohama, Japan : proceedings / sponsored by IEEE Computer Society Technical Committee on Fault-Tolerant Computing, IFIP WG 10.4 on Dependable Computing and Fault Tolerance, IEICE Technical Group on Dependable Computing ; in cooperation with University of Tokyo, Japan ... [et al.].; Online materials
2005 International Conference on Dependable Systems and Networks, 28 June-1 July 2005, Yokohama, Japa
Online materials
EBOOKS
c2005
QA76.9.F38 I56 2006 : 2006 International Conference on Dependable Systems and Networks, 25-28 June 2006, Philadelphia, Pennsylvania : proceedings : DSN 2006 / sponsored by hp [i.e. Hewlett-Packard Company ... et al.].; Online materials
2006 International Conference on Dependable Systems and Networks, 25-28 June 2006, Philadelphia, Penn
Online materials
EBOOKS
c2006
QA 76.9 F38 I59 : IEEE international symposium of fault-tolerant computing : digest of papers.; BJL
IEEE international symposium of fault-tolerant computing : digest of papers.
BJL
PERIODICAL
QA76.9.F38 I6 1995 : The Twenty-fifth International Symposium on Fault-Tolerant Computing : highlights from twenty-five years : June 27-30, 1995, Pasadena, California / sponsored by the IEEE Computer Society Technical Committee on Fault-Tolerant Computing ; in cooperation with LAAS-CNRS, France ... [et al.].; Online materials
The Twenty-fifth International Symposium on Fault-Tolerant Computing : highlights from twenty-five ye
Online materials
QA76.9.F38 P328 2005 : 11th Pacific Rim International Symposium on Dependable Computing : proceedings : 12-14 December 2005, Changsha, Hunan, China / sponsored by IEEE Test Technology Technical Council (TTTC) ... [et al.] ; in co-operation with IFIP WG10.4 on Dependable Computing and Fault Tolerance ... [et al.].; Online materials
11th Pacific Rim International Symposium on Dependable Computing : proceedings : 12-14 December 2005,
Online materials
EBOOKS
c2005
QA76.9.F38 P328 2009 : IEEE 15th Pacific Rim International Symposium on Dependable Computing : PRDC 2009 : proceedings : 16-18 November 2009, Shanghai, China / sponsored by IEEE Computer Society Fault Tolerant Council .....; Online materials
IEEE 15th Pacific Rim International Symposium on Dependable Computing : PRDC 2009 : proceedings : 16-
Online materials
EBOOKS
c2009
QA76.9.F38 P33 1991 : Pacific Rim International Symposium on Fault Tolerant Systems [electronic resource] : September 26-27, 1991, Kawasaki, Japan : proceedings / sponsored by the Technical Group on Fault Tolerant Systems, the Institute of Electronics, Information and Communication Engineers, Japan.; Online materials
Pacific Rim International Symposium on Fault Tolerant Systems [electronic resource] : September 26-27
Online materials
EBOOKS
c1991
QA76.9.F38 P33 1997 : Pacific Rim International Symposium on Fault-Tolerant Systems : proceedings : December 15-16, 1997, National Taiwan University, Taipei, Taiwan / sponsored by IEEE Computer Society Technical Committee on Fault-Tolerant Computing, National Taiwan University ... [et al.].; Online materials
Pacific Rim International Symposium on Fault-Tolerant Systems : proceedings : December 15-16, 1997, N
Online materials
EBOOKS
c1997
QA 76.9 F38 P8 : Fault-tolerant computer system design.; BJL
Software fault tolerance techniques and implementation.
BJL
BOOK
2001
QA76.9.F38 S46 2011 : Software engineering for resilient systems : third international workshop, SERENE 2011, Geneva, Switzerland, September 29-20, 2011, proceedings / Elena A. Troubitsyna (ed.).; Online materials
Software engineering for resilient systems : third international workshop, SERENE 2011, Geneva, Switz
Online materials
EBOOKS
2011
QA 76.9 F38 S5 : Reliability of computer systems and networks : fault tolerance, analysis and design.; BJL
Reliability of computer systems and networks : fault tolerance, analysis and design.
BJL
BOOK
c2002
QA76.9.F38 W64 2007 : Workshop on Fault Diagnosis and Tolerance in Cryptography [electronic resource] : FDTC 2007 : proceedings : 10 September, 2007, Vienna, Austria / edited by Luca Breveglieri ... [et al.].; Online materials
Workshop on Fault Diagnosis and Tolerance in Cryptography [electronic resource] : FDTC 2007 : proceed
Online materials
EBOOKS
c2007
QA76.9.F38 W64 2008 : FDTC 2008 : fault diagnosis and tolerance in cryptography : 10 August 2008, Washington, DC, USA / edited by Luca Breveglieri ... [et al.].; Online materials
FDTC 2008 : fault diagnosis and tolerance in cryptography : 10 August 2008, Washington, DC, USA / edi
Online materials
EBOOKS
c2008
QA76.9.F38 W64 2009 : FDTC 2009 : 2009 Workshop on Fault Diagnosis and Tolerance in Cryptography : proceedings, 6 September 2009, Lausanne, Switzerland / editors, Luca Breveglieri ... [et al.].; Online materials
FDTC 2009 : 2009 Workshop on Fault Diagnosis and Tolerance in Cryptography : proceedings, 6 September
Online materials
QA76.9.F67 B73 2011 : Formal methods, foundations and applications : 14th Brazilian Symposium, SBMF 2011, Sâo Paulo, Brazil, September 26-30, 2011, revised selected papers / Adenilso Simao, Carroll Morgan (eds.).; Online materials
Formal methods, foundations and applications : 14th Brazilian Symposium, SBMF 2011, Sâo Paulo, Brazil
Online materials
EBOOKS
2011
QA76.9.F67 F668 2011 : Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday / Gul Agha, Olivier Danvy, José Meseguer. (eds.).; Online materials
Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on t
Online materials
EBOOKS
c2011
QA76.9.F67 I5788 2011 : Formal methods and software engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings / Shengchao Qin, Zongyan Qiu, eds.; Online materials
Formal methods and software engineering : 13th International Conference on Formal Engineering Methods
Online materials
EBOOKS
2011
QA76.9.F67 I594 2005 : FMICS '05 [electronic resource] : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05 / editors, Tiziana Margaria & Mieke Massink ; sponsored by ACM SIGSOFT.; Online materials
FMICS '05 [electronic resource] : proceedings of the Tenth International Workshop on Formal Methods f
Online materials
EBOOKS
c2005
QA76.9.F67 I594 2011 : Formal methods for industrial critical systems : 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings / Gwen Salaün, Bernhard Schätz (eds.).; Online materials
Formal methods for industrial critical systems : 16th international workshop, FMICS 2011, Trento, Ita
Online materials
EBOOKS
c2011
QA76.9.F67 N46 2011 : NASA formal methods : third International Symposium, NFM 2011; Pasadena, CA, USA, April 18-20, 2011; proceedings / Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.).; Online materials
NASA formal methods : third International Symposium, NFM 2011; Pasadena, CA, USA, April 18-20, 2011;
Online materials
EBOOKS
2011
QA76.9.F67 S68 2009 : Proceedings : 2009 Fourth South-East European Workshop on Formal Methods : Formal Methods for Web Services, Formal Methods for Agent-Based Systems, 4-5 December 2009, Thessaloniki, Greece / edited by Dimitris Dranidis, Ioanna Stamatopoulou.; Online materials
Proceedings : 2009 Fourth South-East European Workshop on Formal Methods : Formal Methods for Web Ser
Online materials
