Your search returned 1551 results.

Not what you expected? Check for suggestions
E-BOOKS
The Semantic Web: Research and Applications [electronic resource] : 3rd European Semantic Web Conference, ESWC 2006 Budva, Montenegro, June 11-14, 2006 Proceedings / edited by York Sure, John Domingue.

by Sure, York [editor.] | Domingue, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4011Source: 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
Reliable Software Technologies – Ada-Europe 2006 [electronic resource] : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings / edited by Luís Miguel Pinho, Michael González Harbour.

by Pinho, Luís Miguel [editor.] | González Harbour, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4006Source: 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
Petri Nets and Other Models of Concurrency - ICATPN 2006 [electronic resource] : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings / edited by Susanna Donatelli, P. S. Thiagarajan.

by Donatelli, Susanna [editor.] | Thiagarajan, P. S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4024Source: 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
EurAsia-ICT 2002: Information and Communication Technology [electronic resource] : First EurAsian Conference Shiraz, Iran, October 29–31, 2002 Proceedings / edited by Hassan Shafazand, A. Min Tjoa.

by Shafazand, Hassan [editor.] | Tjoa, A. Min [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2510Source: 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
Concurrency and Hardware Design [electronic resource] : Advances in Petri Nets / edited by Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg.

by Cortadella, Jordi [editor.] | Yakovlev, Alex [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2549Source: 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
The Essence of Computation [electronic resource] : Complexity, Analysis, Transformation / edited by Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough.

by Mogensen, Torben Æ [editor.] | Schmidt, David A [editor.] | Sudborough, I. Hal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2566Source: 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
Distributed Computing [electronic resource] : Mobile and Wireless Computing 4th International Workshop, IWDC 2002 Calcutta, India, December 28–31, 2002 Proceedings / edited by Sajal K. Das, Swapan Bhattacharya.

by Das, Sajal K [editor.] | Bhattacharya, Swapan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2571Source: 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
Computational Intelligence [electronic resource] : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part II / edited by De-Shuang Huang, Kang Li, George William Irwin.

by Huang, De-Shuang [editor.] | Li, Kang [editor.] | Irwin, George William [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4114Source: 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
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
Future Directions in Distributed Computing [electronic resource] : Research and Position Papers / edited by André Schiper, Alex A. Shvartsman, Hakim Weatherspoon, Ben Y. Zhao.

by Schiper, André [editor.] | Shvartsman, Alex A [editor.] | Weatherspoon, Hakim [editor.] | Zhao, Ben Y [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2584Source: 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
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
The Munich Project CIP [electronic resource] / by F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz, E. Hangel, B. Möller, H. Partsch, P. Pepper, K. Samelson, H. Wössner, M. Broy, F. Nickl, M. Wirsing, F. Geiselbrechtinger, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner.

by Brauer, F. L [author.] | Berghammer, R [author.] | Dosch, W [author.] | Gnatz, R [author.] | Hangel, E [author.] | Möller, B [author.] | Partsch, H [author.] | Pepper, P [author.] | Samelson, K [author.] | Wössner, H [author.] | Broy, M [author.] | Nickl, F [author.] | Wirsing, M [author.] | Geiselbrechtinger, F [author.] | Hesse, W [author.] | Krieg-Brückner, B [author.] | Laut, A [author.] | Matzner, T [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 183Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Other title: By the CIP Language Group.Online 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
Mining Multimedia and Complex Data [electronic resource] : KDD Workshop MDM/KDD 2002. PAKDD Workshop KDMCD 2002. Revised Papers / edited by Osmar R. Zaïane, Simeon J. Simoff, Chabane Djeraba.

by Zaïane, Osmar R [editor.] | Simoff, Simeon J [editor.] | Djeraba, Chabane [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2797Source: 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
Journal on Data Semantics I [electronic resource] / edited by Stefano Spaccapietra, Sal March, Karl Aberer.

by Spaccapietra, Stefano [editor.] | March, Sal [editor.] | Aberer, Karl [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2800Source: 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
Innovative Internet Community Systems [electronic resource] : Third International Workshop, IICS 2003, Leipzig, Germany, June 19-21, 2003. Revised Papers / edited by Thomas Böhme, Gerhard Heyer, Herwig Unger.

by Böhme, Thomas [editor.] | Heyer, Gerhard [editor.] | Unger, Herwig [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2877Source: 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
Information Security [electronic resource] : 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003. Proceedings / edited by Colin Boyd, Wenbo Mao.

by Boyd, Colin [editor.] | Mao, Wenbo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2851Source: 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
≪UML≫ 2000 — The Unified Modeling Language [electronic resource] : Advancing the Standard Third International Conference York, UK, October 2–6, 2000 Proceedings / edited by Andy Evans, Stuart Kent, Bran Selic.

by Evans, Andy [editor.] | Kent, Stuart [editor.] | Selic, Bran [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1939Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Graphics Recognition Recent Advances [electronic resource] : Third International Workshop, GREC’ 99 Jaipur, India, September 26–27, 1999 Selected Papers / edited by Atul K. Chhabra, Dov Dori.

by Chhabra, Atul K [editor.] | Dori, Dov [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1941Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Developing Industrial Case-Based Reasoning Applications [electronic resource] : The INRECA Methodology / by Ralph Bergmann, Klaus-Dieter Althoff, Sean Breen, Mehmet Göker, Michel Manago, Ralph Traphöner, Stefan Wess.

by Bergmann, Ralph [author.] | Althoff, Klaus-Dieter [author.] | Breen, Sean [author.] | Göker, Mehmet [author.] | Manago, Michel [author.] | Traphöner, Ralph [author.] | Wess, Stefan [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1612Source: 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
Abstract State Machines - Theory and Applications [electronic resource] : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele.

by Gurevich, Yuri [editor.] | Kutter, Philipp W [editor.] | Odersky, Martin [editor.] | Thiele, Lothar [editor.] | SpringerLink (Online service).

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