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

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 ; Tokyo : Springer, c2004
形態:
xii, 674 p. : ill. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 2993 <BA00009279>
書誌ID:
BA6675609X
ISBN:
9783540212591 [3540212590]  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 : 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
7 図書 Hybrid systems III : verification and control

Alur, Rajeev, 1966-, Henzinger, T. A. (Thomas A.), Sontag, Eduardo D.

Springer
2 図書 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
8 図書 Hybrid and real-time systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997 : proceedings

International Workshop on Hybrid and Real-Time Systems, Maler, Oded

Springer-Verlag
3 図書 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
9 図書 Hybrid systems : computation and control : Second International Workshop, HSCC '99, Berg en Dal, The Netherlands, March 29-31, 1999 : proceedings

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

Springer
4 図書 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
10 図書 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
5 電子ブック Hybrid Systems: Computation and Control

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

Springer Berlin / Heidelberg
11 図書 Hybrid systems

International Conference on Hybrid Systems, Antsaklis, Panos J.

Springer
6 図書 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
12 図書 Hybrid systems

Grossman, Robert L. (Robert Lee), 1957-

Springer-Verlag