|
|
|
Validation of Stochastic Systems [electronic resource] : A Guide to Current Research / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle. by Baier, Christel [editor.] | Haverkort, Boudewijn R [editor.] | Hermanns, Holger [editor.] | Katoen, Joost-Pieter [editor.] | Siegle, Markus [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2925Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems [electronic resource] : Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings / edited by Yassine Lakhnech, Sergio Yovine. by Lakhnech, Yassine [editor.] | Yovine, Sergio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3253Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Parallel Problem Solving from Nature - PPSN VIII [electronic resource] : 8th International Conference, Birmingham, UK, September 18-22, 2004. Proceedings / edited by Xin Yao, Edmund K. Burke, José A. Lozano, Jim Smith, Juan Julián Merelo-Guervós, John A. Bullinaria, Jonathan E. Rowe, Peter Tiňo, Ata Kabán, Hans-Paul Schwefel. by Yao, Xin [editor.] | Burke, Edmund K [editor.] | Lozano, José A [editor.] | Smith, Jim [editor.] | Merelo-Guervós, Juan Julián [editor.] | Bullinaria, John A [editor.] | Rowe, Jonathan E [editor.] | Tiňo, Peter [editor.] | Kabán, Ata [editor.] | Schwefel, Hans-Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3242Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Embedded Software and Systems [electronic resource] : First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / edited by Zhaohui Wu, Chun Chen, Minyi Guo, Jiajun Bu. by Wu, Zhaohui [editor.] | Chen, Chun [editor.] | Guo, Minyi [editor.] | Bu, Jiajun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3605Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Hybrid Systems: Computation and Control [electronic resource] : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings / edited by Manfred Morari, Lothar Thiele. by Morari, Manfred [editor.] | Thiele, Lothar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3414Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Embedded Software and Systems [electronic resource] : Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings / edited by Laurence T. Yang, Xingshe Zhou, Wei Zhao, Zhaohui Wu, Yian Zhu, Man Lin. by Yang, Laurence T [editor.] | Zhou, Xingshe [editor.] | Zhao, Wei [editor.] | Wu, Zhaohui [editor.] | Zhu, Yian [editor.] | Lin, Man [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3820Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Hybrid Systems: Computation and Control [electronic resource] : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings / edited by João P. Hespanha, Ashish Tiwari. by Hespanha, João P [editor.] | Tiwari, Ashish [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3927Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Parallel Problem Solving from Nature - PPSN IX [electronic resource] : 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings / edited by Thomas Philip Runarsson, Hans-Georg Beyer, Edmund Burke, Juan J. Merelo-Guervós, L. Darrell Whitley, Xin Yao. by Runarsson, Thomas Philip [editor.] | Beyer, Hans-Georg [editor.] | Burke, Edmund [editor.] | Merelo-Guervós, Juan J [editor.] | Whitley, L. Darrell [editor.] | Yao, Xin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4193Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
EURO-PAR '95 Parallel Processing [electronic resource] : First International EURO-PAR Conference Stockholm, Sweden, August 29–31, 1995 Proceedings / edited by Seif Haridi, Khayri Ali, Peter Magnusson. by Haridi, Seif [editor.] | Ali, Khayri [editor.] | Magnusson, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 966Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Computer Aided Systems Theory — EUROCAST 2001 [electronic resource] : A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers / edited by Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire. by Moreno-Díaz, Roberto [editor.] | Buchberger, Bruno [editor.] | Luis Freire, José [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2178Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Hybrid Systems: Computation and Control [electronic resource] : 5th International Workshop, HSCC 2002 Stanford, CA, USA, March 25–27, 2002 Proceedings / edited by Claire J. Tomlin, Mark R. Greenstreet. by Tomlin, Claire J [editor.] | Greenstreet, Mark R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2289Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Embedded Processor Design Challenges [electronic resource] : Systems, Architectures, Modeling, and Simulation — SAMOS / edited by Ed F. Deprettere, Jürgen Teich, Stamatis Vassiliadis. by Deprettere, Ed F [editor.] | Teich, Jürgen [editor.] | Vassiliadis, Stamatis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2268Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|