Your search returned 227 results.

Not what you expected? Check for suggestions
E-BOOKS
Automata Logics, and Infinite Games [electronic resource] : A Guide to Current Research / edited by Erich Grädel, Wolfgang Thomas, Thomas Wilke.

by Grädel, Erich [editor.] | Thomas, Wolfgang [editor.] | Wilke, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2500Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Inductive Logic Programming [electronic resource] : 12th International Conference, ILP 2002 Sydney, Australia, July 9–11, 2002 Revised Papers / edited by Stan Matwin, Claude Sammut.

by Matwin, Stan [editor.] | Sammut, Claude [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2583Source: 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
E-BOOKS
STACS 2003 [electronic resource] : 20th Annual Symposium on Theoretical Aspects of Computer Science Berlin, Germany, February 27 – March 1, 2003 Proceedings / edited by Helmut Alt, Michel Habib.

by Alt, Helmut [editor.] | Habib, Michel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2607Source: 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
E-BOOKS
Abstract State Machines 2003 [electronic resource] : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene.

by Börger, Egon [editor.] | Gargantini, Angelo [editor.] | Riccobene, Elvinia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2589Source: 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
E-BOOKS
Portability of Numerical Software [electronic resource] : Workshop, Oak Brook, Illinois, June 21–23, 1976 / edited by Wayne Cowell.

by Cowell, Wayne [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 57Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Online 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 1977 International FCT-Conference, Poznań-Kórnik, Poland September 19–23, 1977 / edited by Marek Karpiński.

by Karpiński, Marek [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 56Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Online 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
Mes premières constructions de programmes [electronic resource] / by A. Gerbier.

by Gerbier, A [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 55Source: Springer eBooksMaterial type: Text Text;Language: ; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Online 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
Simple Program Schemes and Formal Languages [electronic resource] / edited by Jost Engelfriet.

by Engelfriet, Jost [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 20Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1974Online 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 Programming Languages [electronic resource] : Proceedings of a DoD Sponsored Workshop Ithaca, October 1976 / edited by John H. Williams, David A. Fisher.

by Williams, John H [editor.] | Fisher, David A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 54Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Online 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 Construction [electronic resource] : An Advanced Course / edited by F. L. Brauer, J. Eickel, F. L. Remer, M. Griffiths, U. Hill, J. J. Horning, C. H. A. Koster, W. M. McKeeman, P. C. Poole, W. M. Waite.

by Brauer, F. L [editor.] | Eickel, J [editor.] | Remer, F. L [editor.] | Griffiths, M [editor.] | Hill, U [editor.] | Horning, J. J [editor.] | Koster, C. H. A [editor.] | McKeeman, W. M [editor.] | Poole, P. C [editor.] | Waite, W. M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 21Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1974Online 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 1977 [electronic resource] : Proceedings, 6th Symposium, Tatranská Lomnica September 5–9, 1977 / edited by Jozef Gruska.

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

Series: Lecture Notes in Computer Science ; 53Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Online 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
Formal Aspects of Cognitive Processes [electronic resource] : Interdisciplinary Conference Ann Arbor, March 1972 / edited by Thomas Storer, David Winter.

by Storer, Thomas [editor.] | Winter, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 22Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975Online 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] : Fourth Colloquium, University of Turku, Finland July 18–22, 1977 / edited by Arto Salomaa, Magnus Steinby.

by Salomaa, Arto [editor.] | Steinby, Magnus [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 52Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Online 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
Matrix Eigensystem Routines — EISPACK Guide Extension [electronic resource] / by Burton S. Garbow, J. M. Boyle, J. J. Dongarra, C. B. Moler.

by Garbow, Burton S [author.] | Boyle, J. M [author.] | Dongarra, J. J [author.] | Moler, C. B [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 51Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Online 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 Concurrent Pascal Compiler for Minicomputers [electronic resource] / by Alfred C. Hartmann.

by Hartmann, Alfred C [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 50Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Online 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 Systems [electronic resource] : Proceedings, 6th Informatik Symposium IBM Germany, Bad Homburg v. d. H., September 1976 / edited by Albrecht Blaser, Clemens Hackl.

by Blaser, Albrecht [editor.] | Hackl, Clemens [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 49Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Online 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
Theoretical Computer Science [electronic resource] : 3rd Gl Conference Darmstadt, March 28–30, 1977.

by SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 48Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Online 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 Methodology [electronic resource] : 4th Informatik Symposium, IBM Germany Wildbad, September 25–27, 1974 / edited by Clemens E. Hackl.

by Hackl, Clemens E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 23Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975Other 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
Parallel Processing [electronic resource] : Proceedings of the Sagamore Computer Conference, August 20–23, 1974 / edited by Tse-yun Feng.

by Feng, Tse-yun [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 24Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975Online 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 [electronic resource] : 3rd Symposium at Jadwisin near Warsaw, June 17–22, 1974 / edited by A. Blikle.

by Blikle, A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 28Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975Online 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