東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: Hybrid computers Congresses)
該当件数:12件
Hybrid systems / Panos Antsaklis [et al.] (eds.)
2,4,5. - Berlin : Springer , c1995-. - (Lecture notes in computer science ; 999, 1273, 1567)
図書
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 : Springer , c2004. - Tokyo. - (Lecture notes in computer science ; 2993)
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)
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 : Springer-Verlag , c1998. - New York. - (Lecture notes in computer science ; 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 : computation and control : Second International Workshop, HSCC '99, Berg en Dal, The Netherlands, March 29-31, 1999 : proceedings / Frits W. Vaandrager, Jan H. van Schuppen (eds.)
Berlin : Springer , c1999. - New York. - (Lecture notes in computer science ; 1569)
Hybrid systems / Robert L. Grossman ... [et al.], (eds.)
Berlin : Springer-Verlag , c1993. - New York. - (Lecture notes in computer science ; 736)
Hybrid systems IV / Panos Antsaklis ... [et al.], eds.
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1273)
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 : Springer , c2000. - (Lecture notes in computer science ; 1790)
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 and real-time systems : international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings / Oded Maler (ed.)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1201)