Your search returned 1266 results.

Not what you expected? Check for suggestions
E-BOOKS
Large Scale Management of Distributed Systems [electronic resource] : 17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2006, Dublin, Ireland, October 23-25, 2006. Proceedings / edited by Radu State, Sven Meer, Declan O’Sullivan, Tom Pfeifer.

by State, Radu [editor.] | Meer, Sven [editor.] | O’Sullivan, Declan [editor.] | Pfeifer, Tom [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4269Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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 '86 [electronic resource] : Proceedings of the 5th Conference Tokyo, Japan, June 23–26, 1986 / edited by Eiiti Wada.

by Wada, Eiiti [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 264Source: 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
Ada - Europe '93 [electronic resource] : 12th Ada-Europe International Conference, “Ada Sans Frontières” Paris, France, June 14–18, 1993 Proceedings / edited by Michel Gauthier.

by Gauthier, Michel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 688Source: 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
Static Analysis [electronic resource] : 8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings / edited by Patrick Cousot.

by Cousot, Patrick [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2126Source: 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
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
PARLE '93 Parallel Architectures and Languages Europe [electronic resource] : 5th International PARLE Conference Munich, Germany, June 14–17, 1993 Proceedings / edited by Arndt Bode, Mike Reeve, Gottfried Wolf.

by Bode, Arndt [editor.] | Reeve, Mike [editor.] | Wolf, Gottfried [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 694Source: 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
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
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
Advanced Environments, Tools, and Applications for Cluster Computing [electronic resource] : NATO Advanced Research Workshop, IWCC 2001 Mangalia, Romania, September 1–6, 2001 Revised Papers / edited by Dan Grigoras, Alex Nicolau, Bernard Toursel, Bertil Folliot.

by Grigoras, Dan [editor.] | Nicolau, Alex [editor.] | Toursel, Bernard [editor.] | Folliot, Bertil [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2326Source: 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
High Performance Computing [electronic resource] : 4th International Symposium, ISHPC 2002 Kansai Science City, Japan, May 15–17, 2002 Proceedings / edited by Hans P. Zima, Kazuki Joe, Mitsuhisa Sato, Yoshiki Seo, Masaaki Shimasaki.

by Zima, Hans P [editor.] | Joe, Kazuki [editor.] | Sato, Mitsuhisa [editor.] | Seo, Yoshiki [editor.] | Shimasaki, Masaaki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2327Source: 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
Functional Programming Languages and Computer Architecture [electronic resource] : Portland, Oregon, USA, September 14–16, 1987 Proceedings / edited by Gilles Kahn.

by Kahn, Gilles [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 274Source: 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
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
System Development and Ada [electronic resource] : CRAI Workshop on Software Factories and Ada Capri, Italy, May 26–30, 1986 Proceedings / edited by A. Nico Habermann, Ugo Montanari.

by Habermann, A. Nico [editor.] | Montanari, Ugo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 275Source: 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
ECOOP’ 87 European Conference on Object-Oriented Programming [electronic resource] : Paris, France, June 15–17, 1987 Proceedings / edited by Jean Bézivin, Jean-Marie Hullot, Pierre Cointe, Henry Lieberman.

by Bézivin, Jean [editor.] | Hullot, Jean-Marie [editor.] | Cointe, Pierre [editor.] | Lieberman, Henry [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 276Source: 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
The Design of an Extendible Graph Editor [electronic resource] / edited by Frances Newbery Paulisch.

by Newbery Paulisch, Frances [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 704Source: 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’ 93 — Object-Oriented Programming [electronic resource] : 7th European Conference Kaiserslautern, Germany, July 26–30, 1993 Proceedings / edited by Oscar M. Nierstrasz.

by Nierstrasz, Oscar M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 707Source: 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
Agent-Oriented Programming [electronic resource] : From Prolog to Guarded Definite Clauses / by Matthew M. Huntbach, Graem A. Ringwood.

by Huntbach, Matthew M [author.] | Ringwood, Graem A [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1630Source: 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
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
Job Scheduling Strategies for Parallel Processing [electronic resource] : IPPS/SPDP’99Workshop, JSSPP’99 San Juan, Puerto Rico, April 16, 1999 Proceedings / edited by Dror G. Feitelson, Larry Rudolph.

by Feitelson, Dror G [editor.] | Rudolph, Larry [editor.] | SpringerLink (Online service).

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

Powered by Koha