Your search returned 2796 results.

Not what you expected? Check for suggestions
E-BOOKS
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 19th Conference Chennai, India, December 13-15, 1999 Proceedings / edited by C. Pandu Rangan, V. Raman, R. Ramanujam.

by Rangan, C. Pandu [editor.] | Raman, V [editor.] | Ramanujam, R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1738Source: 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
Approaches to Intelligence Agents [electronic resource] : Second Pacific Rim InternationalWorkshop on Multi-Agents, PRIMA’99 Kyoto, Japan, December 2–3, 1999 Proceedings / edited by Hideyuki Nakashima, Chengqi Zhang.

by Nakashima, Hideyuki [editor.] | Zhang, Chengqi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1733Source: 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
Computing in Object-Oriented Parallel Environments [electronic resource] : Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999. Proceedings / edited by Satoshi Matsuoka, Marydell Tholburn.

by Matsuoka, Satoshi [editor.] | Tholburn, Marydell [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1732Source: 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
Models and Tools for Managing Development Processes [electronic resource] / by Bernhard Westfechtel.

by Westfechtel, Bernhard [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1646Source: 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
ESEC '89 [electronic resource] : 2nd European Software Engineering Conference University of Warwick, Coventry, UK September 11–15, 1989 Proceedings / edited by C. Ghezzi, J. A. McDermid.

by Ghezzi, C [editor.] | McDermid, J. A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 387Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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 Logic Programming [electronic resource] : Second International Conference Nancy, France, October 1–3, 1990 Proceedings / edited by Hélène Kirchner, Wolfgang Wechler.

by Kirchner, Hélène [editor.] | Wechler, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 463Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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
Category Theory and Computer Science [electronic resource] : Manchester, UK, September 5–8, 1989 Proceedings / edited by David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné.

by Pitt, David H [editor.] | Rydeheard, David E [editor.] | Dybjer, Peter [editor.] | Pitts, Andrew M [editor.] | Poigné, Axel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 389Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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 Methods: Theory, Tools and Applications [electronic resource] / edited by Martin Wirsing, Jan A. Bergstra.

by Wirsing, Martin [editor.] | Bergstra, Jan A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 394Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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
Reasearch Directions in High-Level Parallel Programming Languages [electronic resource] : Mont Saint-Michel, France, June 17–19, 1991 Proceedings / edited by Jean Pierre Banâtre, Daniel Métayer.

by Banâtre, Jean Pierre [editor.] | Métayer, Daniel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 574Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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] : 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings / edited by Kim G. Larsen, Arne Skou.

by Larsen, Kim G [editor.] | Skou, Arne [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 575Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 Systematic Catalogue of Reusable Abstract Data Types [electronic resource] / by Jürgen Uhl, Hans Albrecht Schmid.

by Uhl, Jürgen [author.] | Schmid, Hans Albrecht [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 460Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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
Categorical Methods in Computer Science With Aspects from Topology [electronic resource] / edited by H. Ehrig, H. Herrlich, H. -J. Kreowski, G. Preuß.

by Ehrig, H [editor.] | Herrlich, H [editor.] | Kreowski, H. -J [editor.] | Preuß, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 393Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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
ESOP '92 [electronic resource] : 4th European Symposium on Programming Rennes, France, February 26–28, 1992 Proceedings / edited by Bernd Krieg-Brückner.

by Krieg-Brückner, Bernd [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 582Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 Systems and Artificial Intelligence: Integration Aspects [electronic resource] : First Workshop Ulm, FRG, March 19–21, 1990 Proceedings / edited by Dimitris Karagiannis.

by Karagiannis, Dimitris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 474Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Temporal Logic in Specification [electronic resource] : Altrincham, UK, April 8–10, 1987 Proceedings / edited by B. Banieqbal, H. Barringer, A. Pnueli.

by Banieqbal, B [editor.] | Barringer, H [editor.] | Pnueli, A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 398Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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
PREMO: A Framework for Multimedia Middleware [electronic resource] : Specification, Rationale, and Java Binding / by David J. Duke, Ivan Herman, M. Scott Marshall.

by Duke, David J [author.] | Herman, Ivan [author.] | Marshall, M. Scott [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1591Source: 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
Central European Functional Programming School [electronic resource] : First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures / edited by Zoltán Horváth.

by Horváth, Zoltán [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4164Source: 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
«UML»’99 — The Unified Modeling Language [electronic resource] : Beyond the Standard Second International Conference Fort Collins, CO, USA, October 28–30, 1999 Proceedings / edited by Robert France, Bernhard Rumpe.

by France, Robert [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1723Source: 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
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Ninth Conference, Bangalore, India December 19–21, 1989 Proceedings / edited by C. E. Veni Madhavan.

by Veni Madhavan, C. E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 405Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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
AI '88 [electronic resource] : 2nd Australian Joint Artificial Intelligence Conference Adelaide, Australia, November 15–18, 1988 Proceedings / edited by Christopher J. Barter, Michael J. Brooks.

by Barter, Christopher J [editor.] | Brooks, Michael J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 406Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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