Your search returned 199 results.

Not what you expected? Check for suggestions
E-BOOKS
Fault-Tolerant Distributed Computing [electronic resource] / edited by Barbara Simons, Alfred Spector.

by Simons, Barbara [editor.] | Spector, Alfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 448Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Information Security Applications [electronic resource] : 4th International Workshop, WISA 2003 Jeju Island, Korea, August 25-27, 2003 Revised Papers / edited by Ki-Joon Chae, Moti Yung.

by Chae, Ki-Joon [editor.] | Yung, Moti [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2908Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Wireless Sensor Networks [electronic resource] : First EuropeanWorkshop, EWSN 2004, Berlin, Germany, January 19-21, 2004. Proceedings / edited by Holger Karl, Adam Wolisz, Andreas Willig.

by Karl, Holger [editor.] | Wolisz, Adam [editor.] | Willig, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2920Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Pervasive Computing [electronic resource] : Second International Conference, PERVASIVE 2004, Linz/Vienna, Austria, April 21-23, 2004. Proceedings / edited by Alois Ferscha, Friedemann Mattern.

by Ferscha, Alois [editor.] | Mattern, Friedemann [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3001Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Reliable Software Technologies - Ada-Europe 2004 [electronic resource] : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004. Proceedings / edited by Albert Llamosí, Alfred Strohmeier.

by Llamosí, Albert [editor.] | Strohmeier, Alfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3063Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Principles of Distributed Systems [electronic resource] : 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers / edited by Marina Papatriantafilou, Philippe Hunel.

by Papatriantafilou, Marina [editor.] | Hunel, Philippe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3144Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Cryptographic Hardware and Embedded Systems - CHES 2004 [electronic resource] : 6th International Workshop Cambridge, MA, USA, August 11-13, 2004. Proceedings / edited by Marc Joye, Jean-Jacques Quisquater.

by Joye, Marc [editor.] | Quisquater, Jean-Jacques [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3156Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Formal Methods for the Design of Real-Time Systems [electronic resource] : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures / edited by Marco Bernardo, Flavio Corradini.

by Bernardo, Marco [editor.] | Corradini, Flavio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3185Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Software and Compilers for Embedded Systems [electronic resource] : 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004. Proceedings / edited by Henk Schepers.

by Schepers, Henk [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3199Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Embedded and Ubiquitous Computing [electronic resource] : International Conference EUC 2004, Aizu-Wakamatsu City, Japan, August 25-27, 2004. Proceedings / edited by Laurence T. Yang, Minyi Guo, Guang R. Gao, Niraj K. Jha.

by Yang, Laurence T [editor.] | Guo, Minyi [editor.] | Gao, Guang R [editor.] | Jha, Niraj K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3207Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Automated Technology for Verification and Analysis [electronic resource] : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings / edited by Farn Wang.

by Wang, Farn [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3299Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Principles of Distributed Systems [electronic resource] : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers / edited by Teruo Higashino.

by Higashino, Teruo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3544Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Reliable Software Technology – Ada-Europe 2005 [electronic resource] : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings / edited by Tullio Vardanega, Andy Wellings.

by Vardanega, Tullio [editor.] | Wellings, Andy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3555Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Ubiquitous Computing Systems [electronic resource] : Second International Symposium, UCS 2004, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers / edited by Hitomi Murakami, Hideyuki Nakashima, Hideyuki Tokuda, Michiaki Yasumura.

by Murakami, Hitomi [editor.] | Nakashima, Hideyuki [editor.] | Tokuda, Hideyuki [editor.] | Yasumura, Michiaki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3598Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Information Security Applications [electronic resource] : 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers / edited by Chae Hoon Lim, Moti Yung.

by Lim, Chae Hoon [editor.] | Yung, Moti [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3325Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
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 Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Data and Applications Security XIX [electronic resource] : 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005. Proceedings / edited by Sushil Jajodia, Duminda Wijesekera.

by Jajodia, Sushil [editor.] | Wijesekera, Duminda [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3654Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Cryptographic Hardware and Embedded Systems – CHES 2005 [electronic resource] : 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings / edited by Josyula R. Rao, Berk Sunar.

by Rao, Josyula R [editor.] | Sunar, Berk [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3659Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings / edited by Doron A. Peled, Yih-Kuen Tsay.

by Peled, Doron A [editor.] | Tsay, Yih-Kuen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3707Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Embedded Systems Design [electronic resource] : The ARTIST Roadmap for Research and Development / by Bruno Bouyssounouse, Joseph Sifakis.

by Bouyssounouse, Bruno [author.] | Sifakis, Joseph [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3436Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha