Your search returned 1338 results.

Not what you expected? Check for suggestions
E-BOOKS
Conditional and Typed Rewriting Systems [electronic resource] : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings / edited by Nachum Dershowitz, Naomi Lindenstrauss.

by Dershowitz, Nachum [editor.] | Lindenstrauss, Naomi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 968Source: 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
Middleware 2001 [electronic resource] : IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12–16, 2001 Proceedings / edited by Rachid Guerraoui.

by Guerraoui, Rachid [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2218Source: 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
Software Engineering — ESEC '95 [electronic resource] : 5th European Software Engineering Conference Sitges, Spain, September 25–28, 1995 Proceedings / edited by Wilhelm Schäfer, Pere Botella.

by Schäfer, Wilhelm [editor.] | Botella, Pere [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 989Source: 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
Middleware 2000 [electronic resource] : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4–7, 2000 Proceedings / edited by Joseph Sventek, Geoffrey Coulson.

by Sventek, Joseph [editor.] | Coulson, Geoffrey [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1795Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Languages and Compilers for Parallel Computing [electronic resource] : 13th International Workshop, LCPC 2000 Yorktown Heights, NY, USA, August 10–12, 2000 Revised Papers / edited by Samuel P. Midkiff, José E. Moreira, Manish Gupta, Siddhartha Chatterjee, Jeanne Ferrante, Jan Prins, William Pugh, Chau-Wen Tseng.

by Midkiff, Samuel P [editor.] | Moreira, José E [editor.] | Gupta, Manish [editor.] | Chatterjee, Siddhartha [editor.] | Ferrante, Jeanne [editor.] | Prins, Jan [editor.] | Pugh, William [editor.] | Tseng, Chau-Wen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2017Source: 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
Perspectives of System Informatics [electronic resource] : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers / edited by Dines Bjørner, Manfred Broy, Alexandre V. Zamulin.

by Bjørner, Dines [editor.] | Broy, Manfred [editor.] | Zamulin, Alexandre V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2244Source: 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
Principles and Practice of Constraint Programming — CP 2001 [electronic resource] : 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings / edited by Toby Walsh.

by Walsh, Toby [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2239Source: 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
Practical Aspects of Declarative Languages [electronic resource] : 4th International Symposium, PADL 2002 Portland, OR, USA, January 19–20, 2002 Proceedings / edited by Shriram Krishnamurthi, C. R. Ramakrishnan.

by Krishnamurthi, Shriram [editor.] | Ramakrishnan, C. R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2257Source: 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
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
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
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
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
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
Grid Computing — GRID 2001 [electronic resource] : Second International Workshop Denver, CO, USA, November 12, 2001 Proceedings / edited by Craig A. Lee.

by Lee, Craig A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2242Source: 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
Modular Specification and Verification of Object-Oriented Programs [electronic resource] / edited by Peter Müller.

by Müller, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2262Source: 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
Extreme Programming and Agile Methods — XP/Agile Universe 2002 [electronic resource] : Second XP Universe and First Agile Universe Conference Chicago, IL, USA, August 4–7, 2002 Proceedings / edited by Don Wells, Laurie Williams.

by Wells, Don [editor.] | Williams, Laurie [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2418Source: 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
Mathematical Foundations of Computer Science 2002 [electronic resource] : 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings / edited by Krzysztof Diks, Wojciech Rytter.

by Diks, Krzysztof [editor.] | Rytter, Wojciech [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2420Source: 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
CONCUR 2002 — Concurrency Theory [electronic resource] : 13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings / edited by Luboš Brim, Mojmír Křetínský, Antonín Kučera, Petr Jančar.

by Brim, Luboš [editor.] | Křetínský, Mojmír [editor.] | Kučera, Antonín [editor.] | Jančar, Petr [editor.] | SpringerLink (Online service).

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