Your search returned 4 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings / Oded Maler, Amir Pnueli (eds.). by Series: Lecture notes in computer science ; 2623.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Hybrid and real-time systems : international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings / Oded Maler, ed. by Series: Lecture notes in computer science ; 1201.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Other title:
  • HART '97
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings / Ahmed Bouajjani, Oded Maler (eds.). by Series: Lecture notes in computer science ; 5643.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2009
Other title:
  • CAV 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Pages

Powered by Koha