Your search returned 1600 results.

Not what you expected? Check for suggestions
E-BOOKS
Programming Languages and Systems — ESOP '94 [electronic resource] : 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings / edited by Donald Sannella.

by Sannella, Donald [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 788Source: 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
Theoretical Aspects of Computer Software [electronic resource] : International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings / edited by Masami Hagiya, John C. Mitchell.

by Hagiya, Masami [editor.] | Mitchell, John C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 789Source: 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
Graph-Theoretic Concepts in Computer Science [electronic resource] : 19th International Workshop, WG '93 Utrecht, The Netherlands, June 16–18, 1993 Proceedings / edited by Jan Leeuwen.

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

Series: Lecture Notes in Computer Science ; 790Source: 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
Logic, Language and Computation [electronic resource] : Festschrift in Honor of Satoru Takasu / edited by Neil D. Jones, Masami Hagiya, Masahiko Sato.

by Jones, Neil D [editor.] | Hagiya, Masami [editor.] | Sato, Masahiko [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 792Source: 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
Multiagent Systems [electronic resource] : A Theoretical Framework for Intentions, Know-How, and Communications / by Munindar P. Singh.

by Singh, Munindar P [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 799Source: 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
Mathematical Foundations of Programming Semantics [electronic resource] : 9th International Conference New Orleans, LA, USA, April 7–10, 1993 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 ; 802Source: 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
Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : Second International Workshop, EMMCVPR’99 York, UK, July 26–29, 1999 Proceedings / edited by Edwin R. Hancock, Marcello Pelillo.

by Hancock, Edwin R [editor.] | Pelillo, Marcello [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1654Source: 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
Types for Proofs and Programs [electronic resource] : International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers / edited by Henk Barendregt, Tobias Nipkow.

by Barendregt, Henk [editor.] | Nipkow, Tobias [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 806Source: 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
Logical Foundations of Computer Science [electronic resource] : Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings / edited by Anil Nerode, Yu. V. Matiyasevich.

by Nerode, Anil [editor.] | Matiyasevich, Yu. V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 813Source: 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
Meta-Level Architectures and Reflection [electronic resource] : Second International Conference, Reflection’99 Saint-Malo, France, July 19–21, 1999 Proceedings / edited by Pierre Cointe.

by Cointe, Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1616Source: 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
Results and Trends in Theoretical Computer Science [electronic resource] : Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings / edited by Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg.

by Karhumäki, Juliani [editor.] | Maurer, Hermann [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 812Source: 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
Application and Theory of Petri Nets 1994 [electronic resource] : 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings / edited by Robert Valette.

by Valette, Robert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 815Source: 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
Computer Aided Verification [electronic resource] : 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings / edited by David L. Dill.

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

Series: Lecture Notes in Computer Science ; 818Source: 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 Algebraic Development Techniques [electronic resource] : 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers / edited by José Luiz Fiadeiro.

by Fiadeiro, José Luiz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1589Source: 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
Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems [electronic resource] / edited by Madhu Sudan.

by Sudan, Madhu [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Graph-Theoretic Concepts in Computer Science [electronic resource] : 21st International Workshop, WG '95 Aachen, Germany, June 20–22, 1995 Proceedings / edited by Manfred Nagl.

by Nagl, Manfred [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers / edited by E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen.

by Brinksma, E [editor.] | Cleaveland, W. R [editor.] | Larsen, K. G [editor.] | Margaria, T [editor.] | Steffen, B [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Implementation of Functional Languages [electronic resource] : 10th International Workshop, IFL’98 London, UK, September 9–11, 1998 Selected Papers / edited by Kevin Hammond, Tony Davie, Chris Clack.

by Hammond, Kevin [editor.] | Davie, Tony [editor.] | Clack, Chris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1595Source: 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
Automata, Languages and Programming [electronic resource] : 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings / edited by Serge Abiteboul, Eli Shamir.

by Abiteboul, Serge [editor.] | Shamir, Eli [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 820Source: 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 Algebra, Logic, and Term Rewriting [electronic resource] : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers / edited by Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow.

by Heering, Jan [editor.] | Meinke, Karl [editor.] | Möller, Bernhard [editor.] | Nipkow, Tobias [editor.] | SpringerLink (Online service).

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