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 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
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
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  
QA 76.9 F38 J2 : Fault tolerance in distributed systems.; BJL     
      Fault tolerance in distributed systems. BJL  BOOK 1994
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.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
      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
      FormaliSE 2016 : proceedings, 4th FME Workshop on Formal Methods in Software Engineering : 15 May 201 Online materials  EBOOKS 2016
8 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
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
QA76.9.H58 : Designing for interaction : creating smart applications and clever devices / Dan Saffer.; BJL     
      Designing for interaction : creating smart applications and clever devices / Dan Saffer. BJL  BOOK c2007
QA76.9.H84    
      CrowdMM'12 [electronic resource] : the proceedings of the 2012 ACM Workshop on Crowdsourcing for Mult Online materials  EBOOKS 2012
      Proceedings of the first International Workshop on Crowdsourcing and Data Mining [electronic resource Online materials  EBOOKS 2012
QA76.9.H85    
      13th European Conference on Cognitive Ergonomics : trust and control in complex socio-technical syste Online materials  EBOOKS 2006
      23rd French Speaking Conference on Human-Computer Interaction / conference chair Michel Riveill ; spo Online materials  EBOOKS 2011
      ACM Symposium on Computer Human Interaction for the Management of Information Technology 2010 [electr Online materials  EBOOKS 2010
      Actes de la 28ième conférence francophone sur l'Interaction Homme-Machine / general chairs, Denis Lal Online materials  EBOOKS 2016
249 additional entries    
QA76.9.H85 A25 2011 : Affective computing and intelligent interaction : Fourth International Conference, ACII 2011, Memphis, TN, USA, October 9-12, 2011, proceedings, part I / [edited by] Sidney D Mello ... [et al.].; Online materials     
      Affective computing and intelligent interaction : Fourth International Conference, ACII 2011, Memphis Online materials  EBOOKS c2011
QA76.9.H85 A267 2005 : VRST '05 [electronic resource] : ACM Symposium on Virtual Reality Software & Technology, November 7-9, 2005, Naval Postgraduate School, Monterey, California, USA / edited by Yiorgos Chrysanthou, Rudolph Darken ; sponsored by ACM SIGCHI & ACM SIGGRAPH.; Online materials     
      VRST '05 [electronic resource] : ACM Symposium on Virtual Reality Software & Technology, November 7-9 Online materials  EBOOKS c2005
QA76.9.H85 A267 2006 : VRST Cyprus 2006 [electronic resource] : ACM Symposium Virtual Reality Software and Technology, November 1-3, 2006, Limassol, Cyprus.; Online materials     
      VRST Cyprus 2006 [electronic resource] : ACM Symposium Virtual Reality Software and Technology, Novem Online materials  EBOOKS c2006
QA76.9.H85 A267 2007 : VRST 2007 [electronic resource] : proceedings : ACM Symposium on Virtual Reality Software and Technology, Newport Beach, California, November 5-7, 2007 / proceedings production editor, Stephen N. Spencer ; co-sponsored by ACM SIGGRAPH and ACM SIGCHI.; Online materials     
      VRST 2007 [electronic resource] : proceedings : ACM Symposium on Virtual Reality Software and Technol Online materials  EBOOKS c2007
QA76.9.H85 A285 1996 : VRST '96 : proceedings of the ACM Symposium on Virtual Reality Software and Technology, Hong Kong, July 1-4, 1996 / sponsored by ACM SIGGRAPH and ACM SIGCHI.; Online materials     
      VRST '96 : proceedings of the ACM Symposium on Virtual Reality Software and Technology, Hong Kong, Ju Online materials  EBOOKS c1996
QA76.9.H85 A285 1997 : VRST '97 [electronic resource] : ACM Symposium on Virtual Reality Software and Technology, 1997, Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland, September 15-17, 1997 / sponsored by ACM SIGCHI and SIGGRAPH.; Online materials     
      VRST '97 [electronic resource] : ACM Symposium on Virtual Reality Software and Technology, 1997, Swis Online materials  EBOOKS c1997
QA76.9.H85 A285 1999 : VRST '99 [electronic resource] : proceedings of the ACM Symposium on Virtual Reality Software and Technology, December 20-22nd 1999, University College London, Gower Street, London, UK / edited by Mel Slater ; sponsored by ACM SIGGRAPH and ACM SIGCHI, also sponsored by the European ACTS Project COVEN: Collaborative Virtual Environments, additional sponsorship from SGI and Virtual Presence Ltd.; Online materials     
      VRST '99 [electronic resource] : proceedings of the ACM Symposium on Virtual Reality Software and Tec Online materials  EBOOKS c1999
QA76.9.H85 A285 2001 : VRST 2001 [electronic resource] : proceedings of the ACM Symposium on Virtual Reality Software and Technology, November 15-17, 2001, Banff, Alberta, Canada / edited by Chris Shaw and Wenping Wang ; organized and sponsored by ACM, SIGGRAPH, and SIGCHI.; Online materials     
      VRST 2001 [electronic resource] : proceedings of the ACM Symposium on Virtual Reality Software and Te Online materials  EBOOKS c2001
QA76.9.H85 A29 : ACM transactions on computer-human interaction (Online); Online materials     
      ACM transactions on computer-human interaction [electronic resource]. Online materials  EJOURNALS 1998-
QA76.9.H85 A34 2006 : Adaptive perspectives on human-technology interaction [electronic resource] : methods and models for cognitive engineering and human-computer interaction / edited by Alex Kirlik.; Online materials     
      Adaptive perspectives on human-technology interaction [electronic resource] : methods and models for Online materials  EBOOKS 2006
QA76.9.H85 A486 2011 : Affective computing and sentiment analysis [electronic resource] : emotion, metaphor and terminology / ed. by Khushid Ahmad.; Online materials     
      Affective computing and sentiment analysis [electronic resource] : emotion, metaphor and terminology Online materials  EBOOKS 2011
QA76.9.H85 .A753 2016eb : The Envisionment and Discovery Collaboratory (EDC) : explorations in human-centered informatics with tabletop computing environments / Ernesto G. Arias, Hal Eden, Gerhard Fischer.; Online materials     
      The Envisionment and Discovery Collaboratory (EDC) : explorations in human-centered informatics with Online materials  EBOOKS 2016
QA 76.9 H85 A8 / q : ACM SIGCHI curricula for human-computer interaction.; BJL     
      ACM SIGCHI curricula for human-computer interaction. BJL  BOOK 1992
QA 76.9 H85 A84 : ACM transactions on computer-human interaction.; BJL     
      ACM transactions on computer-human interaction. BJL  PERIODICAL 2002
QA 76.9 H85 A9 : Silicon mirage : the art and science of virtual reality / S. Aukstakalnis and D. Blatner.; BJL     
      Silicon mirage : the art and science of virtual reality / S. Aukstakalnis and D. Blatner. BJL  BOOK 1992
QA76.9.H85 B274 2015 : Humanistic HCI / Jeffrey Bardzell and Shaowen Bardzell.; Online materials     
      Humanistic HCI / Jeffrey Bardzell and Shaowen Bardzell. Online materials  EBOOKS 2015
QA76.9.H85 B36 2004 : Designing virtual worlds / Richard A Bartle.; BJL     
      Designing virtual worlds / Richard A Bartle. BJL  BOOK c2004
QA 76.9 H85 B4 : 3-D sound for virtual reality and multimedia.; BJL     
      3-D sound for virtual reality and multimedia. BJL  BOOK 1994
QA76.9.H85 B526 2016 : Qualitative HCI research : going behind the scenes / Ann Blandford, Dominic Furniss, Stephann Makri.; Online materials     
      Qualitative HCI research : going behind the scenes / Ann Blandford, Dominic Furniss, Stephann Makri. Online materials  EBOOKS 2016
QA 76.9 H85 B7 : An introduction to human-computer interaction.; BJL     
      An introduction to human-computer interaction. BJL  BOOK 1989
QA 76.9 H85 B8    
      Interactive technology in surgery and medicine : international state of the art conference held at Bo BJL  BOOK 1995
      An introduction to visualization, virtual reality and its applications : international state of the a BJL  BOOK 1995
QA76.9.H85 B8713 2003 : Réalité virtuelle. English; Online materials     
      Virtual reality technology / Grigore Burdea, Philippe Coiffet. Online materials  EBOOKS c2003
QA 76.9 H85 B9    
      Force and touch feedback for virtual reality. BJL  BOOK 1996
      Virtual reality technology / Grigore Burdea, Philippe Coiffet. BJL  BOOK 1994
      Virtual reality technology / Grigore Burdea, Philippe Coiffet. BJL  BOOK 2003
QA 76.9 H85 C2 : Information sources for virtual reality : a research guide.; BJL     
      Information sources for virtual reality : a research guide. BJL  BOOK 1993
Save marked records Save all on page
Result Page   Prev Next