Your search returned 788 results.

Not what you expected? Check for suggestions
E-BOOKS
STACS 2000 [electronic resource] : 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17–19, 2000 Proceedings / edited by Horst Reichel, Sophie Tison.

by Reichel, Horst [editor.] | Tison, Sophie [editor.] | SpringerLink (Online service).

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

E-BOOKS
Logic Programming and Automated Reasoning [electronic resource] : International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings / edited by Andrei Voronkov.

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

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 624Source: 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): .

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): .

E-BOOKS
STACS 93 [electronic resource] : 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25–27, 1993 Proceedings / edited by P. Enjalbert, A. Finkel, K. W. Wagner.

by Enjalbert, P [editor.] | Finkel, A [editor.] | Wagner, K. W [editor.] | SpringerLink (Online service).

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

E-BOOKS
Machine Learning: ECML-93 [electronic resource] : European Conference on Machine Learning Vienna, Austria, April 5–7, 1993 Proceedings / edited by Pavel B. Brazdil.

by Brazdil, Pavel B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 667Source: 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): .

E-BOOKS
Automata, Languages and Programming [electronic resource] : 20th International Colloquium, ICALP 93 Lund, Sweden, July 5–9, 1993 Proceedings / edited by Andrzej Lingas, Rolf Karlsson, Svante Carlsson.

by Lingas, Andrzej [editor.] | Karlsson, Rolf [editor.] | Carlsson, Svante [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computer Science Logic [electronic resource] : 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings / edited by Jörg Flum, Mario Rodriguez-Artalejo.

by Flum, Jörg [editor.] | Rodriguez-Artalejo, Mario [editor.] | SpringerLink (Online service).

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

E-BOOKS
STACS 99 [electronic resource] : 16th Annual Symposium on Theoretical Aspects of Computer Science Trier, Germany, March 4–6, 1999 Proceedings / edited by Christoph Meinel, Sophie Tison.

by Meinel, Christoph [editor.] | Tison, Sophie [editor.] | SpringerLink (Online service).

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

E-BOOKS
Artificial Intelligence in Medicine [electronic resource] : 5th Conference on Artificial Intelligence in Medicine Europe, AIME '95 Pavia, Italy, June 25–28, 1995 Proceedings / edited by Pedro Barahona, Mario Stefanelli, Jeremy Wyatt.

by Barahona, Pedro [editor.] | Stefanelli, Mario [editor.] | Wyatt, Jeremy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 934Source: 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
Algorithms and Computation [electronic resource] : 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006. Proceedings / edited by Tetsuo Asano.

by Asano, Tetsuo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4288Source: 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
Biological and Medical Data Analysis [electronic resource] : 7th International Symposium, ISBMDA 2006, Thessaloniki, Greece, December 7-8, 2006. Proceedings / edited by Nicos Maglaveras, Ioanna Chouvarda, Vassilis Koutkias, Rüdiger Brause.

by Maglaveras, Nicos [editor.] | Chouvarda, Ioanna [editor.] | Koutkias, Vassilis [editor.] | Brause, Rüdiger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4345Source: 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
STACS 97 [electronic resource] : 14th Annual Symposium on Theoretical Aspects of Computer Science Lübeck, Germany February 27–March 1, 1997 Proceedings / edited by Rüdiger Reischuk, Michel Morvan.

by Reischuk, Rüdiger [editor.] | Morvan, Michel [editor.] | SpringerLink (Online service).

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

E-BOOKS
Principles of Data Mining and Knowledge Discovery [electronic resource] : First European Symposium, PKDD '97 Trondheim, Norway, June 24–27, 1997 Proceedings / edited by Jan Komorowski, Jan Zytkow.

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

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1263Source: 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): .

E-BOOKS
Mathematical Foundations of Computer Science 1997 [electronic resource] : 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25–29, 1997 Proceedings / edited by Igor Prívara, Peter Ružička.

by Prívara, Igor [editor.] | Ružička, Peter [editor.] | SpringerLink (Online service).

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

E-BOOKS
Foundations of Computer Science [electronic resource] : Potential — Theory — Cognition / edited by Christian Freksa, Matthias Jantzen, Rüdiger Valk.

by Freksa, Christian [editor.] | Jantzen, Matthias [editor.] | Valk, Rüdiger [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computation and Logic in the Real World [electronic resource] : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi.

by Cooper, S. Barry [editor.] | Löwe, Benedikt [editor.] | Sorbi, Andrea [editor.] | SpringerLink (Online service).

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

E-BOOKS
Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings / edited by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger.

by Kauers, Manuel [editor.] | Kerber, Manfred [editor.] | Miner, Robert [editor.] | Windsteiger, Wolfgang [editor.] | SpringerLink (Online service).

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

E-BOOKS
Algorithms and Data Structures [electronic resource] : 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007. Proceedings / edited by Frank Dehne, Jörg-Rüdiger Sack, Norbert Zeh.

by Dehne, Frank [editor.] | Sack, Jörg-Rüdiger [editor.] | Zeh, Norbert [editor.] | SpringerLink (Online service).

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

E-BOOKS
Pattern Recognition in Bioinformatics [electronic resource] : Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007. Proceedings / edited by Jagath C. Rajapakse, Bertil Schmidt, Gwenn Volkert.

by Rajapakse, Jagath C [editor.] | Schmidt, Bertil [editor.] | Volkert, Gwenn [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha