上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA76.38)
該当件数:9件
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)
図書 <1001249559>
Coordination models and languages : 5th International Conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings / Farhad Arbab, Carolyn Talcott (eds.)
Berlin : Springer-Verlag, c2002. - (Lecture notes in computer science ; 2315)
図書 <1001366184>
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 ; New York : Springer , c2002. - (Lecture notes in computer science ; 2289 . Lecture notes in artificial intelligence)
図書 <1001364111>
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)
図書 <1001125892>
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 ; New York : Springer , c1999. - (Lecture notes in computer science ; 1569)
図書 <0219012110>
Hybrid systems / Panos Antsaklis [et al.] (eds.)
2,4,5. - Berlin : Springer , c1995-. - (Lecture notes in computer science ; 999, 1273, 1567)
図書 <1000528949>
Hybrid systems III : verification and control / Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag, (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1066)
図書 <1000537832>
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)
図書 <1000559212>
Hybrid systems / Robert L. Grossman [et al.], (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 736)
図書 <1000483869>