Your search returned 10753 results.

Not what you expected? Check for suggestions
E-BOOKS
Algorithmic Learning Theory [electronic resource] : 10th International Conference, ALT’99 Tokyo, Japan, December 6–8, 1999 Proceedings / edited by Osamu Watanabe, Takashi Yokomori.

by Watanabe, Osamu [editor.] | Yokomori, Takashi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1720Source: 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
Computational Aspects of an Order-Sorted Logic with Term Declarations [electronic resource] / edited by M. Schmidt-Schauß.

by Schmidt-Schauß, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 395Source: 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
STACS 92 [electronic resource] : 9th Annual Symposium on Theoretical Aspects of Computer Science Cachan, France, February 13–15, 1992 Proceedings / edited by Alain Finkel, Matthias Jantzen.

by Finkel, Alain [editor.] | Jantzen, Matthias [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 577Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 Systematic Catalogue of Reusable Abstract Data Types [electronic resource] / by Jürgen Uhl, Hans Albrecht Schmid.

by Uhl, Jürgen [author.] | Schmid, Hans Albrecht [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 460Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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
Public-Key Cryptography: State of the Art and Future Directions [electronic resource] : E.I.S.S.Workshop Oberwolfach, Germany, July 3–6, 1991 Final Report / edited by Thomas Beth, Markus Frisch, Gustavus J. Simmons.

by Beth, Thomas [editor.] | Frisch, Markus [editor.] | Simmons, Gustavus J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 578Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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-Theoretic Concepts in Computer Science [electronic resource] : 25th International Workshop, WG’99 Ascona, Switzerland, June 17–19, 1999 Proceedings / edited by Peter Widmayer, Gabriele Neyer, Stephan Eidenbenz.

by Widmayer, Peter [editor.] | Neyer, Gabriele [editor.] | Eidenbenz, Stephan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1665Source: 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
Categorical Methods in Computer Science With Aspects from Topology [electronic resource] / edited by H. Ehrig, H. Herrlich, H. -J. Kreowski, G. Preuß.

by Ehrig, H [editor.] | Herrlich, H [editor.] | Kreowski, H. -J [editor.] | Preuß, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 393Source: 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
Distributed Algorithms [electronic resource] : 5th International Workshop, WDAG '91 Delphi, Greece, October 7–9, 1991 Proceedings / edited by Sam Toueg, Paul G. Spirakis, Lefteris Kirousis.

by Toueg, Sam [editor.] | Spirakis, Paul G [editor.] | Kirousis, Lefteris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 579Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
Current Trends in Database Technology – EDBT 2006 [electronic resource] : EDBT 2006 Workshops PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers / edited by Torsten Grust, Hagen Höpfner, Arantza Illarramendi, Stefan Jablonski, Marco Mesiti, Sascha Müller, Paula-Lavinia Patranjan, Kai-Uwe Sattler, Myra Spiliopoulou, Jef Wijsen.

by Grust, Torsten [editor.] | Höpfner, Hagen [editor.] | Illarramendi, Arantza [editor.] | Jablonski, Stefan [editor.] | Mesiti, Marco [editor.] | Müller, Sascha [editor.] | Patranjan, Paula-Lavinia [editor.] | Sattler, Kai-Uwe [editor.] | Spiliopoulou, Myra [editor.] | Wijsen, Jef [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4254Source: 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
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 13th International Symposium, AAECC-13 Honolulu, Hawaii, USA, November 15–19, 1999 Proceedings / edited by Marc Fossorier, Hideki Imai, Shu Lin, Alain Poli.

by Fossorier, Marc [editor.] | Imai, Hideki [editor.] | Lin, Shu [editor.] | Poli, Alain [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1719Source: 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
Analogical and Inductive Inference [electronic resource] : International Workshop All '89 Reinhardsbrunn Castle, GDR, October 1–6, 1989 Proceedings / edited by Klaus P. Jantke.

by Jantke, Klaus P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 397Source: 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
CAAP '92 [electronic resource] : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26–28, 1992 Proceedings / edited by J. -C. Raoult.

by Raoult, J. -C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 581Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
Local Area Network Security [electronic resource] : Workshop LANSEC '89 European Institute for System Security (E.I.S.S.) Karlsruhe, FRG, April 3–6, 1989 Proceedings / edited by Thomas A. Berson, Thomas Beth.

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

Series: Lecture Notes in Computer Science ; 396Source: 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
ESOP '92 [electronic resource] : 4th European Symposium on Programming Rennes, France, February 26–28, 1992 Proceedings / edited by Bernd Krieg-Brückner.

by Krieg-Brückner, Bernd [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 582Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
Shape, Contour and Grouping in Computer Vision [electronic resource] / by David A. Forsyth, Joseph L. Mundy, Vito Gesú, Roberto Cipolla.

by Forsyth, David A [author.] | Mundy, Joseph L [author.] | Gesú, Vito [author.] | Cipolla, Roberto [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1681Source: 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
Information Systems and Artificial Intelligence: Integration Aspects [electronic resource] : First Workshop Ulm, FRG, March 19–21, 1990 Proceedings / edited by Dimitris Karagiannis.

by Karagiannis, Dimitris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 474Source: 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
Temporal Logic in Specification [electronic resource] : Altrincham, UK, April 8–10, 1987 Proceedings / edited by B. Banieqbal, H. Barringer, A. Pnueli.

by Banieqbal, B [editor.] | Barringer, H [editor.] | Pnueli, A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 398Source: 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
Recent Issues in Pattern Analysis and Recognition [electronic resource] / edited by Virginio Cantoni, Reiner Creutzburg, Stefano Levialdi, G. Wolf.

by Cantoni, Virginio [editor.] | Creutzburg, Reiner [editor.] | Levialdi, Stefano [editor.] | Wolf, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 399Source: 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
The Logic of Theory Change [electronic resource] : Workshop, Konstanz, FRG, October 13–15, 1989 Proceedings / edited by André Fuhrmann, Michael Morreau.

by Fuhrmann, André [editor.] | Morreau, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 465Source: 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
PREMO: A Framework for Multimedia Middleware [electronic resource] : Specification, Rationale, and Java Binding / by David J. Duke, Ivan Herman, M. Scott Marshall.

by Duke, David J [author.] | Herman, Ivan [author.] | Marshall, M. Scott [author.] | SpringerLink (Online service).

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