Your search returned 1600 results.

Not what you expected? Check for suggestions
E-BOOKS
Fundamentals of Computation Theory [electronic resource] : International Conference FCT '89 Szeged, Hungary, August 21–25, 1989 Proceedings / edited by J. Csirik, J. Demetrovics, F. Gécseg.

by Csirik, J [editor.] | Demetrovics, J [editor.] | Gécseg, F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 380Source: 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 88 [electronic resource] : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings / edited by Robert Cori, Martin Wirsing.

by Cori, Robert [editor.] | Wirsing, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 294Source: 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 Program Development [electronic resource] : IFIP TC2/WG 2.1 State-of-the-Art Report / edited by Bernhard Möller, Helmut Partsch, Steve Schuman.

by Möller, Bernhard [editor.] | Partsch, Helmut [editor.] | Schuman, Steve [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Innovative Internet Computing Systems [electronic resource] : International Workshop IICS 2001 Ilmenau, Germany, June 21–22, 2001 Proceedings / edited by Thomas Böhme, Herwig Unger.

by Böhme, Thomas [editor.] | Unger, Herwig [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2060Source: 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
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 13th Conference Bombay, India, December 15–17, 1993 Proceedings / edited by Rudrapatna K. Shyamasundar.

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

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

Place hold Log in to add tags
E-BOOKS
SDL 2001: Meeting UML [electronic resource] : 10th International SDL Forum Copenhagen, Denmark, June 27–29, 2001 Proceedings / edited by Rick Reed, Jeanne Reed.

by Reed, Rick [editor.] | Reed, Jeanne [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2078Source: 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
Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets [electronic resource] / by Dirk A. Taubner.

by Taubner, Dirk A [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 369Source: 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
Theoretical and Practical Aspects of SPIN Model Checking [electronic resource] : 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings / edited by Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink.

by Dams, Dennis [editor.] | Gerth, Rob [editor.] | Leue, Stefan [editor.] | Massink, Mieke [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1680Source: 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
Logic for Programming and Automated Reasoning [electronic resource] : 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings / edited by Harald Ganzinger, David McAllester, Andrei Voronkov.

by Ganzinger, Harald [editor.] | McAllester, David [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1705Source: 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
Computer Safety, Reliability and Security [electronic resource] : 18th International Conference, SAFECOMP’99 Toulouse, France, September 27–29, 1999 Proceedings / by Alberto Pasquini ; edited by Massimo Felici, Karama Kanoun.

by Pasquini, Alberto [author.] | Felici, Massimo [editor.] | Kanoun, Karama [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1698Source: 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
Theorem Proving in Higher Order Logics [electronic resource] : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings / edited by Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin.

by Bertot, Yves [editor.] | Dowek, Gilles [editor.] | Théry, Laurent [editor.] | Hirschowitz, André [editor.] | Paulin, Christine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1690Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Applied Formal Methods — FM-Trends 98 [electronic resource] : International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings / edited by Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann.

by Hutter, Dieter [editor.] | Stephan, Werner [editor.] | Traverso, Paolo [editor.] | Ullmann, Markus [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1641Source: 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
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / edited by Miki Hermann, Andrei Voronkov.

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

Series: Lecture Notes in Computer Science ; 4246Source: 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
Static Analysis [electronic resource] : 6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings / edited by Agostino Cortesi, Gilberto Filé.

by Cortesi, Agostino [editor.] | Filé, Gilberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1694Source: 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
An Extended Entity-Relationship Model [electronic resource] : Fundamentals and Pragmatics / edited by Martin Gogolla.

by Gogolla, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 767Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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’99 Concurrency Theory [electronic resource] : 10th International Conference Eindhoven, The Netherlands, August 24—27, 1999 Proceedings / edited by Jos C. M. Baeten, Sjouke Mauw.

by Baeten, Jos C. M [editor.] | Mauw, Sjouke [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1664Source: 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 94 [electronic resource] : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings / edited by Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner.

by Enjalbert, Patrice [editor.] | Mayr, Ernst W [editor.] | Wagner, Klaus W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 775Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings / edited by Jeffrey J. Joyce, Carl-Johan H. Seger.

by Joyce, Jeffrey J [editor.] | Seger, Carl-Johan H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 780Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Recent Trends in Data Type Specification [electronic resource] : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers / edited by Hartmut Ehrig, Fernando Orejas.

by Ehrig, Hartmut [editor.] | Orejas, Fernando [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 785Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Trees in Algebra and Programming — CAAP'94 [electronic resource] : 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings / edited by Sophie Tison.

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

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