Your search returned 16 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Hybrid systems : computation and control : 5th international workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002 : proceedings / Claire J. Tomlin, Mark R. Greenstreet (eds.). by Series: Lecture notes in computer science ; 2289.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Hong Kong : Springer-Verlag, ©2002
Other title:
  • HSCC 2002
Online resources:
Availability: Items available for loan: e-Library (1).
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 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).
3.
4.
Hybrid systems : computation and control : 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 : proceedings / Magnus Egerstedt, Bud Mishra (eds.). by Series: Lecture notes in computer science ; 4981. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2008
Online resources:
Availability: Items available for loan: e-Library (1).
5.
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems / [author, Heinrich Rust]. by Series: Lecture notes in computer science ; 3456.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
6.
Hybrid systems : computation and control : 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006 : proceedings / João Hespanha, Ashish Tiwari (eds.). by Series: Lecture notes in computer science ; 3927.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • HSCC 2006
Online resources:
Availability: Items available for loan: e-Library (1).
7.
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).
8.
9.
Hybrid artificial intelligent systems : 6th international conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, proceedings. Part I / Emilio Corchado, Marek Kurzynski, Michal Wozniak (eds.). by Series: Lecture notes in computer science ; 6678. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2011
Online resources:
Availability: Items available for loan: e-Library (1).
10.
Hybrid systems biology : 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, proceedings / Eugenio Cinquemani, Alexandre Donzé (Eds.). by Series: Lecture notes in computer science. Lecture notes in bioinformatics. | Lecture notes in computer science ; 9957.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, [2016]
Online resources:
Availability: Items available for loan: e-Library (1).
11.
Hybrid systems biology : 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019 : revised selected papers / Milan Češka, Nicola Paoletti (eds.). by Series: LNCS sublibrary. SL 8, Bioinformatics. | Lecture notes in computer science. Lecture notes in bioinformatics ; ; 11705.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, [2019]
Online resources:
Availability: Items available for loan: e-Library (1).
12.
Dynamic Data Driven Applications Systems : Third International Conference, DDDAS 2020, Boston, MA, USA, October 2-4, 2020, Proceedings / Frederica Darema, Erik Blasch, Sai Ravela, Alex Aved (eds.). by Series: Lecture notes in computer science ; 12312. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, [2020]
Other title:
  • DDDAS 2020
Online resources:
Availability: Items available for loan: e-Library (1).
13.
14.
Dynamics and Stability of Motion of Shock and Hybrid Systems / Anatoliy A. Martynyuk, Bogusław Radziszewski, Andrzej Szadkowski. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized;
Publisher: Warsaw ; Berlin : Sciendo, [2019]Copyright date: ©2019
Online resources:
Availability: Items available for loan: e-Library (1).
15.
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).
16.
Dynamics and control of hybrid mechanical systems [electronic resource] / edited by Gennady Leonov ... [et al.]. by Series: World Scientific series on nonlinear science. Series B, Special theme issues and proceedings ; ; v. 14.
Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction
Publication details: Singapore ; Hackensack, NJ : World Scientific, 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha