Hybrid Systems: Computation and Control (vol. # 3414) : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

>> Google Books

Hybrid Systems: Computation and Control (vol. # 3414) : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

フォーマット:

電子ブック

責任表示:

edited by Manfred Morari, Francesca Rossi, Lothar Thiele

言語:

英語

出版情報:

Berlin Heidelberg : Springer-Verlag GmbH., 2005

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 3414

書誌ID:

NB02217666

ISBN:

9783540319542 [3540319549]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/b106766

所蔵情報

タイトルが類似している資料

詳細

主題:	Computation by Abstract Devices; Computer Science; Logics and Meanings of Programs; Processor Architectures; Simulation and Modeling; Software Engineering; Special Purpose and Application-Based Systems
分類・件名:	LCSH : Software engineering LCSH : Computer simulation FREE : Computer Science FREE : Computation by Abstract Devices FREE : Logics and Meanings of Programs LCSH : Computer science FREE : Simulation and Modeling FREE : Processor Architectures LCSH : Logic design FREE : Special Purpose and Application-Based Systems FREE : Software Engineering
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Hybrid Systems: Computation and Control (vol. 3927) : 9th International Workshop HSCC 2006 Santa Barbara CA USA March 29-312006 Proceedings Hespanha Joao, Tiwari Ashish, SpringerLink (Online service) Springer-Verlag GmbH.	7 電子ブック Automotive Software- Connected Services in Mobile Networks : First Automotive Software Workshop ASWSD 2004 San Diego CA USA January 10-122004 Revised Selected … Broy Manfred, Meisinger Michael, Kr-ger Ingolf, SpringerLink (Online service) Springer-Verlag GmbH.
2 電子ブック Hybrid Systems: Computation and Control : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings Hutchison, David, Kanade, Takeo, Steffen, Bernhard, Weikum, Gerhard, Egerstedt, Magnus, Vardi, Moshe Y., Tygar, Doug, … Springer-Verlag	8 電子ブック Construction and Analysis of Safe Secure and Interoperable Smart Devices (vol. 3956) : Second International Workshop CASSIS 2005 Nice France March 8-112005 … Barthe Gilles, Lanet Jean-Luis, Gregoire Benjamin, Huisman Marieke, SpringerLink (Online service) Springer-Verlag GmbH.
3 電子ブック Hybrid Systems: Computation and Control : 10th International Workshop HSCC 2007 Pisa Italy April 3-5 2007. Proceedings Bemporad Alberto, Buttazzo Giorgio, Bicchi Antonio, SpringerLink (Online service) Springer-Verlag	9 電子ブック Multi-Agent-Based Simulation XI : International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers Bosse, Tibor, Geller, Armando, Jonker, Catholijn M., SpringerLink (Online service) Springer Berlin Heidelberg
4 図書 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	10 電子ブック Evolvable Systems: From Biology to Hardware : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings Tempesti, Gianluca, Tyrrell, Andy M., Miller, Julian F., SpringerLink (Online service) Springer-Verlag Heidelberg
5 電子ブック Hybrid Systems: Computation and Control : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings Hutchison, David, Sudan, Madhu, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John … Springer Berlin Heidelberg	11 電子ブック Foundations of Software Science and Computational Structures (vol. # 3441) : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European … Sassone, Vladimiro, SpringerLink (Online service) Springer-Verlag GmbH.
6 電子ブック Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised … Hutchison, David, Mattern, Friedemann, Kittler, Josef, Sudan, Madhu, Terzopoulos, Demetri, Steffen, Bernhard, Pandu … Springer-Verlag	12 電子ブック Self-Organizing Systems : 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009. Proceedings Spyropoulos, Thrasyvoulos, Hummel, Karin Anna, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg