Your search returned 408 results.

Not what you expected? Check for suggestions
E-BOOKS
Dependable Computing [electronic resource] : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings / edited by Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum.

by Bondavalli, Andrea [editor.] | Brasileiro, Francisco [editor.] | Rajsbaum, Sergio [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings / edited by Jean-François Raskin, P. S. Thiagarajan.

by Raskin, Jean-François [editor.] | Thiagarajan, P. S [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Information Security [electronic resource] : 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings / edited by Juan A. Garay, Arjen K. Lenstra, Masahiro Mambo, René Peralta.

by Garay, Juan A [editor.] | Lenstra, Arjen K [editor.] | Mambo, Masahiro [editor.] | Peralta, René [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings / edited by Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura.

by Namjoshi, Kedar S [editor.] | Yoneda, Tomohiro [editor.] | Higashino, Teruo [editor.] | Okamura, Yoshio [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers / edited by Roman Obermaisser, Yunmook Nah, Peter Puschner, Franz J. Rammig.

by Obermaisser, Roman [editor.] | Nah, Yunmook [editor.] | Puschner, Peter [editor.] | Rammig, Franz J [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Trends in Enterprise Application Architecture [electronic resource] : 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers / edited by Dirk Draheim, Gerald Weber.

by Draheim, Dirk [editor.] | Weber, Gerald [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings / edited by Toshimitsu Masuzawa, Sébastien Tixeuil.

by Masuzawa, Toshimitsu [editor.] | Tixeuil, Sébastien [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Ubiquitous Computing Systems [electronic resource] : 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007. Proceedings / edited by Haruhisa Ichikawa, We-Duke Cho, Ichiro Satoh, Hee Yong Youn.

by Ichikawa, Haruhisa [editor.] | Cho, We-Duke [editor.] | Satoh, Ichiro [editor.] | Youn, Hee Yong [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Sustainable Internet [electronic resource] : Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007. Proceedings / edited by Serge Fdida, Kazunori Sugiura.

by Fdida, Serge [editor.] | Sugiura, Kazunori [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Persuasive Technology [electronic resource] : Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007, Revised Selected Papers / edited by Yvonne Kort, Wijnand IJsselsteijn, Cees Midden, Berry Eggen, B. J. Fogg.

by Kort, Yvonne [editor.] | IJsselsteijn, Wijnand [editor.] | Midden, Cees [editor.] | Eggen, Berry [editor.] | Fogg, B. J [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling [electronic resource] : 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007. Proceedings / edited by Marc Cavazza, Stéphane Donikian.

by Cavazza, Marc [editor.] | Donikian, Stéphane [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Emerging Directions in Embedded and Ubiquitous Computing [electronic resource] : EUC 2007 Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei, Taiwan, December 17-20, 2007. Proceedings / edited by Mieso K. Denko, Chi-sheng Shih, Kuan-Ching Li, Shiao-Li Tsao, Qing-An Zeng, Soo Hyun Park, Young-Bae Ko, Shih-Hao Hung, Jong Hyuk Park.

by Denko, Mieso K [editor.] | Shih, Chi-sheng [editor.] | Li, Kuan-Ching [editor.] | Tsao, Shiao-Li [editor.] | Zeng, Qing-An [editor.] | Park, Soo Hyun [editor.] | Ko, Young-Bae [editor.] | Hung, Shih-Hao [editor.] | Park, Jong Hyuk [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Embedded and Ubiquitous Computing [electronic resource] : International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings / edited by Tei-Wei Kuo, Edwin Sha, Minyi Guo, Laurence T. Yang, Zili Shao.

by Kuo, Tei-Wei [editor.] | Sha, Edwin [editor.] | Guo, Minyi [editor.] | Yang, Laurence T [editor.] | Shao, Zili [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Principles of Distributed Systems [electronic resource] : 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings / edited by Eduardo Tovar, Philippas Tsigas, Hacène Fouchal.

by Tovar, Eduardo [editor.] | Tsigas, Philippas [editor.] | Fouchal, Hacène [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Information Security Applications [electronic resource] : 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers / edited by Sehun Kim, Moti Yung, Hyung-Woo Lee.

by Kim, Sehun [editor.] | Yung, Moti [editor.] | Lee, Hyung-Woo [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Wireless Sensor Networks [electronic resource] : 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings / edited by Roberto Verdone.

by Verdone, Roberto [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Hybrid Systems: Computation and Control [electronic resource] : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings / edited by Magnus Egerstedt, Bud Mishra.

by Egerstedt, Magnus [editor.] | Mishra, Bud [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Pervasive Computing [electronic resource] : 6th International Conference, Pervasive 2008 Sydney, Australia, May 19-22, 2008 Proceedings / edited by Jadwiga Indulska, Donald J. Patterson, Tom Rodden, Max Ott.

by Indulska, Jadwiga [editor.] | Patterson, Donald J [editor.] | Rodden, Tom [editor.] | Ott, Max [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Formal Methods for Industrial Critical Systems [electronic resource] : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers / edited by Stefan Leue, Pedro Merino.

by Leue, Stefan [editor.] | Merino, Pedro [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
GeoSensor Networks [electronic resource] : Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers / edited by Silvia Nittel, Alexandros Labrinidis, Anthony Stefanidis.

by Nittel, Silvia [editor.] | Labrinidis, Alexandros [editor.] | Stefanidis, Anthony [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha