Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
MFDBS 87 [electronic resource] : 1st Symposium on Mathematical Fundamentals of Database Systems Dresden, GDR, January 19–23, 1987 Proceedings / edited by J. Biskup, J. Demetrovics, J. Paredaens, B. Thalheim.

by Biskup, J [editor.] | Demetrovics, J [editor.] | Paredaens, J [editor.] | Thalheim, B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 305Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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 Logic and Functional Programming [electronic resource] : Workshop Trento, Italy, December 15–19, 1986 Proceedings / edited by Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi.

by Boscarol, Mauro [editor.] | Carlucci Aiello, Luigia [editor.] | Levi, Giorgio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 306Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra [electronic resource] : 4th International Conference, AAECC-4 Karlsruhe, FRG, September 23–26, 1986 Proceedings / edited by Thomas Beth, Michael Clausen.

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

Series: Lecture Notes in Computer Science ; 307Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
STACS 85 [electronic resource] : 2nd Annual Symposium on Theoretical Aspects of Computer Science Saarbrücken, January 3–5, 1985 / edited by K. Mehlhorn.

by Mehlhorn, K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 182Source: 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
Conditional Term Rewriting Systems [electronic resource] : 1st International Workshop Orsay, France, July 8–10, 1987 Proceedings / edited by S. Kaplan, J. -P. Jouannaud.

by Kaplan, S [editor.] | Jouannaud, J. -P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 308Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
Engineering Societies in the Agents World III [electronic resource] : Third International Workshop, ESAW 2002 Madrid, Spain, September 16–17, 2002 Revised Papers / edited by Paolo Petta, Robert Tolksdorf, Franco Zambonelli.

by Petta, Paolo [editor.] | Tolksdorf, Robert [editor.] | Zambonelli, Franco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2577Source: 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
Program Specification [electronic resource] : Proceedings of a Workshop Aarhus, Denmark, August 1981 / edited by Jørgen Staunstrup.

by Staunstrup, Jørgen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 134Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online 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
An Introduction to the PL/CV2 Programming Logic [electronic resource] / by R. L. Constable, S. D. Johnson, C. D. Eichenlaub.

by Constable, R. L [author.] | Johnson, S. D [author.] | Eichenlaub, C. D [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 135Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online 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
Group-Theoretic Algorithms and Graph Isomorphism [electronic resource] / edited by Christoph M. Hoffmann.

by Hoffmann, Christoph M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 136Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online 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
International Symposium on Programming [electronic resource] : 5th Colloquium Turin, April 6–8, 1982 Proceedings / edited by Mariangiola Dezani-Ciancaglini, Ugo Montanari.

by Dezani-Ciancaglini, Mariangiola [editor.] | Montanari, Ugo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 137Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online 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
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers / edited by Herman Geuvers, Freek Wiedijk.

by Geuvers, Herman [editor.] | Wiedijk, Freek [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2646Source: 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
Experiences with Distributed Systems [electronic resource] : International Workshop Kaiserslautern, FRG, September 28–30, 1987 Proceedings / edited by J. Nehmer.

by Nehmer, J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 309Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Other title: Organizers: Sonderforschungsbereich 124, Universität Kaiserslautern, IBM European Network Center, Heidelberg.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
Software Configuration Management [electronic resource] : ICSE Workshops SCM 2001 and SCM 2003, Toronto, Canada, May 14–15, 2001 and Portland, OR, USA, May 9–10, 2003. Selected Papers / edited by Bernhard Westfechtel, André Hoek.

by Westfechtel, Bernhard [editor.] | Hoek, André [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2649Source: 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
Advances in Cryptology — EUROCRYPT 2003 [electronic resource] : International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4–8, 2003 Proceedings / edited by Eli Biham.

by Biham, Eli [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2656Source: 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
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26–29, 2003 Proceedings / edited by Guoyin Wang, Qing Liu, Yiyu Yao, Andrzej Skowron.

by Wang, Guoyin [editor.] | Liu, Qing [editor.] | Yao, Yiyu [editor.] | Skowron, Andrzej [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2639Source: 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
9th International Conference on Automated Deduction [electronic resource] : Argonne, Illinois, USA, May 23–26, 1988 Proceedings / edited by Ewing Lusk, Ross Overbeek.

by Lusk, Ewing [editor.] | Overbeek, Ross [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 310Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
International Symposium on Programming [electronic resource] : Proceedings of the Fourth ‘Colloque International sur la Programmation’ Paris, 22–24 April 1980 / edited by Bernard Robinet.

by Robinet, Bernard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 83Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online 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 Algorithms [electronic resource] : 2nd International Workshop Amsterdam, The Netherlands, July 8–10, 1987 Proceedings / edited by J. Leeuwen.

by Leeuwen, J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 312Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
6th Conference on Automated Deduction [electronic resource] : New York, USA, June 7–9, 1982 / edited by D. W. Loveland.

by Loveland, D. W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 138Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online 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
Coding Theory and Applications [electronic resource] : 2nd International Colloquium Cachan-Paris, France, November 24–26, 1986 Proceedings / edited by G. Cohen, P. Godlewski.

by Cohen, G [editor.] | Godlewski, P [editor.] | SpringerLink (Online service).

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