Hybrid and real-time systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997 : proceedings | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

>> Google Books

所蔵情報QRコード

Hybrid and real-time systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997 : proceedings / Oded Maler, (ed.)

資料種別:

図書

出版情報:

Berlin : Springer-Verlag, c1997

形態:

ix, 414 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 1201 <BA00009279>

著者名:

ISBN:

9783540626008 [354062600X]

書誌ID:

BA29734371

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references Includes index
主題:	Hybrid computers--Congresses
言語:	英語

ブックレビュー

Loading review information

類似資料:

1 電子ブック Hybrid and Real-Time Systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings Maler, Oded., SpringerLink (Online service)	7 図書 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
2 電子ブック Hybrid and Real-Time Systems HART '97:, Maler, Oded SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 図書 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
3 図書 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	9 電子ブック Hybrid Systems Biology: Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, … Maler Springer eBooks Computer Science, Springer International Publishing
4 図書 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	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 : 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	11 電子ブック Hybrid Systems: Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings Wiedijk, Freek., Maler, Oded., Pnueli, Amir., SpringerLink (Online service)
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 (2 ; 4 ; 5) International Conference on Hybrid Systems, Antsaklis, Panos J. Springer

1

2

3

4

5

6

7

8

9

10

11

12