Your search returned 101 results.

Not what you expected? Check for suggestions
E-BOOKS
Fundamentals of Computation Theory [electronic resource] : 12th International Symposium, FCT’99 Iaşi, Romania, August 30 - September 3, 1999 Proceedings / edited by Gabriel Ciobanu, Gheorghe Păun.

by Ciobanu, Gabriel [editor.] | Păun, Gheorghe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1684Source: 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 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
TAPSOFT '97: Theory and Practice of Software Development [electronic resource] : 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings / edited by Michel Bidoit, Max Dauchet.

by Bidoit, Michel [editor.] | Dauchet, Max [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1214Source: 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
Logical Foundations of Computer Science [electronic resource] : 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings / edited by Sergei Adian, Anil Nerode.

by Adian, Sergei [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1234Source: 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
Developments in Language Theory [electronic resource] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings / edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu.

by Gao, Yuan [editor.] | Lu, Hanlin [editor.] | Seki, Shinnosuke [editor.] | Yu, Sheng [editor.] | SpringerLink (Online service).

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

E-BOOKS
String Processing and Information Retrieval [electronic resource] : 24th International Symposium, SPIRE 2017, Palermo, Italy, September 26–29, 2017, Proceedings / edited by Gabriele Fici, Marinella Sciortino, Rossano Venturini.

by Fici, Gabriele [editor.] | Sciortino, Marinella [editor.] | Venturini, Rossano [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10508 | Lecture Notes in Computer Science ; 10508Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Computer Human Interaction [electronic resource] : 6th Asia Pacific Conference, APCHI 2004, Rotorua, New Zealand, June 29-July 2, 2004. Proceedings / edited by Masood Masoodian, Steve Jones, Bill Rogers.

by Masoodian, Masood [editor.] | Jones, Steve [editor.] | Rogers, Bill [editor.] | SpringerLink (Online service).

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

E-BOOKS
Text, Speech and Dialogue [electronic resource] : Third International Workshop, TSD 2000 Brno, Czech Republic, September 13–16, 2000 Proceedings / edited by Petr Sojka, Ivan Kopeček, Karel Pala.

by Sojka, Petr [editor.] | Kopeček, Ivan [editor.] | Pala, Karel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1902Source: 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
Genetic Programming [electronic resource] : 6th European Conference, EuroGP 2003 Essex, UK, April 14–16, 2003 Proceedings / edited by Conor Ryan, Terence Soule, Maarten Keijzer, Edward Tsang, Riccardo Poli, Ernesto Costa.

by Ryan, Conor [editor.] | Soule, Terence [editor.] | Keijzer, Maarten [editor.] | Tsang, Edward [editor.] | Poli, Riccardo [editor.] | Costa, Ernesto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2610Source: 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
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
Field-Programmable Logic and Applications [electronic resource] : 11th International Conference, FPL 2001 Belfast, Northern Ireland, UK, August 27-29, 2001 Proceedings / edited by Gordon Brebner, Roger Woods.

by Brebner, Gordon [editor.] | Woods, Roger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2147Source: 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
Programming Languages: Implementations, Logics and Programs [electronic resource] : 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings / edited by Manuel Hermenegildo, S. Doaitse Swierstra.

by Hermenegildo, Manuel [editor.] | Swierstra, S. Doaitse [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 982Source: 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
Automatic Verification Methods for Finite State Systems [electronic resource] : International Workshop, Grenoble, France June 12–14, 1989 Proceedings / edited by Joseph Sifakis.

by Sifakis, Joseph [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 407Source: 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
TAPSOFT '95: Theory and Practice of Software Development [electronic resource] : 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings / edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach.

by Mosses, Peter D [editor.] | Nielsen, Mogens [editor.] | Schwartzbach, Michael I [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 915Source: 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
Concurrency and Parallelism, Programming, Networking, and Security [electronic resource] : Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings / edited by Joxan Jaffar, Roland H. C. Yap.

by Jaffar, Joxan [editor.] | Yap, Roland H. C [editor.] | SpringerLink (Online service).

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

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
Logic, Language, Information and Computation [electronic resource] : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / edited by Wilfrid Hodges, Ruy Queiroz.

by Hodges, Wilfrid [editor.] | Queiroz, Ruy [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computer Science -- Theory and Applications [electronic resource] : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings / edited by Lev D. Beklemishev, Daniil V. Musatov.

by Beklemishev, Lev D [editor.] | Musatov, Daniil V [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9139 | Lecture Notes in Computer Science ; 9139Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Progress in Pattern Recognition, Speech and Image Analysis [electronic resource] : 8th Iberoamerican Congress on Pattern Recognition, CIARP 2003, Havana, Cuba, November 26-29, 2003 Proceedings / edited by Alberto Sanfeliu, José Ruiz-Shulcloper.

by Sanfeliu, Alberto [editor.] | Ruiz-Shulcloper, José [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2905Source: 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
Database and Expert Systems Applications [electronic resource] : 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005. Proceedings / edited by Kim Viborg Andersen, John Debenham, Roland Wagner.

by Andersen, Kim Viborg [editor.] | Debenham, John [editor.] | Wagner, Roland [editor.] | SpringerLink (Online service).

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