Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Methods and Software Engineering [electronic resource] : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings / edited by Jin Song Dong, Jim Woodcock.

by Dong, Jin Song [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2885Source: 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
Intelligent Agents and Multi-Agent Systems [electronic resource] : 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003. Proceedings / edited by Jaeho Lee, Mike Barley.

by Lee, Jaeho [editor.] | Barley, Mike [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2891Source: 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
Graph-Grammars and Their Application to Computer Science [electronic resource] : 2nd International Workshop Haus Ohrbeck, Germany, October 4–8, 1982 / edited by Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg.

by Ehrig, Hartmut [editor.] | Nagl, Manfred [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 153Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Other title: Under the auspices of the European Association for Theoretical Computer Science.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
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2003 [electronic resource] : 6th International Conference, Montréal, Canada, November 15-18, 2003. Proceedings / edited by Randy E. Ellis, Terry M. Peters.

by Ellis, Randy E [editor.] | Peters, Terry M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2878Source: 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 Music Modeling and Retrieval [electronic resource] : International Symposium, CMMR 2003, Montpellier, France, May 26-27, 2003. Revised Papers / edited by Uffe Kock Wiil.

by Wiil, Uffe Kock [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2771Source: 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): .

Place hold Log in to add tags
E-BOOKS
Global Optimization and Constraint Satisfaction [electronic resource] : First International Workshop on Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2002. Revised Selected Papers / edited by Christian Bliek, Christophe Jermann, Arnold Neumaier.

by Bliek, Christian [editor.] | Jermann, Christophe [editor.] | Neumaier, Arnold [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2861Source: 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
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2003 [electronic resource] : 6th International Conference, Montréal, Canada, November 15-18, 2003. Proceedings / edited by Randy E. Ellis, Terry M. Peters.

by Ellis, Randy E [editor.] | Peters, Terry M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2879Source: 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
Modelling with Words [electronic resource] : Learning, Fusion, and Reasoning within a Formal Linguistic Represntation Framework / edited by Jonathan Lawry, Jimi Shanahan, Anca Ralescu.

by Lawry, Jonathan [editor.] | Shanahan, Jimi [editor.] | Ralescu, Anca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2873Source: 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
Artificial Intelligence in Medicine [electronic resource] : 9th Conference on Artificial Intelligence, in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003. Proceedings / edited by Michel Dojat, Elpida T. Keravnou, Pedro Barahona.

by Dojat, Michel [editor.] | Keravnou, Elpida T [editor.] | Barahona, Pedro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2780Source: 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
Mathematical Foundations of Computer Science 1986 [electronic resource] : Proceedings of the 12th Symposium Bratislava, Czechoslovakia August 25–29, 1986 / edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.

by Gruska, Jozef [editor.] | Rovan, Branislav [editor.] | Wiedermann, Juraj [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 233Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
Digital Documents: Systems and Principles [electronic resource] : 8th International Conference on Digital Documents and Electronic Publishing, DDEP 2000, 5th International Workshop on the Principles of Digital Document Processing, PODDP 2000, Munich, Germany, September 13-15, 2000. Revised Papers / edited by Peter King, Ethan V. Munson.

by King, Peter [editor.] | Munson, Ethan V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2023Source: 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): .

Place hold Log in to add tags
E-BOOKS
Inductive Logic Programming [electronic resource] : 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003. Proceedings / edited by Tamás Horváth, Akihiro Yamamoto.

by Horváth, Tamás [editor.] | Yamamoto, Akihiro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2835Source: 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
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
E-BOOKS
Spatial Information Theory. Foundations of Geographic Information Science [electronic resource] : International Conference, COSIT 2003, Kartause Ittingen, Switzerland, September 24-28, 2003. Proceedings / edited by Walter Kuhn, Michael F. Worboys, Sabine Timpf.

by Kuhn, Walter [editor.] | Worboys, Michael F [editor.] | Timpf, Sabine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2825Source: 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
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 10th European PVM/MPI User’s Group Meeting, Venice, Italy, September 29 - October 2, 2003. Proceedings / edited by Jack Dongarra, Domenico Laforenza, Salvatore Orlando.

by Dongarra, Jack [editor.] | Laforenza, Domenico [editor.] | Orlando, Salvatore [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2840Source: 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 and Communications Security [electronic resource] : 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003. Proceedings / edited by Sihan Qing, Dieter Gollmann, Jianying Zhou.

by Qing, Sihan [editor.] | Gollmann, Dieter [editor.] | Zhou, Jianying [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2836Source: 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
Interactive Systems. Design, Specification, and Verification [electronic resource] : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003. Revised Papers / edited by Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha.

by Jorge, Joaquim A [editor.] | Jardim Nunes, Nuno [editor.] | Falcão e Cunha, João [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2844Source: 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
Quality of Future Internet Services [electronic resource] : First COST 263 International Workshop, QofIS 2000 Berlin, Germany, September 25–26, 2000 Proceedings / edited by Jon Crowcroft, James Roberts, Mikhail I. Smirnov.

by Crowcroft, Jon [editor.] | Roberts, James [editor.] | Smirnov, Mikhail I [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1922Source: 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
Open Hypermedia Systems and Structural Computing [electronic resource] : 6th International Workshop, OHS-6 2nd International Workshop, SC-2 San Antonio, Texas, USA, May 30 – June 3, 2000 Proceedings / edited by Siegfried Reich, Kenneth M. Anderson.

by Reich, Siegfried [editor.] | Anderson, Kenneth M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1903Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha