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

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
形態:
viii, 415 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1386 <BA00009279>
著者名:
ISBN:
9783540643586 [3540643583]
書誌ID:
BA35446291
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Hybrid Systems: Computation and Control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings

Henzinger, Thomas A., Sastry, Shankar., SpringerLink (Online service)
7 図書 Nonlinear systems : analysis, stability, and control (: pbk)

Sastry, Shankar (Sosale Shankara)

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 III : verification and control

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

Springer
3 図書 Hybrid systems : computation and control : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006 : proceedings

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

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

HSCC'98, Henzinger, Thomas A., Sastry, Shankar

SpringerLink Books - AutoHoldings, 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 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
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, …

Springer
11 図書 Embedded software : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings

EMSOFT, Henzinger, T. A. (Thomas A.), Kirsch, Christoph M., 1968-

Springer
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 図書 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
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12