著者典拠情報

標目形：
International Workshop on Hybrid Systems : Computation and Control
属性：
Meeting
場所：
Berkeley;Berg en Dal, The Netherlands;Pittsburgh;Rome;Philadelphia
日付：
1998;1999;2000;2001;2004;
から見よ参照形：
HSCC
Workshop on Hybrid Systems
注記：
Hybrid systems, 1998: CIP t.p. (HSCC'98; Berkeley, Calif.; First International Workshop) bk. pref. (First International Workshop on Hybrid Systems: Computaion and Control)
Hybrid systems, c2001: t.p. (4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001) pref. (Fourth Workshop on Hybrid Systems: Computation and Control (HSCC 2001)) spine (HSCC 2001)
EDSRC:Hybrid systems : computation and control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 2004 : proceedings / Rajeev Alur, George J. Pappas (eds.) (Springer, c2004)
著者典拠ID：
DA12109448


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 : 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…
4.

図書
図書
4. 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…
5.

図書
図書
5. 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…
6.

図書
図書
6. 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.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2289
所蔵情報: loading…
7.

図書
図書
7. Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings
Oded Maler, Amir Pnueli (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2623
所蔵情報: loading…