Your search returned 7 results.

Not what you expected? Check for suggestions

Results
	1.	Hybrid systems : computation and control : 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005 : proceedings / Manfred Morari, Lothar Thiele (eds.). by HSCC (Conference) (2005 : Zurich, Switzerland) Morari, Manfred Thiele, Lothar Series: Lecture notes in computer science ; 3414. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: 11400745 Publication details: Berlin ; New York : Springer, 2005 In: OhioLINK electronic book center In: SpringerLink Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Hybrid systems : computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings / Rajeev Alur, George J. Pappas (eds.). by HSCC (Conference) (2004 : Philadelphia, Pa.) Alur, Rajeev, 1966- Pappas, George J Series: Lecture notes in computer science ; 2993. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 2004 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings / Oded Maler, Amir Pnueli (eds.). by HSCC (Conference) (2003 : Prague, Czech Republic) Maler, O. (Oded) Pnueli, A Series: Lecture notes in computer science ; 2623. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2003 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Hybrid systems : computation and control : 10th international conference, HSCC 2007, Pisa, Italy, April 3-5, 2007 : proceedings / Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo (eds.). by HSCC (Conference) (2007 : Pisa, Italy) Bemporad, Alberto Bicchi, Antonio, 1959- Buttazzo, Giorgio C, 1960- Series: Lecture notes in computer science ; 4416. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Hybrid systems : computation and control : Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000 : proceedings / Nancy A. Lynch, Bruce H. Krogh, (Eds.). by HSCC (Conference) (2000 : Pittsburgh, Pa.) Lynch, Nancy A. (Nancy Ann), 1948- Krogh, Bruce H Series: Lecture notes in computer science ; 1790. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: New York : Springer, ©2000 In: Springer Nature eBook Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	Hybrid systems II / Panos Antsaklis [and others], (eds). by Antsaklis, Panos J Series: Lecture notes in computer science ; 999. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1995 Other title: Hybrid systems 2 Hybrid systems two Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	7.	Hybrid Systems III : Verification and Control / edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag. by Alur, Rajeev, 1966- [edt] Henzinger, T. A. (Thomas A.) [edt] Sontag, Eduardo D [edt] Series: Lecture notes in computer science ; vol. 1066. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: New York : Springer, April 1996 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha