>> Google Books
QRコード(所蔵情報)

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
形態:
x, 270 p. : ill. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 1569 <BA00009279>
書誌ID:
BA40832862
ISBN:
9783540657347 [3540657347]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Hybrid Systems: Computation and Control

HSCC '99, Schuppen, J. H. van, Vaandrager, Frits

Springer Berlin Heidelberg
7 図書 Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings

International Workshop on Hybrid Systems : Computation and Control, Maler, Oded, Pnueli, A. (Amir)

Springer
2 図書 Hybrid systems : computation and control : third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000 : proceedings

International Workshop on Hybrid Systems : Computation and Control, Lynch, Nancy A. (Nancy Ann), 1948-, Krogh, Bruce H.

Springer
8 図書 Hybrid systems : computation and control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998 : proceedings

International Workshop on Hybrid Systems : Computation and Control, Henzinger, T. A. (Thomas A.), Sastry, Shankar &hellip;

Springer-Verlag
3 図書 Hybrid Systems : Computation and Control : 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002 : proceedings

International Workshop on Hybrid Systems : Computation and Control, Tomlin, Claire J., Greenstreet, Mark R.

Springer
9 電子ブック Hybrid Systems: Computation and Control

HSCC 2000, Hartmanis, Juris, Krogh, Bruce H., Lynch, Nancy Ann

Springer Berlin Heidelberg
4 図書 Hybrid systems : computation and control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings

International Workshop on Hybrid Systems : Computation and Control, Alur, Rajeev, 1966-, Pappas, George J.

Springer
10 電子ブック Hybrid Systems: Computation and Control

HSCC 2004, Alur, Rajeev, Pappas, George J.

Springer Berlin / Heidelberg
5 図書 Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings

International Workshop on Hybrid Systems : Computation and Control, Di Benedetto, Maria Domenica, &hellip;

Springer
11 電子ブック Hybrid Systems: Computation and Control

HSCC 2002, Greenstreet, Mark Russell, Tomlin, Claire J.

Springer Berlin Heidelberg
6 図書 Hybrid systems : computation and control : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005 : proceedings

International Workshop on Hybrid Systems : Computation and Control, Morari, Manfred, Thiele, Lothar

Springer
12 図書 Computational methods in nonlinear mechanics : proceedings of the TICOM second international conference, Austin, Texas, March 26-29, 1979

International Conference on Computational Methods in Nonlinear Mechanics, Oden, J. Tinsley (John Tinsley), 1936-, Texas &hellip;

North-Holland Pub. Co., sole distributors for the U.S.A. and Canada, Elsevier North-Holland