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
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
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
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
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
QA 76.9 H85 C3 : An illustrated dictionary of cyborg anthropology / illustrated by Maggie Wauklyn.; BJL
An illustrated dictionary of cyborg anthropology / illustrated by Maggie Wauklyn.
BJL
BOOK
c2013
QA76.9.H85 C35 2011 : The synthesis of three dimensional haptic textures [electronic resource] : geometry, control, and psychophysics / Gianni Campion.; Online materials
The synthesis of three dimensional haptic textures [electronic resource] : geometry, control, and psy
Online materials
EBOOKS
2011
QA76.9.H85 C424 2011 : Playing with the past [electronic resource] / Erik Champion.; Online materials
Playing with the past [electronic resource] / Erik Champion.
Online materials
EBOOKS
c2011
QA76.9.H85 C44 2001 : CHI 2001 [electronic resource] : anyone. anywhere. : CHI 2001 conference proceedings : Conference on Human Factors in Computing Systems / editors, Julie A. Jacko ... [et al.] ; sponsored by ACM's Special Interest Group on Computer-Human Interaction (ACM SIGCHI).; Online materials
CHI 2001 [electronic resource] : anyone. anywhere. : CHI 2001 conference proceedings : Conference on
Online materials
EBOOKS
c2001
QA76.9.H85 C44 2003 : CHI 2003 [electronic resource] : new horizons : conference proceedings, Conference on Human Factors in Computing Systems / editors, Victoria Bellotti ... [et al.].; Online materials
CHI 2003 [electronic resource] : new horizons : conference proceedings, Conference on Human Factors i
Online materials
