Hybrid Systems: Computation and Control : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

>> Google Books

Hybrid Systems: Computation and Control : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings / edited by Manfred Morari, Lothar Thiele, Francesca Rossi

版:

1st ed. 2005

資料種別:

電子ブック

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

形態:

XII, 684 p.

シリーズ名:

Theoretical Computer Science and General Issues ; 3414

著者名:

ISBN:

9783540319542 [3540319549]
9783540251088 [3540251081]
9783540808374 [354080837X]

書誌ID:

EB00006205

子書誌情報

フルテキスト

所蔵情報

書誌詳細

主題:

Computer Science Logic and Foundations of Programming; Processor Architectures; Software Engineering; Special Purpose and Application-Based Systems; Theory of Computation

言語:

英語

目次情報:

ブックレビュー

類似資料:

1 電子ブック Hybrid Systems: Computation and Control : 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings Tomlin, Claire J., Greenstreet, Mark R., SpringerLink (Online service) Springer Berlin Heidelberg	7 電子ブック Hybrid Systems III : Verification and Control Alur, Rajeev., Henzinger, Thomas A., Sontag, Eduardo D., SpringerLink (Online service) Springer Berlin Heidelberg
2 電子ブック 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) Springer Berlin Heidelberg	8 電子ブック Hybrid Systems II Antsaklis, Panos., Kohn, Wolf., Nerode, Anil., Sastry, Shankar., SpringerLink (Online service) Springer Berlin Heidelberg
3 電子ブック 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) Springer Berlin Heidelberg	9 電子ブック Hybrid Systems: Computation and Control : Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings Lynch, Nancy., Krogh, Bruce., SpringerLink (Online service) Springer Berlin Heidelberg
4 電子ブック Hybrid Systems: Computation and Control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings Alur, Rajeev., Pappas, George., SpringerLink (Online service) Springer Berlin Heidelberg	10 電子ブック Hybrid and Real-Time Systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings Maler, Oded., SpringerLink (Online service) Springer Berlin Heidelberg
5 電子ブック Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings Di Benedetto, Maria D., Sangiovanni-Vincentelli, Alberto L., SpringerLink (Online service) Springer Berlin Heidelberg	11 電子ブック Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems : Joint International Conferences on Formal Modeling and Analysis of Timed … Lakhnech, Yassine., Yovine, Sergio., SpringerLink (Online service) Springer Berlin Heidelberg
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 Grossman, Robert L., Nerode, Anil., Ravn, Anders P., Rischel, Hans., SpringerLink (Online service) Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12