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

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 ; Tokyo : Springer, c2000
形態:
xii, 464 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1790 <BA00009279>
著者名:
ISBN:
9783540672593 [3540672591]
書誌ID:
BA46080395
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

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

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

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

Springer-Verlag

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

Springer

International Conference on Hybrid Systems, Antsaklis, Panos J.

Springer

International Workshop on Hybrid Systems : Computation and Control, Hespanha, João, Tiwari, Ashish

Springer

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

Springer-Verlag

International Workshop on Hybrid Systems : Computation and Control, Di Benedetto, Maria Domenica, …

Springer

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

Springer-Verlag

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

Springer

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

Springer

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

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

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