Your search returned 8988 results.

Not what you expected? Check for suggestions
E-BOOKS
The IOTA Programming System [electronic resource] : A Modular Programming Environment / edited by Reiji Nakajima, Taiichi Yuasa.

by Nakajima, Reiji [editor.] | Yuasa, Taiichi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 160Source: 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
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
The Adaptation of Virtual Man-Computer Interfaces to User Requirements in Dialogs [electronic resource] / by Waltraud Dehning, Heidrun Essig, Susanne Maass.

by Dehning, Waltraud [author.] | Essig, Heidrun [author.] | Maass, Susanne [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 110Source: 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
CAAP'83 [electronic resource] : Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings / edited by Giorgio Ausiello, Marco Protasi.

by Ausiello, Giorgio [editor.] | Protasi, Marco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 159Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Other title: With contributions by numerous experts.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
Conpar 81 [electronic resource] : Conference on Analysing Problem Classes and Programming for Parallel Computing Nürnberg, June 10–12, 1981 Proceedings / edited by W. Brauer, P. Brinch Hansen, D. Gries, C. Moler, G. Seegmüller, J. Stoer, N. Wirth, Wolfgang Händler.

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

Series: Lecture Notes in Computer Science ; 111Source: 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
CAAP '81 [electronic resource] : Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings / edited by Egidio Astesiano, Corrado Böhm.

by Astesiano, Egidio [editor.] | Böhm, Corrado [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 112Source: 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
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
Automata, Languages and Programming [electronic resource] : Eighth Colloquium Acre (Akko), Israel July 13–17, 1981 / edited by Shimon Even, Oded Kariv.

by Even, Shimon [editor.] | Kariv, Oded [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 115Source: 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
VLSI Algorithms and Architectures [electronic resource] : Aegean Workshop on Computing Loutraki, Greece, July 8–11, 1986 Proceedings / edited by Filia Makedon, Kurt Mehlhorn, T. Papatheodorou, P. Spirakis.

by Makedon, Filia [editor.] | Mehlhorn, Kurt [editor.] | Papatheodorou, T [editor.] | Spirakis, P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 227Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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 Concurrency Control Problem for Database Systems [electronic resource] / edited by Marco Antonio Casanova.

by Casanova, Marco Antonio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 116Source: 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
Fundamentals of Computation Theory [electronic resource] : Proceedings of the 1981 International FCT-Conference, Szeged, Hungary August 24–28, 1981 / edited by Ferenc Gécseg.

by Gécseg, Ferenc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 117Source: 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
Mathematical Foundations of Computer Science 1981 [electronic resource] : Proceedings, 10th Symposium Štrbské Pleso, Czechoslovakia August 31 – September 4, 1981 / edited by Jozef Gruska, Michal Chytil.

by Gruska, Jozef [editor.] | Chytil, Michal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 118Source: 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
Anaphora in Natural Language Understanding: A Survey [electronic resource] / by Graeme Hirst.

by Hirst, Graeme [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 119Source: 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
Logics of Programs [electronic resource] : Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983 / edited by Edmund Clarke, Dexter Kozen.

by Clarke, Edmund [editor.] | Kozen, Dexter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 164Source: 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
Trends in Information Processing Systems [electronic resource] : 3rd Conference of the European Cooperation in Informatics Munich, October 20–22, 1981 Proceedings / edited by Arie Duijvestijn, Peter Christian Lockemann.

by Duijvestijn, Arie [editor.] | Lockemann, Peter Christian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 123Source: 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
STACS 84 [electronic resource] : Symposium of Theoretical Aspects of Computer Science Paris, 11–13, 1984 / edited by M. Fontet, K. Mehlhorn.

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

Series: Lecture Notes in Computer Science ; 166Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Other title: Sponsored by AFCET (Association Francaise pour la Cybern;&AAe;tique Economique et Technique) and GI (Gesellschaft für Informatik).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
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
Applied Algebra, Algorithmics and Error-Correcting Codes [electronic resource] : 2nd International Conference, AAECC-2 Toulouse, France, October 1–5, 1984 Proceedings / edited by Alain Poli.

by Poli, Alain [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 228Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
Methods and Tools for Computer Integrated Manufacturing [electronic resource] : Advanced CREST Course on Computer Integrated Manufacturing (CIM 83) Karlsruhe, Germany, September 5 to 16, 1983 / edited by U. Rembold, R. Dillmann.

by Rembold, U [editor.] | Dillmann, R [editor.] | SpringerLink (Online service).

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

Powered by Koha