Your search returned 10753 results.

Not what you expected? Check for suggestions
E-BOOKS
Process Algebra and Probabilistic Methods: Performance Modeling and Verification [electronic resource] : Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings / edited by Holger Hermanns, Roberto Segala.

by Hermanns, Holger [editor.] | Segala, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2399Source: 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
Logic Based Program Synthesis and Transformation [electronic resource] : 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers / edited by Alberto Pettorossi.

by Pettorossi, Alberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2372Source: 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
Foundations of Security Analysis and Design [electronic resource] : Tutorial Lectures / edited by Riccardo Focardi, Roberto Gorrieri.

by Focardi, Riccardo [editor.] | Gorrieri, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2171Source: 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
Rewriting Techniques and Applications [electronic resource] : 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings / edited by Sophie Tison.

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

Series: Lecture Notes in Computer Science ; 2378Source: 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
Local Search for Planning and Scheduling [electronic resource] : ECAI 2000 Workshop Berlin, Germany, August 21, 2000 Revised Papers / edited by Alexander Nareyek.

by Nareyek, Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2148Source: 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
FME 2002:Formal Methods—Getting IT Right [electronic resource] : International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings / edited by Lars-Henrik Eriksson, Peter Alexander Lindsay.

by Eriksson, Lars-Henrik [editor.] | Lindsay, Peter Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2391Source: 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
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings / edited by Uwe Egly, Chritian G. Fermüller.

by Egly, Uwe [editor.] | Fermüller, Chritian G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2381Source: 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
Logic Programming [electronic resource] : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings / edited by Peter J. Stuckey.

by Stuckey, Peter J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2401Source: 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
Automated Deduction—CADE-18 [electronic resource] : 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings / edited by Andrei Voronkov.

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

Series: Lecture Notes in Computer Science ; 2392Source: 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
Abstraction, Reformulation, and Approximation [electronic resource] : 5th International Symposium, SARA 2002 Kananaskis, Alberta, Canada August 2–4, 2002 Proceedings / edited by Sven Koenig, Robert C. Holte.

by Koenig, Sven [editor.] | Holte, Robert C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2371Source: 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
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 14th International Symposium, AAECC-14 Melbourne, Australia, November 26–30, 2001 Proceedings / edited by Serdar Boztaş, Igor E. Shparlinski.

by Boztaş, Serdar [editor.] | Shparlinski, Igor E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2227Source: 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
Computational Logic: Logic Programming and Beyond [electronic resource] : Essays in Honour of Robert A. Kowalski Part I / edited by Antonis C. Kakas, Fariba Sadri.

by Kakas, Antonis C [editor.] | Sadri, Fariba [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2407Source: 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 Soft Computing — AFSS 2002 [electronic resource] : 2002 AFSS International Conference on Fuzzy Systems Calcutta, India, February 3–6, 2002 Proceedings / edited by Nikhil R. Pal, Michio Sugeno.

by Pal, Nikhil R [editor.] | Sugeno, Michio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2275Source: 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
Computational Logic: Logic Programming and Beyond [electronic resource] : Essays in Honour of Robert A. Kowalski Part II / edited by Antonis C. Kakas, Fariba Sadri.

by Kakas, Antonis C [editor.] | Sadri, Fariba [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2408Source: 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
Foundations and Applications of Multi-Agent Systems [electronic resource] : UKMAS Workshops 1996–2000 Selected Papers / edited by Mark d’Inverno, Michael Luck, Michael Fisher, Chris Preist.

by d’Inverno, Mark [editor.] | Luck, Michael [editor.] | Fisher, Michael [editor.] | Preist, Chris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2403Source: 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
Logic Programming [electronic resource] : 17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings / edited by Philippe Codognet.

by Codognet, Philippe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2237Source: 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
Digital Cities II: Computational and Sociological Approaches [electronic resource] : Second Kyoto Workshop on Digital Cities Kyoto, Japan, October 18–20, 2001 Revised Papers / edited by Makoto Tanabe, Peter Besselaar, Toru Ishida.

by Tanabe, Makoto [editor.] | Besselaar, Peter [editor.] | Ishida, Toru [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2362Source: 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
Information Retrieval Techniques for Speech Applications [electronic resource] / edited by Anni R. Coden, Eric W. Brown, Savitha Srinivasan.

by Coden, Anni R [editor.] | Brown, Eric W [editor.] | Srinivasan, Savitha [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2273Source: 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
Advanced Internet Services and Applications [electronic resource] : First International Workshop, AISA 2002 Seoul, Korea, August 1–2, 2002 Proceedings / edited by Whie Chang.

by Chang, Whie [editor.] | SpringerLink (Online service).

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