Your search returned 925 results.

Not what you expected? Check for suggestions
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
E-BOOKS
Algebraic Methods II: Theory, Tools and Applications [electronic resource] / edited by J. A. Bergstra, L. M. G. Feijs.

by Bergstra, J. A [editor.] | Feijs, L. M. G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 490Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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] : 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings / edited by Ronald V. Book.

by Book, Ronald V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 488Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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 Application of Graph Transformations [electronic resource] : 6th International Workshop, TAGT’98, Paderborn, Germany, November 16-20, 1998. Selected Papers / edited by Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg.

by Ehrig, Hartmut [editor.] | Engels, Gregor [editor.] | Kreowski, Hans-Jörg [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1764Source: 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
Fundamental Algorithms for Permutation Groups [electronic resource] / edited by G. Butler.

by Butler, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 559Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Attribute Grammars and their Applications [electronic resource] : International Conference WAGA Paris, France, September 19–21, 1990 Proceedings / edited by P. Deransart, M. Jourdan.

by Deransart, P [editor.] | Jourdan, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 461Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Other title: 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
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 13th International Symposium, AAECC-13 Honolulu, Hawaii, USA, November 15–19, 1999 Proceedings / edited by Marc Fossorier, Hideki Imai, Shu Lin, Alain Poli.

by Fossorier, Marc [editor.] | Imai, Hideki [editor.] | Lin, Shu [editor.] | Poli, Alain [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1719Source: 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
LATIN '92 [electronic resource] : 1st Latin American Symposium on Theoretical Informatics São Paulo, Brazil, April 6–10, 1992 Proceedings / edited by Imre Simon.

by Simon, Imre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 583Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 Algebra and Parallelism [electronic resource] : Second International Workshop Ithaca, USA, May 9–11, 1990 Proceedings / edited by Richard E. Zippel.

by Zippel, Richard E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 584Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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] : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings / edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter.

by Börger, Egon [editor.] | Jäger, Gerhard [editor.] | Kleine Büning, Hans [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 626Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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] : 8th International Conference, AAECC-8 Tokyo, Japan, August 20–24, 1990 Proceedings / edited by Shojiro Sakata.

by Sakata, Shojiro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 508Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Instantiation Theory [electronic resource] : On the Foundations of Automated Deduction / by James G. Williams.

by Williams, James G [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lectures Notes in Artificial Intelligence ; 518Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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] : 10th International Symposium,AAECC-10 San Juan de Puerto Rico, Puerto Rico, May 10–14, 1993 Proceedings / edited by Gérard Cohen, Teo Mora, Oscar Moreno.

by Cohen, Gérard [editor.] | Mora, Teo [editor.] | Moreno, Oscar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 673Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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 '93 Gmunden, Austria, September 15–17, 1993 Proceedings / edited by Alfonso Miola.

by Miola, Alfonso [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 722Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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
Systems of Reductions [electronic resource] / by Benjamin Benninghofen, Susanne Kemmerich, Michael M. Richter.

by Benninghofen, Benjamin [author.] | Kemmerich, Susanne [author.] | Richter, Michael M [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 277Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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 '92 Bath, U.K., April 13–15, 1992 Proceedings / edited by John Fitch.

by Fitch, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 721Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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 Methods in Programming and Their Applications [electronic resource] : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings / edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.

by Bjørner, Dines [editor.] | Broy, Manfred [editor.] | Pottosin, Igor V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 735Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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 Computing [electronic resource] : International Conference AISMC-1 Karlsruhe, Germany, August 3–6, 1992 Proceedings / edited by Jacques Calmet, John A. Campbell.

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

Series: Lecture Notes in Computer Science ; 737Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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
Electronic Dictionaries and Automata in Computational Linguistics [electronic resource] : LITP Spring School on Theoretical Computer Science Saint-Pierre d'Oléron, France, May 25–29, 1987 Proceedings / edited by Maurice Gross, Dominique Perrin.

by Gross, Maurice [editor.] | Perrin, Dominique [editor.] | SpringerLink (Online service).

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