Your search returned 8988 results.

Not what you expected? Check for suggestions
E-BOOKS
Mathematical Foundations of Computer Science 1980 [electronic resource] : Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980 / edited by P. Dembiński.

by Dembiński, P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 88Source: 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
ECI Conference 1976 [electronic resource] : Proceedings of the 1st Conference of the European Cooperation in Informatics Amsterdam, August 9–12, 1976 / edited by K. Samelson.

by Samelson, K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 44Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1976Online 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
Using Sophisticated Models in Resolution Theorem Proving [electronic resource] / edited by David M. Sandford.

by Sandford, David M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 90Source: 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
Grammar and L forms: An introduction [electronic resource] / edited by Derick Wood.

by Wood, Derick [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 91Source: 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
A Calculus of Communicating Systems [electronic resource] / edited by Robin Milner.

by Milner, Robin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 92Source: 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
Computer Aided Design Modelling, Systems Engineering, CAD-Systems [electronic resource] : CREST Advanced Course Darmstadt, 8.–19. September 1980 / edited by Jose Encarnacao.

by Encarnacao, Jose [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 89Source: 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
Context-free grammars: Covers, normal forms, and parsing [electronic resource] / edited by Anton Nijholt.

by Nijholt, Anton [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 93Source: 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
The Semantic Web – ASWC 2006 [electronic resource] : First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006. Proceedings / edited by Riichiro Mizoguchi, Zhongzhi Shi, Fausto Giunchiglia.

by Mizoguchi, Riichiro [editor.] | Shi, Zhongzhi [editor.] | Giunchiglia, Fausto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4185Source: 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
Semantics-Directed Compiler Generation [electronic resource] : Proceedings of a Workshop Aarhus, Denmark, January 1980 / edited by Neil D. Jones.

by Jones, Neil D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 94Source: 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
Information Security [electronic resource] : 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings / edited by Sokratis K. Katsikas, Javier López, Michael Backes, Stefanos Gritzalis, Bart Preneel.

by Katsikas, Sokratis K [editor.] | López, Javier [editor.] | Backes, Michael [editor.] | Gritzalis, Stefanos [editor.] | Preneel, Bart [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4176Source: 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
CONCUR '91 [electronic resource] : 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings / edited by Jos C. M. Baeten, Jan Frisco Groote.

by Baeten, Jos C. M [editor.] | Groote, Jan Frisco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 527Source: 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
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
Computing Methods in Applied Sciences and Engineering Part 1 [electronic resource] : International Symposium, Versailles, December 17–21, 1973 / edited by R. Glowinski, J. L. Lions.

by Glowinski, R [editor.] | Lions, J. L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 10Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1974Other title: IRIA LABORIA, Institut de Recherche d'Informatique et d'Automatique.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
Coroutines [electronic resource] : A Programming Methodology, a Language Design and an Implementation / by Christopher D. Marlin.

by Marlin, Christopher D [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 95Source: 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
Computing Methods in Applied Sciences and Engineering Part 2 [electronic resource] : International Symposium, Versailles, December 17–21, 1973 / edited by R. Glowinski, J. L. Lions.

by Glowinski, R [editor.] | Lions, J. L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 11Source: Springer eBooksMaterial type: Text Text;Language: ; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1974Other title: IRIA LABORIA, Institut de Recherche d'Informatique et d'Automatique.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
Computer Programs for Spelling Correction: An Experiment in Program Design [electronic resource].

by SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 96Source: 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
Fundamentals of Computation Theory [electronic resource] : 8th International Conference, FCT '91 Gosen, Germany, September 9–13, 1991 Proceedings / edited by L. Budach.

by Budach, L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 529Source: 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
Computer-Aided Verification [electronic resource] : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings / edited by Edmund M. Clarke, Robert P. Kurshan.

by Clarke, Edmund M [editor.] | Kurshan, Robert P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 531Source: 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
Graph Grammars and Their Application to Computer Science [electronic resource] : 4th International Workshop Bremen, Germany, March 5–9, 1990 Proceedings / edited by Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg.

by Ehrig, Hartmut [editor.] | Kreowski, Hans-Jörg [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 532Source: 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
Reliability Evaluation of Some Fault-Tolerant Computer Architectures [electronic resource] / by Shunji Osaki, Toshihiko Nishio.

by Osaki, Shunji [author.] | Nishio, Toshihiko [author.] | SpringerLink (Online service).

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

Powered by Koha