|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
|
|
Interactive Distributed Multimedia Systems and Services [electronic resource] : European Workshop IDMS'96 Berlin, Germany, March 4–6, 1996 Proceedings / edited by Berthold Butscher, Eckhard Moeller, Herwart Pusch. by Butscher, Berthold [editor.] | Moeller, Eckhard [editor.] | Pusch, Herwart [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1045Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mobile Ad-hoc and Sensor Networks [electronic resource] : Second International Conference, MSN 2006, Hong Kong, China, December 13-15, 2006. Proceedings / edited by Jiannong Cao, Ivan Stojmenovic, Xiaohua Jia, Sajal K. Das. by Cao, Jiannong [editor.] | Stojmenovic, Ivan [editor.] | Jia, Xiaohua [editor.] | Das, Sajal K [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4325Source: 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): .
|
|
|
|
|
|
|
|
|