Limit search to available items
Nearby BJL CLASSMARKS are:
Result Page   Prev Next
Save marked records Save all on page
Mark   Media Year
QA 76.9 E96 W3 : A guide to expert systems.; BJL     
      A guide to expert systems. BJL  BOOK 1986
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  EBOOKS c2011
QA76.9.F38    
      2008 17th Asian Test Symposium : 24-27 November 2008. Online materials  EBOOKS 2008
      FDTC 2016 : proceedings, 2016 Workshop on Fault Diagnosis and Tolerance in Cryptography : Santa Barba Online materials  EBOOKS 2016
      FTXS '15 : proceedings of the 2015 Workshop on Fault Tolerance for HPC at eXtreme Scale : June 15, 20 Online materials  EBOOKS 2015
      FTXS '16 : proceedings of the ACM Workshop on Fault-Tolerance for HPC at eXtreme Scale : May 31, 2016 Online materials  EBOOKS 2016
7 additional entries    
QA 76.9 F38 B5 : Checking experiments in sequential machines.; BJL     
      Checking experiments in sequential machines. BJL  BOOK 1989
QA 76.9 F38 D4    
      Dependable computing for critical applications 5 / Ravishankar K. Iyer ... [et al.]. BJL  BOOK 1998
      Dependable computing for critical applications 6 / Mario Dal Cin, Catherine Meadows, William H. Sande BJL  BOOK 1998
QA76.9.F38D4653 1999 : Dependable Computing for Critical Applications 7; Online materials     
      Dependable Computing for Critical Applications 7 Online materials  EBOOKS 1999
QA76.9.F38 E95 2006 : Sixth European dependable Computing Conference : EDCC 2006 : proceedings : 18-20 October, 2006, Coimbria, Portugal / IEEE Computer Society ; [João Gabriel Silva, general chair].; Online materials     
      Sixth European dependable Computing Conference : EDCC 2006 : proceedings : 18-20 October, 2006, Coimb Online materials  EBOOKS c2006
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  EBOOKS c1995
QA 76.9 F38 J2 : Fault tolerance in distributed systems.; BJL     
      Fault tolerance in distributed systems. BJL  BOOK 1994
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     
      Fault-tolerant computer system design. BJL  BOOK 1996
QA 76.9 F38 P9 : Software fault tolerance techniques and implementation.; 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  EBOOKS c2009
QA76.9.F5    
      Proceedings of the 9th USENIX Conference on File and Storage Technologies [electronic resource] / pro Online materials  EBOOKS 2011
      Proceedings of the 12th USENIX Conference on File and Storage Technologies [electronic resource] / pr Online materials  EBOOKS 2014
      Proceedings of the 13th USENIX Conference on File and Storage Technologies / program chairs, Jiri Sch Online materials  EBOOKS 2015
QA 76.9 F5 H2 : Design of computer data files.; BJL     
      Design of computer data files. BJL  BOOK 1988
QA 76.9 F5 O6    
      Direct files [and] Indexed files. BJL  BOOK 1988
      Serial files. BJL  BOOK 1988
QA 76.9 F5 S1 : File structures : an analytic approach.; BJL     
      File structures : an analytic approach. BJL  BOOK 1988
QA 76.9 F5 S5 : Source file management with SCCS.; BJL     
      Source file management with SCCS. BJL  BOOK 1992
QA 76.9 F5 T3 : File organization and processing.; BJL     
      File organization and processing. BJL  BOOK 1988
QA76.9.F67    
      AFM '07 [electronic resource] : second Workshop on Automated Formal Methods : November 6, 2007, Atlan Online materials  EBOOKS 2007
      FDL : proceedings of the 2014 Forum on Specification and Design Language : 14-16 October 2014. Online materials  EBOOKS 2015
      FMCAD 2016 : proceedings of the 16th Conference on Formal Methods in Computer-Aided Design : October Online materials  EBOOKS 2016
      ForMABS '16 : proceedings of the International Workshop on Formal Methods for Analysis of Business Sy Online materials  EBOOKS 2016
10 additional entries    
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  EBOOKS c2009
QA76.9.F67W66 1998 : Industrial Strength Formal Specification Techniques: Proceedings, IEEE Workshop on Industrial-Strength Formal Specification Techniques (2nd: 1998: Boca Raton, FL); Online materials     
      Industrial Strength Formal Specification Techniques: Proceedings, IEEE Workshop on Industrial-Strengt Online materials  EBOOKS 1999
QA 76.9 H2 S57 / q : SIGCAPH newsletter : a regular publication of the ACM Special Interest Group on Computers and the Physically Handicapped.; BJL     
      SIGCAPH newsletter : a regular publication of the ACM Special Interest Group on Computers and the Phy BJL  PERIODICAL 2001
QA 76.9 H4 : Successful projects in Access.; BJL     
      Successful projects in Access. BJL  BOOK 2008
Save marked records Save all on page
Result Page   Prev Next