Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Verification and Control of Hybrid Systems [electronic resource] : A Symbolic Approach / by Paulo Tabuada. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Boston, MA : Springer US, 2009 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Networked Embedded Sensing and Control [electronic resource] : Workshop NESC'05: University of Notre Dame, USA, October 2005 Proceedings / edited by Panos J. Antsaklis, Paulo Tabuada. by Series: Lecture Notes in Control and Information Sciences ; 331
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer eBooks
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
Pages

Powered by Koha