Your search returned 1336 results.

Not what you expected? Check for suggestions
E-BOOKS
Programming Language Implementation and Logic Programming [electronic resource] : 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings / edited by Jan Maluszyński, Martin Wirsing.

by Maluszyński, Jan [editor.] | Wirsing, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 528Source: 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
Category Theory and Computer Science [electronic resource] : Paris, France, September 3–6, 1991 Proceedings / edited by David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard.

by Pitt, David H [editor.] | Curien, Pierre-Louis [editor.] | Abramsky, Samson [editor.] | Pitts, Andrew M [editor.] | Poigné, Axel [editor.] | Rydeheard, David E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 530Source: 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
Towards a Formal Description of Ada [electronic resource] / edited by D. Bjørner, O. N. Nest.

by Bjørner, D [editor.] | Nest, O. N [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 98Source: 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
Recent Trends in Data Type Specification [electronic resource] : 7th Workshop on Specification of Abstact Data Types Wusterhausen/Dosse, Germany, April 17–20, 1990 Proceedings / edited by H. Ehrig, K. P. Jantke, F. Orejas, H. Reichel.

by Ehrig, H [editor.] | Jantke, K. P [editor.] | Orejas, F [editor.] | Reichel, H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 534Source: 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
Attribute Grammars, Applications and Systems [electronic resource] : International Summer School SAGA Prague, Czechoslovakia, June 4–13, 1991 Proceedings / edited by Henk Alblas, Bořivoj Melichar.

by Alblas, Henk [editor.] | Melichar, Bořivoj [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 545Source: 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
The Programming Language Ada [electronic resource] : Reference Manual Proposed Standard Document United States Department of Defense / edited by W. Brauer, P. Brinch Hansen, D. Gries, C. Moler, G. Seegmüller, J. Stoer, N. Wirth.

by Brauer, W [editor.] | Hansen, P. Brinch [editor.] | Gries, D [editor.] | Moler, C [editor.] | Seegmüller, G [editor.] | Stoer, J [editor.] | Wirth, N [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 106Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
DIANA An Intermediate Language for Ada [electronic resource] / edited by Gerhard Goos, William A. Wulf, Arthur Evans, Kenneth J. Butler.

by Goos, Gerhard [editor.] | Wulf, William A [editor.] | Evans, Arthur [editor.] | Butler, Kenneth J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 161Source: 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
CLU Reference Manual [electronic resource] / by Barbara Liskov, Russell Atkinson, Toby Bloom, Eliot Moss, J. Craig Schaffert, Robert Scheifler, Alan Snyder.

by Liskov, Barbara [author.] | Atkinson, Russell [author.] | Bloom, Toby [author.] | Moss, Eliot [author.] | Schaffert, J. Craig [author.] | Scheifler, Robert [author.] | Snyder, Alan [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 114Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online 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 Specification and Verification [electronic resource] / edited by Wolfgang Polak.

by Polak, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 124Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online 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] : 6th Colloquium Toulouse, April 17–19, 1984 Proceedings / edited by M. Paul, B. Robinet.

by Paul, M [editor.] | Robinet, B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 167Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online 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
PORTAL Language Description [electronic resource] / by Arnold Businger.

by Businger, Arnold [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 198Source: 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
Supercomputing [electronic resource] : 1st International Conference Athens, Greece, June 8–12, 1987 Proceedings / edited by E. N. Houstis, T. S. Papatheodorou, C. D. Polychronopoulos.

by Houstis, E. N [editor.] | Papatheodorou, T. S [editor.] | Polychronopoulos, C. D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 297Source: 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
Semantics of Data Types [electronic resource] : International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings / edited by Gilles Kahn, David B. MacQueen, Gordon Plotkin.

by Kahn, Gilles [editor.] | MacQueen, David B [editor.] | Plotkin, Gordon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 173Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online 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
Programming Languages and Their Definition [electronic resource] : H. Bekič (1936–1982) / edited by C. B. Jones.

by Jones, C. B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 177Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online 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 '88 [electronic resource] : 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings / edited by H. Ganzinger.

by Ganzinger, H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 300Source: 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
An Analytical Description of CHILL, the CCITT High Level Language [electronic resource] / edited by Paul Branquart, Georges Louis, Pierre Wodon.

by Branquart, Paul [editor.] | Louis, Georges [editor.] | Wodon, Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 128Source: 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
Ada Software Tools Interfaces [electronic resource] : Workshop, Bath, July 13–15, 1983 Proceedings / edited by Peter J. L. Wallis.

by Wallis, Peter J. L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 180Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online 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
Attribute Grammar Inversion and Source-to-source Translation [electronic resource] / edited by Daniel M. Yellin.

by Yellin, Daniel M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 302Source: 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
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 13th European PVM/MPI User’s Group Meeting Bonn, Germany, September 17-20, 2006 Proceedings / edited by Bernd Mohr, Jesper Larsson Träff, Joachim Worringen, Jack Dongarra.

by Mohr, Bernd [editor.] | Träff, Jesper Larsson [editor.] | Worringen, Joachim [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4192Source: 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
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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha