Your search returned 1709 results.

Not what you expected? Check for suggestions
E-BOOKS
Artificial Intelligence, Automated Reasoning, and Symbolic Computation [electronic resource] : Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings / edited by Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge.

by Calmet, Jacques [editor.] | Benhamou, Belaid [editor.] | Caprotti, Olga [editor.] | Henocque, Laurent [editor.] | Sorge, Volker [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2385Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Conceptual Structures: Integration and Interfaces [electronic resource] : 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15–19, 2002 Proceedings / edited by Uta Priss, Dan Corbett, Galia Angelova.

by Priss, Uta [editor.] | Corbett, Dan [editor.] | Angelova, Galia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2393Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Formal Approaches to Agent-Based Systems [electronic resource] : First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers / edited by James L. Rash, Walt Truszkowski, Michael G. Hinchey, Christopher A. Rouff, Diana Gordon.

by Rash, James L [editor.] | Truszkowski, Walt [editor.] | Hinchey, Michael G [editor.] | Rouff, Christopher A [editor.] | Gordon, Diana [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1871Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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. Theory and Applications [electronic resource] : International Conference, 7th Fuzzy Days Dortmund, Germany, October 1–3, 2001 Proceedings / edited by Bernd Reusch.

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

Series: Lecture Notes in Computer Science ; 2206Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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] : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings / edited by Teodor Rus.

by Rus, Teodor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1816Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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 Computer Software [electronic resource] : 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings / edited by Naoki Kobayashi, Benjamin C. Pierce.

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

Series: Lecture Notes in Computer Science ; 2215Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Proof Theory in Computer Science [electronic resource] : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings / edited by Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk.

by Kahle, Reinhard [editor.] | Schroeder-Heister, Peter [editor.] | Stärk, Robert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2183Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Conditional and Typed Rewriting Systems [electronic resource] : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings / edited by Nachum Dershowitz, Naomi Lindenstrauss.

by Dershowitz, Nachum [editor.] | Lindenstrauss, Naomi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 968Source: 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
Engineering of Intelligent Systems [electronic resource] : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001 Budapest, Hungary, June 4–7, 2001 Proceedings / edited by László Monostori, József Váncza, Moonis Ali.

by Monostori, László [editor.] | Váncza, József [editor.] | Ali, Moonis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2070Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Multiset Processing [electronic resource] : Mathematical,Computer Science, and Molecular Computing Points of View / edited by Cristian S. Calude, Gheorghe PĂun, Grzegorz Rozenberg, Arto Salomaa.

by Calude, Cristian S [editor.] | PĂun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2235Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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 Implementation [electronic resource] : 4th International Workshop on Implementing Automata, WIA’99 Potsdam, Germany, July 17–19, 1999 Revised Papers / edited by Oliver Boldt, Helmut Jürgensen.

by Boldt, Oliver [editor.] | Jürgensen, Helmut [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2214Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Rough Sets and Current Trends in Computing [electronic resource] : Second International Conference, RSCTC 2000 Banff, Canada, October 16–19, 2000 Revised Papers / edited by Wojciech Ziarko, Yiyu Yao.

by Ziarko, Wojciech [editor.] | Yao, Yiyu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2005Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Principles and Practice of Constraint Programming — CP 2001 [electronic resource] : 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings / edited by Toby Walsh.

by Walsh, Toby [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2239Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Algorithmic Learning Theory [electronic resource] : 12th International Conference, ALT 2001 Washington, DC, USA, November 25–28, 2001 Proceedings / edited by Naoki Abe, Roni Khardon, Thomas Zeugmann.

by Abe, Naoki [editor.] | Khardon, Roni [editor.] | Zeugmann, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2225Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Challenges for Action Theories [electronic resource] / by Michael Thielscher.

by Thielscher, Michael [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1775Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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] : 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers / edited by Alberto Pettorossi.

by Pettorossi, Alberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2372Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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] : 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings / edited by Sophie Tison.

by Tison, Sophie [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2378Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings / edited by Uwe Egly, Chritian G. Fermüller.

by Egly, Uwe [editor.] | Fermüller, Chritian G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2381Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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 [electronic resource] : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings / edited by Peter J. Stuckey.

by Stuckey, Peter J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2401Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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-18 [electronic resource] : 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings / edited by Andrei Voronkov.

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

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