Your search returned 257 results.

Not what you expected? Check for suggestions
E-BOOKS
Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern, May 20–23, 1975 [electronic resource] / edited by H. Brakhage.

by Brakhage, H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 33Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975Online 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 1984 [electronic resource] : Proceedings, 11th Symposium Praha, Czechoslovakia September 3–7, 1984 / edited by M. P. Chytil, V. Koubek.

by Chytil, M. P [editor.] | Koubek, V [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Automata, Languages and Programming [electronic resource] : 15th International Colloquium Tampere, Finland, July 11–15, 1988 Proceedings / edited by Timo Lepistö, Arto Salomaa.

by Lepistö, Timo [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 317Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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 and Software Engineering [electronic resource] : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings / edited by Jin Song Dong, Jim Woodcock.

by Dong, Jin Song [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Automata, Languages and Programming [electronic resource] : 10th Colloquium Barcelona, Spain, July 18–22, 1983 / edited by Josep Diaz.

by Diaz, Josep [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 154Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Online 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
FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 20th Conference New Delhi, India, December 13–15, 2000 Proceedings / edited by Sanjiv Kapoor, Sanjiva Prasad.

by Kapoor, Sanjiv [editor.] | Prasad, Sanjiva [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1974Source: 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
Data Warehousing and Knowledge Discovery [electronic resource] : Third International Conference, DaWaK 2001 Munich, Germany, September 5–7, 2001 Proceedings / edited by Yahiko Kambayashi, Werner Winiwarter, Masatoshi Arikawa.

by Kambayashi, Yahiko [editor.] | Winiwarter, Werner [editor.] | Arikawa, Masatoshi [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Databases and Information Systems [electronic resource] : 5th East European Conference, ADBIS 2001 Vilnius, Lithuania, September 25–28, 2001 Proceedings / edited by Albertas Caplinskas, Johann Eder.

by Caplinskas, Albertas [editor.] | Eder, Johann [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
CONCUR 2003 - Concurrency Theory [electronic resource] : 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings / edited by Roberto Amadio, Denis Lugiez.

by Amadio, Roberto [editor.] | Lugiez, Denis [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
KI 2001: Advances in Artificial Intelligence [electronic resource] : Joint German/Austrian Conference on AI Vienna, Austria, September 19–21, 2001 Proceedings / edited by Franz Baader, Gerhard Brewka, Thomas Eiter.

by Baader, Franz [editor.] | Brewka, Gerhard [editor.] | Eiter, Thomas [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
SOFSEM 2001: Theory and Practice of Informatics [electronic resource] : 28th Conference on Current Trends in Theory and Practice of Informatics Piešt’any, Slovak Republic, November 24 – December 1, 2001 Proceedings / edited by Leszek Pacholski, Peter Ružička.

by Pacholski, Leszek [editor.] | Ružička, Peter [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Applied Semantics [electronic resource] : International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures / edited by Gilles Barthe, Peter Dybjer, Luís Pinto, João Saraiva.

by Barthe, Gilles [editor.] | Dybjer, Peter [editor.] | Pinto, Luís [editor.] | Saraiva, João [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Formal and Natural Computing [electronic resource] : Essays Dedicated to Grzegorz Rozenberg / edited by Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto Salomaa.

by Brauer, Wilfried [editor.] | Ehrig, Hartmut [editor.] | Karhumäki, Juhani [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computer Science Logic [electronic resource] : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings / edited by Julian Bradfield.

by Bradfield, Julian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2471Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Other title: 22-25, 2002, 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
Computer Performance Evaluation: Modelling Techniques and Tools [electronic resource] : 12th International Conference, TOOLS 2002 London, UK, April 14–17, 2002 Proceedings / edited by Tony Field, Peter G. Harrison, Jeremy Bradley, Uli Harder.

by Field, Tony [editor.] | Harrison, Peter G [editor.] | Bradley, Jeremy [editor.] | Harder, Uli [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Petri Nets 1990 [electronic resource] / edited by Grzegorz Rozenberg.

by Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 483Source: 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 2000: Theoretical Informatics [electronic resource] : 4th Latin American Symposium, Punta del Esk, Uruguay, April 10-14, 2000 Proceedings / edited by Gaston H. Gonnet, Alfredo Viola.

by Gonnet, Gaston H [editor.] | Viola, Alfredo [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Mathematical Foundations of Programming Semantics [electronic resource] : 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt.

by Brookes, Stephen [editor.] | Main, Michael [editor.] | Melton, Austin [editor.] | Mislove, Michael [editor.] | Schmidt, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 598Source: 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
STACS 87 [electronic resource] : 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings / edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing.

by Brandenburg, Franz J [editor.] | Vidal-Naquet, Guy [editor.] | Wirsing, Martin [editor.] | SpringerLink (Online service).

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

Powered by Koha