Your search returned 263 results.

Not what you expected? Check for suggestions
E-BOOKS
Rewriting Techniques and Applications [electronic resource] : 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings / edited by Harald Ganzinger.

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

Series: Lecture Notes in Computer Science ; 1103Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / edited by Pierpaolo Degano, Rocco Nicola, José Meseguer.

by Degano, Pierpaolo [editor.] | Nicola, Rocco [editor.] | Meseguer, José [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5065Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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] : 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings / edited by Hubert Comon.

by Comon, Hubert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1232Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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 Number Theory [electronic resource] : Third International Symposiun, ANTS-III Portland, Oregon, USA, June 21–25, 1998 Proceedings / edited by Joe P. Buhler.

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

Series: Lecture Notes in Computer Science ; 1423Source: 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
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 12th International Symposium, AAECC-12 Toulouse, France, June 23–27, 1997 Proceedings / edited by Teo Mora, Harold Mattson.

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

Series: Lecture Notes in Computer Science ; 1255Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Theory and Applications of Relational Structures as Knowledge Instruments II [electronic resource] : International Workshops of COST Action 274, TARSKI, 2002-2005, Selected 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 ; 4342Source: 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
Arithmetic of Finite Fields [electronic resource] : 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings / edited by Joachim Gathen, José Luis Imaña, Çetin Kaya Koç.

by Gathen, Joachim [editor.] | Imaña, José Luis [editor.] | Koç, Çetin Kaya [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5130Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
LATIN'98: Theoretical Informatics [electronic resource] : Third Latin American Symposium Campinas, Brazil, April 20–24, 1998 Proceedings / edited by Cláudio L. Lucchesi, Arnaldo V. Moura.

by Lucchesi, Cláudio L [editor.] | Moura, Arnaldo V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1380Source: 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] : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / edited by Andrei Voronkov.

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

Series: Lecture Notes in Computer Science ; 5117Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Design and Implementation of Symbolic Computation Systems [electronic resource] : International Symposium, DISCO '96 Karlsruhe, Germany, September 18–20, 1996 Proceedings / edited by Jacques Calmet, Carla Limongelli.

by Calmet, Jacques [editor.] | Limongelli, Carla [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1128Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 and Symbolic Mathematical Computation [electronic resource] : International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings / edited by Jacques Calmet, John A. Campbell, Jochen Pfalzgraf.

by Calmet, Jacques [editor.] | Campbell, John A [editor.] | Pfalzgraf, Jochen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1138Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 Concept Analysis [electronic resource] : 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings / edited by Sergei O. Kuznetsov, Stefan Schmidt.

by Kuznetsov, Sergei O [editor.] | Schmidt, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4390Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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] : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers / edited by José Luiz Fiadeiro, Pierre-Yves Schobbens.

by Fiadeiro, José Luiz [editor.] | Schobbens, Pierre-Yves [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4409Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Arithmetic of Finite Fields [electronic resource] : First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007. Proceedings / edited by Claude Carlet, Berk Sunar.

by Carlet, Claude [editor.] | Sunar, Berk [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4547Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Developments in Language Theory [electronic resource] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings / edited by Tero Harju, Juhani Karhumäki, Arto Lepistö.

by Harju, Tero [editor.] | Karhumäki, Juhani [editor.] | Lepistö, Arto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4588Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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 Biology [electronic resource] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings / edited by Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia.

by Anai, Hirokazu [editor.] | Horimoto, Katsuhisa [editor.] | Kutsia, Temur [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4545Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Term Rewriting and Applications [electronic resource] : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings / edited by Franz Baader.

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

Series: Lecture Notes in Computer Science ; 4533Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Pairing-Based Cryptography – Pairing 2007 [electronic resource] : First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings / edited by Tsuyoshi Takagi, Tatsuaki Okamoto, Eiji Okamoto, Takeshi Okamoto.

by Takagi, Tsuyoshi [editor.] | Okamoto, Tatsuaki [editor.] | Okamoto, Eiji [editor.] | Okamoto, Takeshi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4575Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Mathematics of Surfaces XII [electronic resource] : 12th IMA International Conference, Sheffield, UK, September 4-6, 2007. Proceedings / edited by Ralph Martin, Malcolm Sabin, Joab Winkler.

by Martin, Ralph [editor.] | Sabin, Malcolm [editor.] | Winkler, Joab [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4647Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Algebra and Coalgebra in Computer Science [electronic resource] : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings / edited by Till Mossakowski, Ugo Montanari, Magne Haveraaen.

by Mossakowski, Till [editor.] | Montanari, Ugo [editor.] | Haveraaen, Magne [editor.] | SpringerLink (Online service).

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