Call Number (LC) Title Results
QA76.38 .H73 2003 Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings / 1
QA76.38 .H73 2005 Hybrid systems : computation and control : 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005 : proceedings / 1
QA76.38 .H73 2006eb Hybrid systems computation and control : 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006 : proceedings / 1
QA76.38 .H73 2007 Hybrid systems computation and control : 10th international conference, HSCC 2007, Pisa, Italy, April 3-5, 2007 : proceedings / 1
QA76.38 .H73 2007eb Hybrid systems computation and control : 10th international conference, HSCC 2007, Pisa, Italy, April 3-5, 2007 : proceedings / 1
QA76.38 .H73 2008 Hybrid systems : computation and control : 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 : proceedings / 1
QA76.38 .H73 2010 HSCC'10 : proceedings of the 13th ACM International Conference on Hybrid Systems, Computation and Control : April 12-15, 2010, Stockholm, Sweden / 1
QA76.38 .H733 2009 Hybrid systems computation and control : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, proceedings / 1
QA76.38 .H85 2007 Hybrid intelligent systems : analysis and design / 1
QA76.38 .H93 1995 Hybrid systems II / 1
QA76.38.H94 1996 Hybrid Systems III : Verification and Control / 2
QA76.38 .H95 1997 Hybrid systems IV / 1
QA76.38 .H953 1999 Hybrid systems V / 1
QA76.38 .L53 1999 The Java Native interface : programmer's guide and specification / 1
QA76.38 .T33 2009 Verification and control of hybrid systems a symbolic approach / 1
QA76.4 .A8 Introduction to analog computation. 1
QA76.4 .B53 Introduction to analog computation / 1
QA76.4 .B613 Computation by electronic analogue computers / 1
QA76.4 .C37 2010 Technology for modelling electrical analogies, engineering practice, and the development of analogue computing / 1
QA76.4 .D625 Analogue computers / 1