Your search returned 1600 results.

Not what you expected? Check for suggestions
E-BOOKS
Functional Programming, Concurrency, Simulation and Automated Reasoning [electronic resource] : International Lecture Series 1991–1992 McMaster University, Hamilton, Ontario, Canada / edited by Peter E. Lauer.

by Lauer, Peter E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 693Source: 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
Computer Aided Verification [electronic resource] : 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings / edited by Costas Courcoubetis.

by Courcoubetis, Costas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 697Source: 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
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction [electronic resource] : International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures / edited by Roland Backhouse, Roy Crole, Jeremy Gibbons.

by Backhouse, Roland [editor.] | Crole, Roy [editor.] | Gibbons, Jeremy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2297Source: 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
KORSO: Methods, Languages, and Tools for the Construction of Correct Software [electronic resource] : Final Report / edited by Manfred Broy, Stefan Jähnichen.

by Broy, Manfred [editor.] | Jähnichen, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1009Source: 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
From Logic Design to Logic Programming [electronic resource] : Theorem Proving Techniques and P-Functions / by Dominique Snyers, André Thayse.

by Snyers, Dominique [author.] | Thayse, André [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 271Source: 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
E-BOOKS
Verification, Model Checking, and Abstract Interpretation [electronic resource] : Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers / edited by Agostino Cortesi.

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

Series: Lecture Notes in Computer Science ; 2294Source: 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
Automata, Languages and Programming [electronic resource] : 20th International Colloquium, ICALP 93 Lund, Sweden, July 5–9, 1993 Proceedings / edited by Andrzej Lingas, Rolf Karlsson, Svante Carlsson.

by Lingas, Andrzej [editor.] | Karlsson, Rolf [editor.] | Carlsson, Svante [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 700Source: 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
A Connotational Theory of Program Structure [electronic resource] / by James S. Royer.

by Royer, James S [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 273Source: 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
E-BOOKS
Object-Oriented Technology [electronic resource] : ECOOP 2001 Workshop Reader: ECOOP 2001 Workshops, Panel, and Posters Budapest, Hungary, June 18–22, 2001 Proceedings / edited by Ákos Frohner.

by Frohner, Ákos [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2323Source: 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
Integrated Formal Methods [electronic resource] : Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings / edited by Michael Butler, Luigia Petre, Kaisa Sere.

by Butler, Michael [editor.] | Petre, Luigia [editor.] | Sere, Kaisa [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2335Source: 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] : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers / edited by E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter.

by Börger, E [editor.] | Jäger, G [editor.] | Kleine Büning, H [editor.] | Martini, S [editor.] | Richter, M. M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 702Source: 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
Fundamentals of Computation Theory [electronic resource] : 9th International Conference, FCT '93 Szeged, Hungary, August 23–27, 1993 Proceedings / edited by Zoltán Ésik.

by Ésik, Zoltán [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 710Source: 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
Mathematical Foundations of Computer Science 1993 [electronic resource] : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings / edited by Andrzej M. Borzyszkowski, Stefan Sokołowski.

by Borzyszkowski, Andrzej M [editor.] | Sokołowski, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 711Source: 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
Progamming Language Implementation and Logic Programming [electronic resource] : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings / edited by Maurice Bruynooghe, Jaan Penjam.

by Bruynooghe, Maurice [editor.] | Penjam, Jaan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 714Source: 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
Functional and Logic Programming [electronic resource] : 4th Fuji International Symposium, FLOPS’99 Tsukuba, Japan, November 11-13, 1999 Proceedings / edited by Aart Middeldorp, Taisuke Sato.

by Middeldorp, Aart [editor.] | Sato, Taisuke [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1722Source: 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
Internet Programming Languages [electronic resource] : ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings / edited by Henri E. Bal, Boumediene Belkhouche, Luca Cardelli.

by Bal, Henri E [editor.] | Belkhouche, Boumediene [editor.] | Cardelli, Luca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1686Source: 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 Models for the Semantics of Parallelism [electronic resource] : Advanced School Rome, Italy, September 24 – October 1, 1986 Proceedings / edited by Marisa Venturini Zilli.

by Zilli, Marisa Venturini [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 280Source: 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
E-BOOKS
CONCUR'93 [electronic resource] : 4th Intrenational Conference on Concurrency Theory Hildesheim, Germany, August 23–26, 1993 Proceedings / edited by Eike Best.

by Best, Eike [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 715Source: 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
ECOOP 2002 — Object-Oriented Programming [electronic resource] : 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings / edited by Boris Magnusson.

by Magnusson, Boris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2374Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
The Semantic Web — ISWC 2002 [electronic resource] : First International Semantic Web Conference Sardinia, Italy, June 9–12, 2002 Proceedings / edited by Ian Horrocks, James Hendler.

by Horrocks, Ian [editor.] | Hendler, James [editor.] | SpringerLink (Online service).

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

Powered by Koha