京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: Hybrid computers Congresses)
該当件数: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 ; v. 1386)
図書
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)
Hybrid systems / Robert L. Grossman ... [et al.], (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 736)
Hybrid systems III : verification and control / Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag, (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1066)
Hybrid systems / Panos Antsaklis ... [et al.] (eds.)
2,4. - Berlin : Springer , c1995-. - (Lecture notes in computer science ; 999, 1273)