Your search returned 1338 results.

Not what you expected? Check for suggestions
E-BOOKS
ESEC '89 [electronic resource] : 2nd European Software Engineering Conference University of Warwick, Coventry, UK September 11–15, 1989 Proceedings / edited by C. Ghezzi, J. A. McDermid.

by Ghezzi, C [editor.] | McDermid, J. A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 387Source: 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
CSL '88 [electronic resource] : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter.

by Börger, Egon [editor.] | Büning, Hans Kleine [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 385Source: 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
Category Theory and Computer Science [electronic resource] : Manchester, UK, September 5–8, 1989 Proceedings / edited by David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné.

by Pitt, David H [editor.] | Rydeheard, David E [editor.] | Dybjer, Peter [editor.] | Pitts, Andrew M [editor.] | Poigné, Axel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 389Source: 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
Algebraic Methods: Theory, Tools and Applications [electronic resource] / edited by Martin Wirsing, Jan A. Bergstra.

by Wirsing, Martin [editor.] | Bergstra, Jan A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 394Source: 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
Reasearch Directions in High-Level Parallel Programming Languages [electronic resource] : Mont Saint-Michel, France, June 17–19, 1991 Proceedings / edited by Jean Pierre Banâtre, Daniel Métayer.

by Banâtre, Jean Pierre [editor.] | Métayer, Daniel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 574Source: 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
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
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
Interactive Relational Database Design [electronic resource] : A Logic Programming Implementation / edited by Tapan P. Bagchi, Vinay K. Chaudhri.

by Bagchi, Tapan P [editor.] | Chaudhri, Vinay K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 402Source: 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 Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983 [electronic resource].

by SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 155Source: 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
Central European Functional Programming School [electronic resource] : First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures / edited by Zoltán Horváth.

by Horváth, Zoltán [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4164Source: 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
«UML»’99 — The Unified Modeling Language [electronic resource] : Beyond the Standard Second International Conference Fort Collins, CO, USA, October 28–30, 1999 Proceedings / edited by Robert France, Bernhard Rumpe.

by France, Robert [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1723Source: 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
Concepts, Design, and Performance Analysis of a Parallel Prolog Machine [electronic resource] / by Joachim Beer.

by Beer, Joachim [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 404Source: 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
Advances in Database Technology — EDBT '90 [electronic resource] : International Conference on Extending Database Technology Venice, Italy, March 26–30, 1990 Proceedings / edited by François Bancilhon, Constantino Thanos, Dennis Tsichritzis.

by Bancilhon, François [editor.] | Thanos, Constantino [editor.] | Tsichritzis, Dennis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 416Source: 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
Compiler Compilers [electronic resource] : Third International Workshop, CC '90 Schwerin, FRG, October 22–24, 1990 Proceedings / edited by Dieter Hammer.

by Hammer, Dieter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 477Source: 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
LOGLAN '88 — Report on the Programming Language [electronic resource] / by Antoni Kreczmar, Andrzej Salwicki, Marek Warpechowski.

by Kreczmar, Antoni [author.] | Salwicki, Andrzej [author.] | Warpechowski, Marek [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 414Source: 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
SIL—a Simulation Language [electronic resource] / by Niels Houbak.

by Houbak, Niels [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 426Source: 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
Advances in Database Technology — EDBT '92 [electronic resource] : 3rd International Conference on Extending Database Technology Vienna, Austria, March 23–27, 1992 Proceedings / edited by Alain Pirotte, Claude Delobel, Goerg Gottlob.

by Pirotte, Alain [editor.] | Delobel, Claude [editor.] | Gottlob, Goerg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 580Source: 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
Design and Implementation of Symbolic Computation Systems [electronic resource] : International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings / edited by Alfonso Miola.

by Miola, Alfonso [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 429Source: 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
Partial Evaluation [electronic resource] : Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998 / edited by John Hatcliff, Torben Æ Mogensen, Peter Thiemann.

by Hatcliff, John [editor.] | Mogensen, Torben Æ [editor.] | Thiemann, Peter [editor.] | SpringerLink (Online service).

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