Your search returned 518 results.

Not what you expected? Check for suggestions
E-BOOKS
Computability and Complexity in Analysis [electronic resource] : 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers / edited by Jens Blanck, Vasco Brattka, Peter Hertling.

by Blanck, Jens [editor.] | Brattka, Vasco [editor.] | Hertling, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2064Source: 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 of Data Mining and Knowledge Discovery [electronic resource] : 4th European Conference, PKDD 2000 Lyon, France, September 13–16, 2000 Proceedings / edited by Djamel A. Zighed, Jan Komorowski, Jan Żytkow.

by Zighed, Djamel A [editor.] | Komorowski, Jan [editor.] | Żytkow, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1910Source: 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
Constraints in Computational Logics [electronic resource] : Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen.

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Comon, Hubert [editor.] | Marché, Claude [editor.] | Treinen, Ralf [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2002Source: 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
Typed Lambda Calculi and Applications [electronic resource] : 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings / edited by Samson Abramsky.

by Abramsky, Samson [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2044Source: 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
Computer Science Logic [electronic resource] : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings / edited by Zoltán Ésik.

by Ésik, Zoltán [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4207Source: 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
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
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
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
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
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
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 14th International Symposium, AAECC-14 Melbourne, Australia, November 26–30, 2001 Proceedings / edited by Serdar Boztaş, Igor E. Shparlinski.

by Boztaş, Serdar [editor.] | Shparlinski, Igor E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2227Source: 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 Logic: Logic Programming and Beyond [electronic resource] : Essays in Honour of Robert A. Kowalski Part II / edited by Antonis C. Kakas, Fariba Sadri.

by Kakas, Antonis C [editor.] | Sadri, Fariba [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2408Source: 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
Recent Trends in Algebraic Development Techniques [electronic resource] : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers / edited by Maura Cerioli, Gianna Reggio.

by Cerioli, Maura [editor.] | Reggio, Gianna [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2267Source: 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
Algebraic Methodology and Software Technology [electronic resource] : 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings / edited by Hélène Kirchner, Christophe Ringeissen.

by Kirchner, Hélène [editor.] | Ringeissen, Christophe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2422Source: 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 [electronic resource] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings / edited by Rajeev Goré, Alexander Leitsch, Tobias Nipkow.

by Goré, Rajeev [editor.] | Leitsch, Alexander [editor.] | Nipkow, Tobias [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2083Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Computer Science Logic [electronic resource] : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings / edited by Julian Bradfield.

by Bradfield, Julian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2471Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Other title: 22-25, 2002, Proceedings.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
Rewriting Techniques and Applications [electronic resource] : 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings / edited by Nachum Dershowitz.

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

Series: Lecture Notes in Computer Science ; 355Source: 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
E-BOOKS
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 5th International Conference, AAECC-5 Menorca, Spain, June 15–19, 1987 Proceedings / edited by Llorenç Huguet, Alain Poli.

by Huguet, Llorenç [editor.] | Poli, Alain [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 356Source: 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
E-BOOKS
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 6th International Conference, AAECC-6 Rome, Italy, July 4–8, 1988 Proceedings / edited by Teo Mora.

by Mora, Teo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 357Source: 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
E-BOOKS
Symbolic and Algebraic Computation [electronic resource] : International Symposium ISSAC '88 Rome, Italy, July 4–8, 1988 Proceedings / edited by P. Gianni.

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

Series: Lecture Notes in Computer Science ; 358Source: 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