Hybrid systems III : verification and control

>> Google Books

QRコード(所蔵情報)

Hybrid systems III : verification and control

フォーマット:

図書

責任表示:

Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag, (eds.)

言語:

英語

出版情報:

Berlin : Springer, c1996

形態:

ix, 618 p. : ill. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 1066 <BA00009279>

書誌ID:

BA27489109

ISBN:

9783540611554 [354061155X]

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	Digital control systems--Congresses; Hybrid computers--Congresses
分類・件名:	LCC : QA76.38 DDC : 629.8/9 NDC9 : 007.04 LCSH : Hybrid computers -- Congresses LCSH : Digital control systems -- Congresses
注記:	Includes bibliographical references and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Hybrid Systems III Alur, Alur, Rajeev, Henzinger, Thomas A., Sontag, Eduardo D. Springer Berlin Heidelberg	7 電子ブック Computer Aided Verification CAV (Conference), Alur, Rajeev, Henzinger, Thomas A. Springer Berlin Heidelberg
2 図書 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	8 電子ブック Hybrid Systems: Computation and Control HSCC 2004, Alur, Rajeev, Pappas, George J. Springer Berlin / Heidelberg
3 図書 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	9 図書 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
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 … Springer-Verlag	10 図書 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
5 図書 Hybrid systems International Conference on Hybrid Systems, Antsaklis, Panos J. Springer	11 電子ブック Hybrid Systems: Computation and Control HSCC'98, Henzinger, Thomas A., Sastry, Shankar Springer Berlin Heidelberg
6 図書 Hybrid systems Grossman, Robert L. (Robert Lee), 1957- Springer-Verlag	12 図書 Mathematical control theory : deterministic finite dimensional systems Sontag, Eduardo D. Springer