Your search returned 2796 results.

Not what you expected? Check for suggestions
E-BOOKS
Computer Vision Systems [electronic resource] : First International Conference, ICVS’ 99 Las Palmas, Gran Canaria, Spain, January 13–15, 1999 Proceedings / by Henrik I. Christensen.

by Christensen, Henrik I [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1542Source: 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
Applied Parallel Computing Large Scale Scientific and Industrial Problems [electronic resource] : 4th International Workshop, PARA’98 Umeå, Sweden, June 14–17, 1998 Proceedings / edited by Bo Kågström, Jack Dongarra, Erik Elmroth, Jerzy Waśniewski.

by Kågström, Bo [editor.] | Dongarra, Jack [editor.] | Elmroth, Erik [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1541Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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 Software Quality [electronic resource] : Objective Quality: Second Symposium on Software Quality Techiniques and Acquisition Criteria Florence, Italy, May 29–31, 1995 Proceedings / edited by Paolo Nesi.

by Nesi, Paolo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 926Source: 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
Object-Based Models and Languages for Concurrent Systems [electronic resource] : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution Bologna, Italy, July 5, 1994 Proceedings / edited by Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa.

by Ciancarini, Paolo [editor.] | Nierstrasz, Oscar [editor.] | Yonezawa, Akinori [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 924Source: 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
Advanced Functional Programming [electronic resource] : First International Spring School on Advanced Functional Programming Techniques Båstad, Sweden, May 24–30, 1995 Tutorial Text / edited by Johan Jeuring, Erik Meijer.

by Jeuring, Johan [editor.] | Meijer, Erik [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 925Source: 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
Advanced Information Systems Engineering [electronic resource] : 7th International Conference, CAiSE '95 Jyväskylä, Finland, June 12–16, 1995 Proceedings / edited by Juhani Iivari, Kalle Lyytinen, Matti Rossi.

by Iivari, Juhani [editor.] | Lyytinen, Kalle [editor.] | Rossi, Matti [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 932Source: 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
Graph Drawing [electronic resource] : Symposium on Graph Drawing, GD '95 Passau, Germany, September 20–22, 1995 Proceedings / edited by Franz J. Brandenburg.

by Brandenburg, Franz J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1027Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 Systems Theory — EUROCAST '95 [electronic resource] : A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory Innsbruck, Austria, May 22–25, 1995 Proceedings / edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht.

by Pichler, Franz [editor.] | Díaz, Roberto Moreno [editor.] | Albrecht, Rudolf [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1030Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 in Europe [electronic resource] : Second International Eurospace — Ada-Europe Symposium Frankfurt/Main, Germany, October 2–6, 1995 Proceedings / edited by Marcel Toussaint.

by Toussaint, Marcel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1031Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Technologies for Advanced Heterogeneous Networks II [electronic resource] : Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006. Proceedings / edited by Kenjiro Cho, Philippe Jacquet.

by Cho, Kenjiro [editor.] | Jacquet, Philippe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4311Source: 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
Computing in Object-Oriented Parallel Environments [electronic resource] : Second International Symposium, ISCOPE 98 Santa Fe, NM, USA, December 8–11, 1998 Proceedings / edited by Denis Caromel, Rodney R. Oldehoeft, Marydell Tholburn.

by Caromel, Denis [editor.] | Oldehoeft, Rodney R [editor.] | Tholburn, Marydell [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1505Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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] : 18th Conference, Chennai, India, December 17-19, 1998. Proceedings / edited by Vikraman Arvind, Sundar Ramanujam.

by Arvind, Vikraman [editor.] | Ramanujam, Sundar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1530Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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 Methodology and Software Technology [electronic resource] : 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings / edited by V. S. Alagar, Maurice Nivat.

by Alagar, V. S [editor.] | Nivat, Maurice [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 936Source: 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
Computer Aided Verification [electronic resource] : 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings / edited by Pierre Wolper.

by Wolper, Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 939Source: 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
Efficient Graph Rewriting and Its Implementation [electronic resource] / edited by Heiko Dörr.

by Dörr, Heiko [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 922Source: 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
Requirements Targeting Software and Systems Engineering [electronic resource] : International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997 / edited by Manfred Broy, Bernhard Rumpe.

by Broy, Manfred [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1526Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Lectures on Petri Nets II: Applications [electronic resource] : Advances in Petri Nets / edited by Wolfgang Reisig, Grzegorz Rozenberg.

by Reisig, Wolfgang [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1492Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Lectures on Petri Nets I: Basic Models [electronic resource] : Advances in Petri Nets / edited by Wolfgang Reisig, Grzegorz Rozenberg.

by Reisig, Wolfgang [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1491Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Partial-Order Methods for the Verification of Concurrent Systems [electronic resource] : An Approach to the State-Explosion Problem / edited by Patrice Godefroid.

by Godefroid, Patrice [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1032Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Mathematics of Program Construction [electronic resource] : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings / edited by Bernhard Möller.

by Möller, Bernhard [editor.] | SpringerLink (Online service).

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

Powered by Koha