1.

図書
図書
1. Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings
Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2034
所蔵情報: loading…
2.

図書
図書
2. Hybrid systems : computation and control : third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000 : proceedings
Nancy Lynch, Bruce H. Krogh (eds.)
出版情報: Berlin ; Tokyo : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1790
所蔵情報: loading…
3.

図書
図書
3. Hybrid systems III : verification and control
Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag, (eds.)
出版情報: Berlin : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1066
所蔵情報: loading…
4.

図書
図書
4. Hybrid and real-time systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997 : proceedings
Oded Maler, (ed.)
出版情報: Berlin : Springer-Verlag, c1997
シリーズ名: Lecture notes in computer science ; 1201
所蔵情報: loading…
5.

図書
図書
5. Hybrid systems : computation and control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998 : proceedings
Thomas A. Henzinger, Shankar Sastry (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1998
シリーズ名: Lecture notes in computer science ; 1386
所蔵情報: loading…
6.

図書
図書
6. Hybrid systems
Panos Antsaklis [et al.] (eds.)
出版情報: Berlin : Springer, c1995-
シリーズ名: Lecture notes in computer science ; 999, 1273, 1567
所蔵情報: loading…
7.

図書
図書
7. Hybrid systems
Robert L. Grossman [et al.], (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 736
所蔵情報: loading…
8.

図書
図書
8. Hybrid systems : computation and control : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005 : proceedings
Manfred Morari, Lothar Thiele (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3414
所蔵情報: loading…
9.

図書
図書
9. Hybrid systems : computation and control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings
Rajeev Alur, George J. Pappas (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 2993
所蔵情報: loading…