Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
Logics of Programs and Their Applications [electronic resource] : Proceedings, Poznan, August 23–29, 1980 / edited by A. Salwicki.

by Salwicki, A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 148Source: 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
KI 2003: Advances in Artificial Intelligence [electronic resource] : 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003. Proceedings / edited by Andreas Günter, Rudolf Kruse, Bernd Neumann.

by Günter, Andreas [editor.] | Kruse, Rudolf [editor.] | Neumann, Bernd [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2821Source: 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
Cryptography [electronic resource] : Proceedings of the Workshop on Cryptography Burg Feuerstein, Germany, March 29–April 2, 1982 / edited by Thomas Beth.

by Beth, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 149Source: 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
Automata on Infinite Words [electronic resource] : Ecole de Printemps d'Informatique Théorique Le Mont Dore, May 14–18, 1984 / edited by M. Nivat, D. Perrin.

by Nivat, M [editor.] | Perrin, D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 192Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online 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
Logics of Programs [electronic resource] : Brooklyn, June 17–19, 1985 Proceedings / edited by Rohit Parikh.

by Parikh, Rohit [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 193Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online 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
Automata, Languages and Programming [electronic resource] : 12th Colloquium Nafplion, Greece, July 15–19, 1985 / edited by Wilfried Brauer.

by Brauer, Wilfried [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 194Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online 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
A Hierarchical Associative Processing System [electronic resource] / by Heinrich J. Stüttgen.

by Stüttgen, Heinrich J [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 195Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online 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 Cryptology [electronic resource] : Proceedings of CRYPTO 84 / edited by George Robert Blakley, David Chaum.

by Blakley, George Robert [editor.] | Chaum, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 196Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Other title: A Workshop on the Theory and Application of Cryptographic Techniques. Held at the University of California, Santa Barbara, August 19 - 22, 1984.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
Algorithms in Bioinformatics [electronic resource] : 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006. Proceedings / edited by Philipp Bücher, Bernard M. E. Moret.

by Bücher, Philipp [editor.] | Moret, Bernard M. E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4175Source: 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
Principles and Practice of Semantic Web Reasoning [electronic resource] : 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers / edited by Jóse Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel.

by Alferes, Jóse Júlio [editor.] | Bailey, James [editor.] | May, Wolfgang [editor.] | Schwertel, Uta [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4187Source: 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
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
CONLAN Report [electronic resource] / by Robert Piloty, Dominique Borrione, Mario R. Barbacci, D. L. Dietmeyer, Frederick J. Hill, Patrick Skelly.

by Piloty, Robert [author.] | Borrione, Dominique [author.] | Barbacci, Mario R [author.] | Dietmeyer, D. L [author.] | Hill, Frederick J [author.] | Skelly, Patrick [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 151Source: 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
Foundations of Intelligent Systems [electronic resource] : 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003. Proceedings / edited by Ning Zhong, Zbigniew W. Raś, Shusaku Tsumoto, Einoshin Suzuki.

by Zhong, Ning [editor.] | Raś, Zbigniew W [editor.] | Tsumoto, Shusaku [editor.] | Suzuki, Einoshin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2871Source: 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
Seminar on Concurrency [electronic resource] : Carnegie-Mellon University Pittsburgh, PA, July 9–11, 1984 / edited by Stephen D. Brookes, Andrew William Roscoe, Glynn Winskel.

by Brookes, Stephen D [editor.] | Roscoe, Andrew William [editor.] | Winskel, Glynn [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 197Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online 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
Groupware: Design, Implementation, and Use [electronic resource] : 12th International Workshop, CRIWG 2006, Medina del Campo, Spain, September 17-21, 2006. Proceedings / edited by Yannis A. Dimitriadis, Ilze Zigurs, Eduardo Gómez-Sánchez.

by Dimitriadis, Yannis A [editor.] | Zigurs, Ilze [editor.] | Gómez-Sánchez, Eduardo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4154Source: 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
Conceptual Modeling for Novel Application Domains [electronic resource] : ER 2003 Workshops ECOMO, IWCMQ, AOIS, and XSDM, Chicago, IL, USA, October 13, 2003. Proceedings / edited by Manfred A. Jeusfeld, Óscar Pastor.

by Jeusfeld, Manfred A [editor.] | Pastor, Óscar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2814Source: 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
Specification and Design of Software Systems [electronic resource] : Conference on Operating Systems Visegrad, Hungary, January 23–27, 1982 Proceedings / edited by Elöd Knuth, Erich J. Neuhold.

by Knuth, Elöd [editor.] | Neuhold, Erich J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 152Source: 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
Utilizing Problem Structure in Planning [electronic resource] : A Local Search Approach / by Jörg Hoffmann.

by Hoffmann, Jörg [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2854Source: 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
Ad-Hoc, Mobile, and Wireless Networks [electronic resource] : Second International Conference, ADHOC-NOW2003, Montreal, Canada, October 8-10, 2003. Proceedings / edited by Samuel Pierre, Michel Barbeau, Evangelos Kranakis.

by Pierre, Samuel [editor.] | Barbeau, Michel [editor.] | Kranakis, Evangelos [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2865Source: 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 Data Analysis [electronic resource] : 4th International Symposium, ISMDA 2003, Berlin, Germany, October 9-10, 2003. Proceedings / edited by Petra Perner, Rüdiger Brause, Hermann-Georg Holzhütter.

by Perner, Petra [editor.] | Brause, Rüdiger [editor.] | Holzhütter, Hermann-Georg [editor.] | SpringerLink (Online service).

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