Your search returned 10753 results.

Not what you expected? Check for suggestions
E-BOOKS
Automata, Languages and Programming [electronic resource] : 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings / edited by Fernando Orejas, Paul G. Spirakis, Jan Leeuwen.

by Orejas, Fernando [editor.] | Spirakis, Paul G [editor.] | Leeuwen, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2076Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Foundations of Equational Logic Programming [electronic resource] / edited by Steffen Hölldobler.

by Hölldobler, Steffen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 353Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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
Informatics Education – The Bridge between Using and Understanding Computers [electronic resource] : International Conference in Informatics in Secondary Schools – Evolution and Perspectives, ISSEP 2006, Vilnius, Lithuania, November 7-11, 2006. Proceedings / edited by Roland T. Mittermeir.

by Mittermeir, Roland T [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4226Source: 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
High-Performance Computing and Networking [electronic resource] : 9th International Conference, HPCN Europe 2001 Amsterdam, The Netherlands, June 25–27, 2001 Proceedings / edited by Bob Hertzberger, Alfons Hoekstra, Roy Williams.

by Hertzberger, Bob [editor.] | Hoekstra, Alfons [editor.] | Williams, Roy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2110Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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] : 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001 Cascais, Portugal, July 1–4, 2001, Proceedings / edited by Silvana Quaglini, Pedro Barahona, Steen Andreassen.

by Quaglini, Silvana [editor.] | Barahona, Pedro [editor.] | Andreassen, Steen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2101Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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’99 [electronic resource] : Second International Conference, Cambridge, UK, September 19-22, 1999. Proceedings / edited by Chris Taylor, Alain Colchester.

by Taylor, Chris [editor.] | Colchester, Alain [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1679Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Algorithms and Computation [electronic resource] : 4th International Symposium, ISAAC '93 Hong Kong, December 15–17, 1993 Proceedings / edited by K. W. Ng, P. Raghavan, N. V. Balasubramanian, F. Y. L. Chin.

by Ng, K. W [editor.] | Raghavan, P [editor.] | Balasubramanian, N. V [editor.] | Chin, F. Y. L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 762Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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
Theoretical and Practical Aspects of SPIN Model Checking [electronic resource] : 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings / edited by Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink.

by Dams, Dennis [editor.] | Gerth, Rob [editor.] | Leue, Stefan [editor.] | Massink, Mieke [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1680Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Scale-Space Theories in Computer Vision [electronic resource] : Second International Conference, Scale-Space’99 Corfu, Greece, September 26–27, 1999 Proceedings / edited by Mads Nielsen, Peter Johansen, Ole Fogh Olsen, Joachim Weickert.

by Nielsen, Mads [editor.] | Johansen, Peter [editor.] | Olsen, Ole Fogh [editor.] | Weickert, Joachim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1682Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Algorithms and Data Structures [electronic resource] : Workshop WADS '89 Ottawa, Canada, August 17–19, 1989 Proceedings / edited by F. Dehne, J. -R. Sack, N. Santoro.

by Dehne, F [editor.] | Sack, J. -R [editor.] | Santoro, N [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 382Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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
KI-99: Advances in Artificial Intelligence [electronic resource] : 23rd Annual German Conference on Artificial Intelligence Bonn, Germany, September 13–15, 1999 Proceedings / edited by Wolfram Burgard, Armin B. Cremers, Thomas Cristaller.

by Burgard, Wolfram [editor.] | Cremers, Armin B [editor.] | Cristaller, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1701Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Text, Speech and Dialogue [electronic resource] : Second International Workshop, TSD’99 Plzen, Czech Republic, September 13–17, 1999 Proceedings / edited by Václav Matousek, Pavel Mautner, Jana Ocelíková, Petr Sojka.

by Matousek, Václav [editor.] | Mautner, Pavel [editor.] | Ocelíková, Jana [editor.] | Sojka, Petr [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1692Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Logic for Programming and Automated Reasoning [electronic resource] : 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings / edited by Harald Ganzinger, David McAllester, Andrei Voronkov.

by Ganzinger, Harald [editor.] | McAllester, David [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1705Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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 Data Mining and Knowledge Discovery [electronic resource] : Third European Conference, PKDD’99, Prague, Czech Republic, September 15-18, 1999. Proceedings / edited by Jan M. Żytkow, Jan Rauch.

by Żytkow, Jan M [editor.] | Rauch, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1704Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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] : 18th International Conference, SAFECOMP’99 Toulouse, France, September 27–29, 1999 Proceedings / by Alberto Pasquini ; edited by Massimo Felici, Karama Kanoun.

by Pasquini, Alberto [author.] | Felici, Massimo [editor.] | Kanoun, Karama [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1698Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Advances in Databases and Information Systems [electronic resource] : Third East European Conference, ADBIS’99 Maribor, Slovenia, September 13–16, 1999 Proceedings / edited by Johann Eder, Ivan Rozman, Tatjana Welzer.

by Eder, Johann [editor.] | Rozman, Ivan [editor.] | Welzer, Tatjana [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1691Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
System Configuration Management [electronic resource] : 19th International Symposium, SCM-9 Toulouse, France, September 5–7, 1999 Proceedings / by Jacky Estublier.

by Estublier, Jacky [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1675Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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 Computing — EDCC-3 [electronic resource] : Third European Dependable Computing Conference Prague, Czech Republic, September 15–17, 1999 Proceedings / edited by Jan Hlavička, Erik Maehle, András Pataricza.

by Hlavička, Jan [editor.] | Maehle, Erik [editor.] | Pataricza, András [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1667Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Theorem Proving in Higher Order Logics [electronic resource] : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings / edited by Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin.

by Bertot, Yves [editor.] | Dowek, Gilles [editor.] | Théry, Laurent [editor.] | Hirschowitz, André [editor.] | Paulin, Christine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1690Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999Online 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
Applied Formal Methods — FM-Trends 98 [electronic resource] : International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings / edited by Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann.

by Hutter, Dieter [editor.] | Stephan, Werner [editor.] | Traverso, Paolo [editor.] | Ullmann, Markus [editor.] | SpringerLink (Online service).

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