Your search returned 1605 results.

Not what you expected? Check for suggestions
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
E-BOOKS
Temporal Logic [electronic resource] : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings / edited by Dov M. Gabbay, Hans Jürgen Ohlbach.

by Gabbay, Dov M [editor.] | Ohlbach, Hans Jürgen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 827Source: 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
Isabelle [electronic resource] : A Generic Theorem Prover / edited by Lawrence C. Paulson.

by Paulson, Lawrence C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 828Source: 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 Science Logic [electronic resource] : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers / edited by Egon Börger, Yuri Gurevich, Karl Meinke.

by Börger, Egon [editor.] | Gurevich, Yuri [editor.] | Meinke, Karl [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 832Source: 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 ’94: Concurrency Theory [electronic resource] : 5th International Conference, Uppsala, Sweden, August 22–25, 1994, Proceedings / edited by Bengt Jonsson, Joachim Parrow.

by Jonsson, Bengt [editor.] | Parrow, Joachim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 836Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Logics in Artificial Intelligence [electronic resource] : European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings / edited by Craig MacNish, David Pearce, Luís Moniz Pereira.

by MacNish, Craig [editor.] | Pearce, David [editor.] | Pereira, Luís Moniz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 838Source: 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
Automated Deduction — CADE-16 [electronic resource] : 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings / by Harald Ganzinger.

by Ganzinger, Harald [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1632Source: 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
Mathematical Foundations of Computer Science 1994 [electronic resource] : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings / edited by Igor Prívara, Branislav Rovan, Peter Ruzička.

by Prívara, Igor [editor.] | Rovan, Branislav [editor.] | Ruzička, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 841Source: 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
Turing Machines with Sublogarithmic Space [electronic resource] / edited by Andrzej Szepietowski.

by Szepietowski, Andrzej [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 843Source: 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] : 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings / edited by Nicolas Halbwachs, Doron Peled.

by Halbwachs, Nicolas [editor.] | Peled, Doron [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1633Source: 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
Rewriting Techniques and Applications [electronic resource] : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings / edited by Paliath Narendran, Michael Rusinowitch.

by Narendran, Paliath [editor.] | Rusinowitch, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1631Source: 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
Programming Language Implementation and Logic Programming [electronic resource] : 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings / edited by Manuel Hermenegildo, Jaan Penjam.

by Hermenegildo, Manuel [editor.] | Penjam, Jaan [editor.] | SpringerLink (Online service).

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