Your search returned 173 results.

Not what you expected? Check for suggestions
E-BOOKS
Algorithmic Learning Theory [electronic resource] : 13th International Conference, ALT 2002 Lübeck, Germany, November 24–26, 2002 Proceedings / edited by Nicolò Cesa-Bianchi, Masayuki Numao, Rüdiger Reischuk.

by Cesa-Bianchi, Nicolò [editor.] | Numao, Masayuki [editor.] | Reischuk, Rüdiger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2533Source: 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
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings / edited by Manindra Agrawal, Anil Seth.

by Agrawal, Manindra [editor.] | Seth, Anil [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2556Source: 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
Implementation and Application of Automata [electronic resource] : 6th International Conference, CIAA 2001 Pretoria, South Africa, July 23–25, 2001 Revised Papers / edited by Bruce W. Watson, Derick Wood.

by Watson, Bruce W [editor.] | Wood, Derick [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2494Source: 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
Computational Methods in Systems Biology [electronic resource] : First International Workshop, CMSB 2003 Rovereto, Italy, February 24–26, 2003 Proceedings / edited by Corrado Priami.

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

Series: Lecture Notes in Computer Science ; 2602Source: 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
Implementation and Application of Automata [electronic resource] : 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings / edited by Oscar H. Ibarra, Hsu-Chun Yen.

by Ibarra, Oscar H [editor.] | Yen, Hsu-Chun [editor.] | SpringerLink (Online service).

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

E-BOOKS
Fundamentals of Computation Theory [electronic resource] : 8th International Conference, FCT '91 Gosen, Germany, September 9–13, 1991 Proceedings / edited by L. Budach.

by Budach, L [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computer Science Logic [electronic resource] : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld.

by Börger, Egon [editor.] | Kleine Büning, Hans [editor.] | Richter, Michael M [editor.] | Schönfeld, Wolfgang [editor.] | SpringerLink (Online service).

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

E-BOOKS
Automata, Languages and Programming [electronic resource] : 11th Colloquium Antwerp, Belgium, July 16–20, 1984 / edited by Jan Paredaens.

by Paredaens, Jan [editor.] | SpringerLink (Online service).

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

E-BOOKS
STACS 85 [electronic resource] : 2nd Annual Symposium on Theoretical Aspects of Computer Science Saarbrücken, January 3–5, 1985 / edited by K. Mehlhorn.

by Mehlhorn, K [editor.] | SpringerLink (Online service).

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

E-BOOKS
Automata, Languages and Programming [electronic resource] : 12th Colloquium Nafplion, Greece, July 15–19, 1985 / edited by Wilfried Brauer.

by Brauer, Wilfried [editor.] | SpringerLink (Online service).

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

E-BOOKS
Algorithmic Learning Theory [electronic resource] : 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003. Proceedings / edited by Ricard Gavaldá, Klaus P. Jantke, Eiji Takimoto.

by Gavaldá, Ricard [editor.] | Jantke, Klaus P [editor.] | Takimoto, Eiji [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2842Source: 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
STACS 86 [electronic resource] : 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986 / edited by B. Monien, G. Vidal-Naquet.

by Monien, B [editor.] | Vidal-Naquet, G [editor.] | SpringerLink (Online service).

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

E-BOOKS
CAAP '86 [electronic resource] : 11th Colloquium on Trees in Algebra and Programming Nice, France, March 24–26, 1986 Proceedings / edited by Paul Franchi-Zannettacci.

by Franchi-Zannettacci, Paul [editor.] | SpringerLink (Online service).

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

E-BOOKS
Algorithmic Learning Theory [electronic resource] : 11th International Conference, ALT 2000 Sydney, Australia, December 11–13, 2000 Proceedings / edited by Hiroki Arimura, Sanjay Jain, Arun Sharma.

by Arimura, Hiroki [editor.] | Jain, Sanjay [editor.] | Sharma, Arun [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computational Learning Theory [electronic resource] : 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001 Amsterdam, The Netherlands, July 16–19, 2001 Proceedings / edited by David Helmbold, Bob Williamson.

by Helmbold, David [editor.] | Williamson, Bob [editor.] | SpringerLink (Online service).

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

E-BOOKS
Conceptual Structures: Logical, Linguistic, and Computational Issues [electronic resource] : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000. Proceedings / edited by Bernhard Ganter, Guy W. Mineau.

by Ganter, Bernhard [editor.] | Mineau, Guy W [editor.] | SpringerLink (Online service).

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

E-BOOKS
Fundamentals of Computation Theory [electronic resource] : 13th International Symposium, FCT 2001 Riga, Latvia, August 22–24, 2001 Proceedings / edited by Rūsiņš Freivalds.

by Freivalds, Rūsiņš [editor.] | SpringerLink (Online service).

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

E-BOOKS
Implementation and Application of Automata [electronic resource] : 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers / edited by Shen Yu, Andrei Păun.

by Yu, Shen [editor.] | Păun, Andrei [editor.] | SpringerLink (Online service).

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

E-BOOKS
Logic and Computational Complexity [electronic resource] : International Workshop LCC'94 Indianapolis, IN, USA, October 13–16, 1994 Selected Papers / edited by Daniel Leivant.

by Leivant, Daniel [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computing and Combinatorics [electronic resource] : First Annual International Conference, COCOON '95 Xi'an, China, August 24–26, 1995 Proceedings / edited by Ding-Zhu Du, Ming Li.

by Du, Ding-Zhu [editor.] | Li, Ming [editor.] | SpringerLink (Online service).

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