京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: Digital control systems Congresses)
該当件数:2件
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)