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

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
形態:
xiv, 516 p. : ill. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 2034 <BA00009279>
書誌ID:
BA51531799
ISBN:
9783540418665 [3540418660]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

HSCC 2001, Di Benedetto, Maria Domenica, Sangiovanni-Vincentelli, Alberto

Springer Berlin Heidelberg

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

Springer

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

Springer

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

Springer

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

Springer

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

Springer

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

Springer

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

Springer-Verlag

EMSOFT, Sangiovanni-Vincentelli, Alberto, Sifakis, Joseph, 1946-

Springer

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

Springer-Verlag

Multidisciplinary International Symposium on Positive Systems: Theory and Applications, Benvenuti, Luca, De Santis, &hellip;

Springer