Your search returned 10753 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
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
E-BOOKS
Computer Science Logic [electronic resource] : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld.

by Börger, Egon [editor.] | Kleine Büning, Hans [editor.] | Richter, Michael M [editor.] | Schönfeld, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 533Source: 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
Reasoning Web [electronic resource] : Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures / edited by Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler.

by Barahona, Pedro [editor.] | Bry, François [editor.] | Franconi, Enrico [editor.] | Henze, Nicola [editor.] | Sattler, Ulrike [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4126Source: 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
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
Algebraic semantics [electronic resource] / by Irène Guessarian.

by Guessarian, Irène [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 99Source: 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
Software Engineering Education [electronic resource] : SEI Conference 1991 Pittsburgh, Pennsylvania, USA, October 7–8, 1991 Proceedings / edited by James E. Tomayko.

by Tomayko, James E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 536Source: 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
Fundamentals of Artificial Intelligence Research [electronic resource] : International Workshop FAIR '91 Smolenice, Czechoslovakia, September 8–13, 1991 Proceedings / edited by Philippe Jorrand, Jozef Kelemen.

by Jorrand, Philippe [editor.] | Kelemen, Jozef [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 535Source: 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
Boolean Calculus of Differences [electronic resource] / edited by André Thayse.

by Thayse, André [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 101Source: 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
Advances in Cryptology-CRYPT0’ 90 [electronic resource] : Proceedings / edited by Alfred J. Menezes, Scott A. Vanstone.

by Menezes, Alfred J [editor.] | Vanstone, Scott A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 537Source: 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
A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems [electronic resource] / by Masakazu Kojima, Nimrod Megiddo, Toshihito Noma, Akiko Yoshise.

by Kojima, Masakazu [author.] | Megiddo, Nimrod [author.] | Noma, Toshihito [author.] | Yoshise, Akiko [author.] | SpringerLink (Online service).

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

Powered by Koha