Your search returned 1527 results.

Not what you expected? Check for suggestions
E-BOOKS
Substitutions in Dynamics, Arithmetics and Combinatorics [electronic resource] / edited by N. Pytheas Fogg, Valéré Berthé, Sébastien Ferenczi, Christian Mauduit, Anne Siegel.

by Fogg, N. Pytheas [editor.] | Berthé, Valéré [editor.] | Ferenczi, Sébastien [editor.] | Mauduit, Christian [editor.] | Siegel, Anne [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1794Source: 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): .

E-BOOKS
Logic and Computer Science [electronic resource] : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988 / by Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov ; edited by Piergiorgio Odifreddi.

by Homer, Steven [author.] | Nerode, Anil [author.] | Platek, Richard A [author.] | Sacks, Gerald E [author.] | Scedrov, Andre [author.] | Odifreddi, Piergiorgio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1429Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Algebraic Logic and Universal Algebra in Computer Science [electronic resource] : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings / edited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi.

by Bergman, Clifford H [editor.] | Maddux, Roger D [editor.] | Pigozzi, Don L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 425Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Software Language Engineering [electronic resource] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / edited by Martin Erwig, Richard F. Paige, Eric Wyk.

by Erwig, Martin [editor.] | Paige, Richard F [editor.] | Wyk, Eric [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8225Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay.

by Bertacco, Valeria [editor.] | Legay, Axel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8244Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Fuzzy Logic and Applications [electronic resource] : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings / edited by Francesco Masulli, Gabriella Pasi, Ronald Yager.

by Masulli, Francesco [editor.] | Pasi, Gabriella [editor.] | Yager, Ronald [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8256Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
AI*IA 2013: Advances in Artificial Intelligence [electronic resource] : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings / edited by Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio.

by Baldoni, Matteo [editor.] | Baroglio, Cristina [editor.] | Boella, Guido [editor.] | Micalizio, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8249Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Programming Languages and Systems [electronic resource] : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings / edited by Chung-chieh Shan.

by Shan, Chung-chieh [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8301Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish.

by Gonthier, Georges [editor.] | Norrish, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8307Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Principles and Practice of Semantic Web Reasoning [electronic resource] : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003. Proceedings / edited by François Bry, Nicola Henze, Jan Małuszyński.

by Bry, François [editor.] | Henze, Nicola [editor.] | Małuszyński, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2901Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
AI 2003: Advances in Artificial Intelligence [electronic resource] : 16th Australian Conference on AI, Perth, Australia, December 3-5, 2003. Proceedings / edited by Tamás (Tom) Domonkos Gedeon, Lance Chun Che Fung.

by Gedeon, Tamás (Tom) Domonkos [editor.] | Fung, Lance Chun Che [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2903Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science [electronic resource] 23rd Conference, Mumbai, India, December 15-17, 2003. Proceedings / edited by Paritosh K. Pandya, Jaikumar Radhakrishnan.

by Pandya, Paritosh K | Radhakrishnan, Jaikumar.

Series: Material type: Text Text Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Logic Programming [electronic resource] : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings / edited by Catuscia Palamidessi.

by Palamidessi, Catuscia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2916Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Theory and Applications of Satisfiability Testing [electronic resource] : 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / edited by Enrico Giunchiglia, Armando Tacchella.

by Giunchiglia, Enrico [editor.] | Tacchella, Armando [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2919Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 Proceedings / edited by Vladimir Lifschitz, Ilkka Niemelä.

by Lifschitz, Vladimir [editor.] | Niemelä, Ilkka [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2923Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Theory and Applications of Relational Structures as Knowledge Instruments [electronic resource] : COST Action 274, TARSKI. Revised Papers / edited by Harrie Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens.

by Swart, Harrie [editor.] | Orłowska, Ewa [editor.] | Schmidt, Gunther [editor.] | Roubens, Marc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2929Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Automated Deduction in Geometry [electronic resource] : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002. Revised Papers / edited by Franz Winkler.

by Winkler, Franz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2930Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Membrane Computing [electronic resource] : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003. Revised Papers / edited by Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa.

by Martín-Vide, Carlos [editor.] | Mauri, Giancarlo [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2933Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Computational Linguistics and Intelligent Text Processing [electronic resource] : 5th International Conference, CICLing 2004 Seoul, Korea, February 15-21, 2004 Proceedings / edited by Alexander Gelbukh.

by Gelbukh, Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2945Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Model Generation for Natural Language Interpretation and Analysis [electronic resource] / by Karsten Konrad.

by Konrad, Karsten [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2953Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha