Your search returned 1795 results.

Not what you expected? Check for suggestions
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
Symbolic and Quantitative Approaches to Reasoning and Uncertainty [electronic resource] / edited by Anthony Hunter, Simon Parsons.

by Hunter, Anthony [editor.] | Parsons, Simon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1638Source: 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
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings / edited by Neil V. Murray.

by Murray, Neil V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1617Source: 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
Computational Intelligence [electronic resource] : Theory and Applications International Conference, 6th Fuzzy Days Dortmund, Germany, May 25–28 1999 Proceedings / edited by Bernd Reusch.

by Reusch, Bernd [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1625Source: 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
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
Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings / edited by Thomas F. Melham, Juanito Camilleri.

by Melham, Thomas F [editor.] | Camilleri, Juanito [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 859Source: 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
Theoretical Aspects of Computing - ICTAC 2006 [electronic resource] : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings / edited by Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone.

by Barkaoui, Kamel [editor.] | Cavalcanti, Ana [editor.] | Cerone, Antonio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4281Source: 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
Computation for Metaphors, Analogy, and Agents [electronic resource] / edited by Chrystopher L. Nehaniv.

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

Series: Lecture Notes in Computer Science ; 1562Source: 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
Transactions on Computational Systems Biology VII [electronic resource] / edited by Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson.

by Priami, Corrado [editor.] | Ingólfsdóttir, Anna [editor.] | Mishra, Bud [editor.] | Riis Nielson, Hanne [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4230Source: 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
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
Programming Languages and Systems [electronic resource] : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings / edited by Naoki Kobayashi.

by Kobayashi, Naoki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4279Source: 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
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
Typed Lambda Calculi and Applications [electronic resource] : 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings / edited by Jean-Yves Girard.

by Girard, Jean-Yves [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1581Source: 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
KI-94: Advances in Artificial Intelligence [electronic resource] : 18th German Annual Conference on Artificial Intelligence Saarbrücken, Germany, September 18–23, 1994 Proceedings / edited by Bernhard Nebel, Leonie Dreschler-Fischer.

by Nebel, Bernhard [editor.] | Dreschler-Fischer, Leonie [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 861Source: 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
Grammatical Inference and Applications [electronic resource] : Second International Colloquium, ICGI-94 Alicante, Spain, September 21–23, 1994 Proceedings / edited by Rafael C. Carrasco, Jose Oncina.

by Carrasco, Rafael C [editor.] | Oncina, Jose [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 862Source: 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
Static Analysis [electronic resource] : First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings / edited by Baudouin Charlier.

by Charlier, Baudouin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 864Source: 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
Methodologies for Intelligent Systems [electronic resource] : 8th International Symposium, ISMIS '94 Charlotte, North Carolina, USA, October 16–19, 1994 Proceedings / edited by Zbigniew W. Raś, Maria Zemankova.

by Raś, Zbigniew W [editor.] | Zemankova, Maria [editor.] | SpringerLink (Online service).

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

Powered by Koha