|
|
|
|
Formal Approaches to Software Testing and Runtime Verification [electronic resource] : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / edited by Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff. by Havelund, Klaus [editor.] | Núñez, Manuel [editor.] | Roşu, Grigore [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4262Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings / edited by Ajoy K. Datta, Maria Gradinariu. by Datta, Ajoy K [editor.] | Gradinariu, Maria [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4280Source: 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): .
|
|
|
|
|
Teleservices and Multimedia Communications [electronic resource] : Second International COST 237 Workshop Copenhagen, Denmark, November 20–22 1995 Proceedings / edited by David Hutchison, Henning Christiansen, Geoff Coulson, André Danthine. by Hutchison, David [editor.] | Christiansen, Henning [editor.] | Coulson, Geoff [editor.] | Danthine, André [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1052Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops [electronic resource] : ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006. Proceedings / edited by Geyong Min, Beniamino Martino, Laurence T. Yang, Minyi Guo, Gudula Rünger. by Min, Geyong [editor.] | Martino, Beniamino [editor.] | Yang, Laurence T [editor.] | Guo, Minyi [editor.] | Rünger, Gudula [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4331Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
High-Performance Computing and Networking [electronic resource] : International Conference and Exhibition HPCN EUROPE 1996 Brussels, Belgium, April 15–19, 1996 Proceedings / edited by Heather Liddell, Adrian Colbrook, Bob Hertzberger, Peter Sloot. by Liddell, Heather [editor.] | Colbrook, Adrian [editor.] | Hertzberger, Bob [editor.] | Sloot, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1067Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
High Performance Computing - HiPC 2006 [electronic resource] : 13th International Conference, Bangalore, India, December 18-21, 2006. Proceedings / edited by Yves Robert, Manish Parashar, Ramamurthy Badrinath, Viktor K. Prasanna. by Robert, Yves [editor.] | Parashar, Manish [editor.] | Badrinath, Ramamurthy [editor.] | Prasanna, Viktor K [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4297Source: 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): .
|
|
|
|
|
Intelligent Agents III Agent Theories, Architectures, and Languages [electronic resource] : ECAI'96 Workshop (ATAL) Budapest, Hungary, August 12–13, 1996 Proceedings / edited by Jörg P. Müller, Michael J. Wooldridge, Nicholas R. Jennings. by Müller, Jörg P [editor.] | Wooldridge, Michael J [editor.] | Jennings, Nicholas R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1193Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Performance Evaluation [electronic resource] : Modelling Techniques and Tools 10th International Conference, Tools’98 Palma de Mallorca, Spain September 14–18, 1998 Proceedings / edited by Ramon Puigjaner, Nunzio N. Savino, Bartomeu Serra. by Puigjaner, Ramon [editor.] | Savino, Nunzio N [editor.] | Serra, Bartomeu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1469Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
