Your search returned 408 results.

Not what you expected? Check for suggestions
E-BOOKS
Plan-Based Control of Robotic Agents [electronic resource] : Improving the Capabilities of Autonomous Robots / edited by Michael Beetz.

by Beetz, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2554Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Mobile Data Management [electronic resource] : 4th International Conference, MDM 2003 Melbourne, Australia, January 21–24, 2003 Proceedings / edited by Ming-Syan Chen, Panos K. Chrysanthis, Morris Sloman, Arkady Zaslavsky.

by Chen, Ming-Syan [editor.] | Chrysanthis, Panos K [editor.] | Sloman, Morris [editor.] | Zaslavsky, Arkady [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2574Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Cryptographic Hardware and Embedded Systems - CHES 2002 [electronic resource] : 4th International Workshop Redwood Shores, CA, USA, August 13–15, 2002 Revised Papers / edited by Burton S. Kaliski, çetin K. Koç, Christof Paar.

by Kaliski, Burton S [editor.] | Koç, çetin K [editor.] | Paar, Christof [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2523Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Self-Adaptive Software: Applications [electronic resource] : Second International Workshop, IWSAS 2001 Balatonfüred, Hungary, May 17–19, 2001 Revised Papers / edited by Robert Laddaga, Howie Shrobe, Paul Robertson.

by Laddaga, Robert [editor.] | Shrobe, Howie [editor.] | Robertson, Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2614Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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] : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings / edited by Oded Maler, Amir Pnueli.

by Maler, Oded [editor.] | Pnueli, Amir [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2623Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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 2006, Seoul, Korea, August 1-4, 2006. Proceedings / edited by Edwin Sha, Sung-Kook Han, Cheng-Zhong Xu, Moon-Hae Kim, Laurence T. Yang, Bin Xiao.

by Sha, Edwin [editor.] | Han, Sung-Kook [editor.] | Xu, Cheng-Zhong [editor.] | Kim, Moon-Hae [editor.] | Yang, Laurence T [editor.] | Xiao, Bin [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Data and Applications Security XX [electronic resource] : 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings / edited by Ernesto Damiani, Peng Liu.

by Damiani, Ernesto [editor.] | Liu, Peng [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program / edited by Jürg Kohlas, Bertrand Meyer, André Schiper.

by Kohlas, Jürg [editor.] | Meyer, Bertrand [editor.] | Schiper, André [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Emerging Directions in Embedded and Ubiquitous Computing [electronic resource] : EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006. Proceedings / edited by Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao, Yi Mu, Dong Chun Lee, Dae Young Kim, Young-Sik Jeong, Cheng-Zhong Xu.

by Zhou, Xiaobo [editor.] | Sokolsky, Oleg [editor.] | Yan, Lu [editor.] | Jung, Eun-Sun [editor.] | Shao, Zili [editor.] | Mu, Yi [editor.] | Lee, Dong Chun [editor.] | Kim, Dae Young [editor.] | Jeong, Young-Sik [editor.] | Xu, Cheng-Zhong [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Information Processing in Sensor Networks [electronic resource] : Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22–23, 2003 Proceedings / edited by Feng Zhao, Leonidas Guibas.

by Zhao, Feng [editor.] | Guibas, Leonidas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2634Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Automotive Software – Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, 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 ; 4147Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

Place hold Log in to add tags
E-BOOKS
Information Security [electronic resource] : 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings / edited by Sokratis K. Katsikas, Javier López, Michael Backes, Stefanos Gritzalis, Bart Preneel.

by Katsikas, Sokratis K [editor.] | López, Javier [editor.] | Backes, Michael [editor.] | Gritzalis, Stefanos [editor.] | Preneel, Bart [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computer-Aided Verification [electronic resource] : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings / edited by Edmund M. Clarke, Robert P. Kurshan.

by Clarke, Edmund M [editor.] | Kurshan, Robert P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 531Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Artificial Neural Networks [electronic resource] : International Workshop IWANN '91 Granada, Spain, September 17–19, 1991 Proceedings / edited by Alberto Prieto.

by Prieto, Alberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 540Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Directions in Human Factors for Interactive Systems [electronic resource] / edited by Henry Ledgard, Andrew Singer, John Whiteside.

by Ledgard, Henry [editor.] | Singer, Andrew [editor.] | Whiteside, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 103Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online 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
Enduser Systems and Their Human Factors [electronic resource] : Proceedings of the Scientific Symposium conducted on the occasion of the 15th Anniversary of the Science Center Heidelberg of IBM Germany Heidelberg, March 18, 1983 / edited by Albrecht Blaser, Magdalena Zoeppritz.

by Blaser, Albrecht [editor.] | Zoeppritz, Magdalena [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 150Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Online 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
UbiComp 2003: Ubiquitous Computing [electronic resource] : 5th International Conference, Seattle, WA, USA, October 12-15, 2003. Proceedings / edited by Anind K. Dey, Albrecht Schmidt, Joseph F. McCarthy.

by Dey, Anind K [editor.] | Schmidt, Albrecht [editor.] | McCarthy, Joseph F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2864Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Computer Safety, Reliability, and Security [electronic resource] : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003. Proceedings / edited by Stuart Anderson, Massimo Felici, Bev Littlewood.

by Anderson, Stuart [editor.] | Felici, Massimo [editor.] | Littlewood, Bev [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2788Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Verification: Theory and Practice [electronic resource] : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday / edited by Nachum Dershowitz.

by Dershowitz, Nachum [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2772Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003Online 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 and Compilers for Embedded Systems [electronic resource] : 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003. Proceedings / edited by Andreas Krall.

by Krall, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2826Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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