Your search returned 6 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 : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings / Rajeev Alur, George J. Pappas (eds.). by Series: Lecture notes in computer science ; 2993.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Hybrid systems IV / Panos Antsaklis [and others], eds. by Series: Lecture notes in computer science ; 1273.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Other title:
  • Hybrid systems 4
  • Hybrid systems four
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Hybrid systems : computation and control : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, proceedings / Rupak Majumdar, Paulo Tabuada (Eds.). by Series: Lecture notes in computer science ; 5469.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12634446
Publication details: Berlin ; Heidelberg : Springer-Verlag, ©2009
Other title:
  • HSCC 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / Joël Ouaknine, Frits W. Vaandrager, (eds.). by Series: Lecture notes in computer science ; 5813.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer, 2009Copyright date: ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings / Zhiming Liu, Anders P. Ravn (eds.). by Series: Lecture notes in computer science ; 5799. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, ©2009
Other title:
  • ATVA 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Handbook of hybrid systems control : theory, tools, applications / edited by Jan Lunze, Françoise Lamnabhi-Lagarrigue. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge, U.K. ; New York : Cambridge University Press, 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha