Your search returned 372 results.

Not what you expected? Check for suggestions
E-BOOKS
Instantiation Theory [electronic resource] : On the Foundations of Automated Deduction / by James G. Williams.

by Williams, James G [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lectures Notes in Artificial Intelligence ; 518Source: 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
Mathematical Foundations of Computer Science 1991 [electronic resource] : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings / edited by Andrzej Tarlecki.

by Tarlecki, Andrzej [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 520Source: 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
Typed Lambda Calculi and Applications [electronic resource] : International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16–18, 1993, Utrech, The Netherlands Proceedings / edited by Marc Bezem, Jan Friso Groote.

by Bezem, Marc [editor.] | Groote, Jan Friso [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 664Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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
Word Equations and Related Topics [electronic resource] : Second International Workshop, IWWERT '91 Rouen, France, October 7–9, 1991 Proceedings / edited by Habib Abdulrab, Jean-Pierre Pécuchet.

by Abdulrab, Habib [editor.] | Pécuchet, Jean-Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 677Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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
Resolution Methods for the Decision Problem [electronic resource] / edited by C. Fermüller, A. Leitsch, T. Tammet, N. Zamov.

by Fermüller, C [editor.] | Leitsch, A [editor.] | Tammet, T [editor.] | Zamov, N [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 679Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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
Types for Proofs and Programs [electronic resource] : International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers / edited by Peter Dybjer, Bengt Nordström, Jan Smith.

by Dybjer, Peter [editor.] | Nordström, Bengt [editor.] | Smith, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 996Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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] : 20th International Colloquium, ICALP 93 Lund, Sweden, July 5–9, 1993 Proceedings / edited by Andrzej Lingas, Rolf Karlsson, Svante Carlsson.

by Lingas, Andrzej [editor.] | Karlsson, Rolf [editor.] | Carlsson, Svante [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 700Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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 Programming and Automated Reasoning [electronic resource] : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings / edited by Andrei Voronkov.

by Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 698Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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 Connotational Theory of Program Structure [electronic resource] / by James S. Royer.

by Royer, James S [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 273Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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 1993 [electronic resource] : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings / edited by Andrzej M. Borzyszkowski, Stefan Sokołowski.

by Borzyszkowski, Andrzej M [editor.] | Sokołowski, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 711Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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
Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici.

by Gottlob, Georg [editor.] | Leitsch, Alexander [editor.] | Mundici, Daniele [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 713Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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 Reduction [electronic resource] : Proceedings of a Workshop Santa Fé, New Mexico, USA September 29–October 1, 1986 / edited by Joseph H. Fasel, Robert M. Keller.

by Fasel, Joseph H [editor.] | Keller, Robert M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 279Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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] : Edinburgh, U.K., September 7–9, 1987 Proceedings / edited by David H. Pitt, Axel Poigné, David E. Rydeheard.

by Pitt, David H [editor.] | Poigné, Axel [editor.] | Rydeheard, David E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 283Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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
Systems of Reductions [electronic resource] / by Benjamin Benninghofen, Susanne Kemmerich, Michael M. Richter.

by Benninghofen, Benjamin [author.] | Kemmerich, Susanne [author.] | Richter, Michael M [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 277Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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
New Directions in Rough Sets, Data Mining, and Granular-Soft Computing [electronic resource] : 7th International Workshop, RSFDGrC’99, Yamaguchi, Japan, November 9-11, 1999. Proceedings / edited by Ning Zhong, Andrzej Skowron, Setsuo Ohsuga.

by Zhong, Ning [editor.] | Skowron, Andrzej [editor.] | Ohsuga, Setsuo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1711Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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 Generic Development Language Deva [electronic resource] : Presentation and Case Studies / by Matthias Weber, Martin Simons, Christine Lafontaine.

by Weber, Matthias [author.] | Simons, Martin [author.] | Lafontaine, Christine [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 738Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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
Correct System Design [electronic resource] : Recent Insights and Advances / edited by Ernst-Rüdiger Olderog, Bernhard Steffen.

by Olderog, Ernst-Rüdiger [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1710Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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] : International Conference FCT '87 Kazan, USSR, June 22–26, 1987 Proceedings / edited by Lothar Budach, Rais Gatič Bukharajev, Oleg Borisovič Lupanov.

by Budach, Lothar [editor.] | Bukharajev, Rais Gatič [editor.] | Lupanov, Oleg Borisovič [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 278Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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] : 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings / edited by Jörg Flum, Mario Rodriguez-Artalejo.

by Flum, Jörg [editor.] | Rodriguez-Artalejo, Mario [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1683Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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 1989 [electronic resource] : Porabka-Kozubnik, Poland August 28 – September 1, 1989 Proceedings / edited by Antoni Kreczmar, Grazyna Mirkowska.

by Kreczmar, Antoni [editor.] | Mirkowska, Grazyna [editor.] | SpringerLink (Online service).

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