|
|
|
|
|
|
|
Dependable Computing — EDCC-2 [electronic resource] : Second European Dependable Computing Conference Taormina, Italy, October 2–4, 1996 Proceedings / edited by Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini. by Hlawiczka, Andrzej [editor.] | Silva, João Gabriel [editor.] | Simoncini, Luca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1150Source: 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): .
|
|
|
|
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): .
|
|
|
|
Formal Methods: Applications and Technology [electronic resource] : 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers / edited by Luboš Brim, Boudewijn Haverkort, Martin Leucker, Jaco Pol. by Brim, Luboš [editor.] | Haverkort, Boudewijn [editor.] | Leucker, Martin [editor.] | Pol, Jaco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4346Source: 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): .
|
|
|
|
Information Security Applications [electronic resource] : 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers / edited by Jae Kwang Lee, Okyeon Yi, Moti Yung. by Lee, Jae Kwang [editor.] | Yi, Okyeon [editor.] | Yung, Moti [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4298Source: 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): .
|
|
|
|
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): .
|
|
|
|
Ubiquitous Convergence Technology [electronic resource] : First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers / edited by Frank Stajano, Hyoung Joong Kim, Jong-Suk Chae, Seong-Dong Kim. by Stajano, Frank [editor.] | Kim, Hyoung Joong [editor.] | Chae, Jong-Suk [editor.] | Kim, Seong-Dong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4412Source: 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): .
|
|
|
|
Pervasive Computing [electronic resource] : 5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007. Proceedings / edited by Anthony LaMarca, Marc Langheinrich, Khai N. Truong. by LaMarca, Anthony [editor.] | Langheinrich, Marc [editor.] | Truong, Khai N [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4480Source: 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): .
|
|
|
|
Formal Methods for Performance Evaluation [electronic resource] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures / edited by Marco Bernardo, Jane Hillston. by Bernardo, Marco [editor.] | Hillston, Jane [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4486Source: 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): .
|
|
|
|
Embedded Software and Systems [electronic resource] : Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings / edited by Yann-Hang Lee, Heung-Nam Kim, Jong Kim, Yongwan Park, Laurence T. Yang, Sung Won Kim. by Lee, Yann-Hang [editor.] | Kim, Heung-Nam [editor.] | Kim, Jong [editor.] | Park, Yongwan [editor.] | Yang, Laurence T [editor.] | Kim, Sung Won [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4523Source: 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): .
|
|
|
|
Network Control and Optimization [electronic resource] : First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedings / edited by Tijani Chahed, Bruno Tuffin. by Chahed, Tijani [editor.] | Tuffin, Bruno [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4465Source: 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): .
|
|
|
|
Coordination Models and Languages [electronic resource] : 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / edited by Amy L. Murphy, Jan Vitek. by Murphy, Amy L [editor.] | Vitek, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4467Source: 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): .
|
|
|
|
Pervasive Computing for Quality of Life Enhancement [electronic resource] : 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007. Proceedings / edited by Takeshi Okadome, Tatsuya Yamazaki, Mounir Makhtari. by Okadome, Takeshi [editor.] | Yamazaki, Tatsuya [editor.] | Makhtari, Mounir [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4541Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Dependable and Adaptable Networks and Services [electronic resource] : 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedings / edited by Aiko Pras, Marten Sinderen. by Pras, Aiko [editor.] | Sinderen, Marten [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4606Source: 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): .
|
|
|
|
Data and Applications Security XXI [electronic resource] : 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings / edited by Steve Barker, Gail-Joon Ahn. by Barker, Steve [editor.] | Ahn, Gail-Joon [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4602Source: 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): .
|
|
|
|
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings / edited by Francesca Saglietti, Norbert Oster. by Saglietti, Francesca [editor.] | Oster, Norbert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4680Source: 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): .
|