Your search returned 742 results.

Not what you expected? Check for suggestions
E-BOOKS
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems [electronic resource] : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003. Revised Papers / edited by Corrado Priami.

by Priami, Corrado [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2874Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Generative and Component-Based Software Engineering [electronic resource] : First International Symposium, GCSE’99 Erfurt, Germany, September 28–30, 1999 Revised Papers / edited by Krzysztof Czarnecki, Ulrich W. Eisenecker.

by Czarnecki, Krzysztof [editor.] | Eisenecker, Ulrich W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1799Source: 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
Integrated Formal Methods [electronic resource] : Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings / edited by Wolfgang Grieskamp, Thomas Santen, Bill Stoddart.

by Grieskamp, Wolfgang [editor.] | Santen, Thomas [editor.] | Stoddart, Bill [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1945Source: 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
Modular Programming Languages [electronic resource] : 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings / edited by David E. Lightfoot, Clemens Szyperski.

by Lightfoot, David E [editor.] | Szyperski, Clemens [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4228Source: 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
Grid Computing — GRID 2000 [electronic resource] : First IEEE/ACM International Workshop Bangalore, India, December 17, 2000 Proceedings / edited by Rajkumar Buyya, Mark Baker.

by Buyya, Rajkumar [editor.] | Baker, Mark [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1971Source: 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
Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000. Proceedings / edited by Wolfgang Weck, Jürg Gutknecht.

by Weck, Wolfgang [editor.] | Gutknecht, Jürg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1897Source: 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
ZB 2000: Formal Specification and Development in Z and B [electronic resource] : First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings.

by SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1878Source: 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
Agent-Oriented Software Engineering [electronic resource] : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers / edited by Paolo Ciancarini, Michael J. Wooldridge.

by Ciancarini, Paolo [editor.] | Wooldridge, Michael J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1957Source: 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
Policies for Distributed Systems and Networks [electronic resource] : International Workshop, POLICY 2001 Bristol, UK, January 29–31, 2001 Proceedings / edited by Morris Sloman, Emil C. Lupu, Jorge Lobo.

by Sloman, Morris [editor.] | Lupu, Emil C [editor.] | Lobo, Jorge [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1995Source: 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
Recent Trends in Algebraic Development Techniques [electronic resource] : 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers / edited by Didier Bert, Christine Choppy, Peter D. Mosses.

by Bert, Didier [editor.] | Choppy, Christine [editor.] | Mosses, Peter D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1827Source: 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
Parallel Computing Technologies [electronic resource] : Third International Conference, PaCT-95 St. Petersburg, Russia, September 12–25, 1995 Proceedings / edited by Victor Malyshkin.

by Malyshkin, Victor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 964Source: 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
EURO-PAR '95 Parallel Processing [electronic resource] : First International EURO-PAR Conference Stockholm, Sweden, August 29–31, 1995 Proceedings / edited by Seif Haridi, Khayri Ali, Peter Magnusson.

by Haridi, Seif [editor.] | Ali, Khayri [editor.] | Magnusson, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 966Source: 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
ZUM '95: The Z Formal Specification Notation [electronic resource] : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings / edited by Jonathan P. Bowen, Michael G. Hinchey.

by Bowen, Jonathan P [editor.] | Hinchey, Michael G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 967Source: 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
Semantics, Applications, and Implementation of Program Generation [electronic resource] : Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings / edited by Walid Taha.

by Taha, Walid [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2196Source: 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
Advanced Functional Programming [electronic resource] : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures / edited by Johan Jeuring, Simon L. Peyton Jones.

by Jeuring, Johan [editor.] | Jones, Simon L. Peyton [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2638Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Inductive Synthesis of Functional Programs [electronic resource] : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning / by Ute Schmid.

by Schmid, Ute [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2654Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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 Processes in Software Engineering [electronic resource] : 4th International Conference, XP 2003 Genova, Italy, May 25–29, 2003 Proceedings / edited by Michele Marchesi, Giancarlo Succi.

by Marchesi, Michele [editor.] | Succi, Giancarlo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2675Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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 2003 [electronic resource] : ACM/IFIP/USENIX International Middleware Conference Rio de Janeiro, Brazil, June 16–20, 2003 Proceedings / edited by Markus Endler, Douglas Schmidt.

by Endler, Markus [editor.] | Schmidt, Douglas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2672Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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] : 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings / edited by Radhia Cousot.

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

Series: Lecture Notes in Computer Science ; 2694Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Objective Coordination in Multi-Agent System Engineering [electronic resource] : Design and Implementation / by Michael Schumacher.

by Schumacher, Michael [author.] | SpringerLink (Online service).

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

Powered by Koha