Your search returned 356 results.

Not what you expected? Check for suggestions
E-BOOKS
Temporal Logic [electronic resource] : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings / edited by Dov M. Gabbay, Hans Jürgen Ohlbach.

by Gabbay, Dov M [editor.] | Ohlbach, Hans Jürgen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 827Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Isabelle [electronic resource] : A Generic Theorem Prover / edited by Lawrence C. Paulson.

by Paulson, Lawrence C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 828Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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] : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers / edited by Egon Börger, Yuri Gurevich, Karl Meinke.

by Börger, Egon [editor.] | Gurevich, Yuri [editor.] | Meinke, Karl [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 832Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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 in Artificial Intelligence [electronic resource] : European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings / edited by Craig MacNish, David Pearce, Luís Moniz Pereira.

by MacNish, Craig [editor.] | Pearce, David [editor.] | Pereira, Luís Moniz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 838Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Automated Deduction — CADE-16 [electronic resource] : 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings / by Harald Ganzinger.

by Ganzinger, Harald [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1632Source: 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
Rewriting Techniques and Applications [electronic resource] : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings / edited by Paliath Narendran, Michael Rusinowitch.

by Narendran, Paliath [editor.] | Rusinowitch, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1631Source: 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
Programming Language Implementation and Logic Programming [electronic resource] : 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings / edited by Manuel Hermenegildo, Jaan Penjam.

by Hermenegildo, Manuel [editor.] | Penjam, Jaan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 844Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Constraints in Computational Logics [electronic resource] : First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings / edited by Jean-Pierre Jouannaud.

by Jouannaud, Jean-Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 845Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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 and Logic Programming [electronic resource] : 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings / edited by Giorgio Levi, Mario Rodríguez-Artalejo.

by Levi, Giorgio [editor.] | Rodríguez-Artalejo, Mario [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 850Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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] : 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings / edited by Georg Gottlob, Etienne Grandjean, Katrin Seyr.

by Gottlob, Georg [editor.] | Grandjean, Etienne [editor.] | Seyr, Katrin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1584Source: 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
Logic-Based Program Synthesis and Transformation [electronic resource] : 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers / edited by Pierre Flener.

by Flener, Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1559Source: 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
Logical Aspects of Computational Linguistics [electronic resource] : Second International Conference, LACL'97 Nancy, France, September 22-24, 1997 Selected Papers / edited by Alain Lecomte, François Lamarche, Guy Perrier.

by Lecomte, Alain [editor.] | Lamarche, François [editor.] | Perrier, Guy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1582Source: 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
Compiler Construction [electronic resource] : 8th International Conference, CC’99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99, Amsterdam, The Netherlands, March 22-28, 1999. Proceedings / edited by Stefan Jähnichen.

by Jähnichen, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1575Source: 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
Logic Program Synthesis and Transformation — Meta-Programming in Logic [electronic resource] : 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings / edited by Laurent Fribourg, Franco Turini.

by Fribourg, Laurent [editor.] | Turini, Franco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 883Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Compositionality: The Significant Difference [electronic resource] : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures / edited by Willem-Paul Roever, Hans Langmaack, Amir Pnueli.

by Roever, Willem-Paul [editor.] | Langmaack, Hans [editor.] | Pnueli, Amir [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1536Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Rewriting Techniques and Applications [electronic resource] : 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings / edited by Jieh Hsiang.

by Hsiang, Jieh [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 914Source: 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
Algebraic Methodology and Software Technology [electronic resource] : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings / edited by Armando M. Haeberer.

by Haeberer, Armando M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1548Source: 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
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 15th Conference Bangalore, India, December 18–20, 1995 Proceedings / edited by P. S. Thiagarajan.

by Thiagarajan, P. S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1026Source: 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
Constraint Processing [electronic resource] : Selected Papers / edited by Manfred Meyer.

by Meyer, Manfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 923Source: 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
Computer Science Logic [electronic resource] : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers / edited by Leszek Pacholski, Jerzy Tiuryn.

by Pacholski, Leszek [editor.] | Tiuryn, Jerzy [editor.] | SpringerLink (Online service).

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

Powered by Koha