|
|
|
|
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): .
|
|
|
|
|
Computational Methods in Systems Biology [electronic resource] : International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers / edited by Vincent Danos, Vincent Schachter. by Danos, Vincent [editor.] | Schachter, Vincent [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3082Source: 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): .
|
|
|
|
|
Switching and Learning in Feedback Systems [electronic resource] : European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers / edited by Roderick Murray-Smith, Robert Shorten. by Murray-Smith, Roderick [editor.] | Shorten, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3355Source: 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): .
|
|
|
|
|
Distributed and Parallel Computing [electronic resource] : 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005. Proceedings / edited by Michael Hobbs, Andrzej M. Goscinski, Wanlei Zhou. by Hobbs, Michael [editor.] | Goscinski, Andrzej M [editor.] | Zhou, Wanlei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3719Source: 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): .
|
|
|
|
|
|
|
|
|
|
Automotive Software – Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / edited by Manfred Broy, Ingolf H. Krüger, Michael Meisinger. by Broy, Manfred [editor.] | Krüger, Ingolf H [editor.] | Meisinger, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4147Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Model-Driven Development of Reliable Automotive Services [electronic resource] : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / edited by Manfred Broy, Ingolf H. Krüger, Michael Meisinger. by Broy, Manfred [editor.] | Krüger, Ingolf H [editor.] | Meisinger, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4922Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Hybrid Systems: Computation and Control [electronic resource] : 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings / edited by Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo. by Bemporad, Alberto [editor.] | Bicchi, Antonio [editor.] | Buttazzo, Giorgio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4416Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings / edited by Hai Jin, Omer F. Rana, Yi Pan, Viktor K. Prasanna. by Jin, Hai [editor.] | Rana, Omer F [editor.] | Pan, Yi [editor.] | Prasanna, Viktor K [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4494Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
