close
1.

図書
図書
1. Hybrid systems III : verification and control
Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag, (eds.)
出版情報: Berlin : Springer, c1996  ix, 618 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1066
2.

図書
図書
2. 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  viii, 415 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1386
3.

図書
図書
3. Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
Rajeev Alur, Thomas A. Henzinger, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1996  xii, 472 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1102
4.

図書
図書
4. Embedded software : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings
Thomas A. Henzinger, Christoph M. Kirsch (eds.)
出版情報: Berlin : Springer, c2001  ix, 504 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2211
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼