Your search returned 8979 results.

Not what you expected? Check for suggestions
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
E-BOOKS
Parallel Computing in Science and Engineering [electronic resource] : 4th International DFVLR Seminar on Foundations of Engineering Sciences Bonn, Federal Republic of Germany, June 25/26, 1987 / edited by Rüdiger Dierstein, Dieter Müller-Wichards, Hans-Martin Wacker.

by Dierstein, Rüdiger [editor.] | Müller-Wichards, Dieter [editor.] | Wacker, Hans-Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 295Source: 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
Feedback Shift Registers [electronic resource] / by Christian Ronse.

by Ronse, Christian [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 169Source: 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
Logic and Machines: Decision Problems and Complexity [electronic resource] : Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen / edited by E. Börger, G. Hasenjaeger, D. Rödding.

by Börger, E [editor.] | Hasenjaeger, G [editor.] | Rödding, D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 171Source: 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
Web Services and Formal Methods [electronic resource] : Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings / edited by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro.

by Bravetti, Mario [editor.] | Núñez, Manuel [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service).

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

Powered by Koha