Your search returned 353 results.

Not what you expected? Check for suggestions
E-BOOKS
Automata, Languages and Programming [electronic resource] : 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings / edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca.

by Ausiello, Giorgio [editor.] | Dezani-Ciancaglini, Mariangiola [editor.] | Rocca, Simonetta Ronchi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 372Source: 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
Transactions on Computational Systems Biology VI [electronic resource] / edited by Corrado Priami, Gordon Plotkin.

by Priami, Corrado [editor.] | Plotkin, Gordon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4220Source: 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
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Tenth Conference, Bangalore, India December 17–19, 1990 Proceedings / edited by Kesav V. Nori, C. E. Veni Madhavan.

by Nori, Kesav V [editor.] | Veni Madhavan, C. E [editor.] | SpringerLink (Online service).

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

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
Algorithmic Learning Theory [electronic resource] : 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006. Proceedings / edited by José L. Balcázar, Philip M. Long, Frank Stephan.

by Balcázar, José L [editor.] | Long, Philip M [editor.] | Stephan, Frank [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4264Source: 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
Algorithmic Learning Theory [electronic resource] : 10th International Conference, ALT’99 Tokyo, Japan, December 6–8, 1999 Proceedings / edited by Osamu Watanabe, Takashi Yokomori.

by Watanabe, Osamu [editor.] | Yokomori, Takashi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1720Source: 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
STACS 92 [electronic resource] : 9th Annual Symposium on Theoretical Aspects of Computer Science Cachan, France, February 13–15, 1992 Proceedings / edited by Alain Finkel, Matthias Jantzen.

by Finkel, Alain [editor.] | Jantzen, Matthias [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 577Source: 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
CAAP '92 [electronic resource] : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26–28, 1992 Proceedings / edited by J. -C. Raoult.

by Raoult, J. -C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 581Source: 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
Temporal Logic in Specification [electronic resource] : Altrincham, UK, April 8–10, 1987 Proceedings / edited by B. Banieqbal, H. Barringer, A. Pnueli.

by Banieqbal, B [editor.] | Barringer, H [editor.] | Pnueli, A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 398Source: 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
STACS 90 [electronic resource] : 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings / edited by Christian Choffrut, Thomas Lengauer.

by Choffrut, Christian [editor.] | Lengauer, Thomas [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
STACS 91 [electronic resource] : 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings / edited by Christian Choffrut, Matthias Jantzen.

by Choffrut, Christian [editor.] | Jantzen, Matthias [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 480Source: 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
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
Automata, Languages and Programming [electronic resource] : 17th International Colloquium Warwick University, England, July 16–20, 1990 Proceedings / edited by Michael S. Paterson.

by Paterson, Michael S [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Mathematical Foundations of Computer Science 1990 [electronic resource] : Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings / edited by Branislav Rovan.

by Rovan, Branislav [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Theory of Computing and Systems [electronic resource] : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings / edited by D. Dolev, Z. Galil, M. Rodeh.

by Dolev, D [editor.] | Galil, Z [editor.] | Rodeh, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 601Source: 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
Logical Foundations of Computer Science — Tver '92 [electronic resource] : Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings / edited by Anil Nerode, Mikhail Taitslin.

by Nerode, Anil [editor.] | Taitslin, Mikhail [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 620Source: 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
Automata, Languages and Programming [electronic resource] : 19th International Colloquium Wien, Austria, July 13–17, 1992 Proceedings / edited by W. Kuich.

by Kuich, W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 623Source: 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
Mathematical Foundations of Computer Science 1992 [electronic resource] : 17th International Symposium Prague, Czechoslovakia, August 24–28, 1992 Proceedings / edited by Ivan M. Havel, Václav Koubek.

by Havel, Ivan M [editor.] | Koubek, Václav [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 629Source: 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
Automata, Languages and Programming [electronic resource] : 18th International Colloquium Madrid, Spain, July 8–12, 1991 Proceedings / edited by Javier Leach Albert, Burkhard Monien, Mario Rodríguez Artalejo.

by Albert, Javier Leach [editor.] | Monien, Burkhard [editor.] | Artalejo, Mario Rodríguez [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 510Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha