Your search returned 2796 results.

Not what you expected? Check for suggestions
E-BOOKS
CASL User Manual [electronic resource] : Introduction to Using the Common Algebraic Specification Language / edited by Michel Bidoit, Peter D. Mosses.

by Bidoit, Michel [editor.] | Mosses, Peter D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2900Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
SOFSEM 2000: Theory and Practice of Informatics [electronic resource] : 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings / edited by Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann.

by Hlaváč, Václav [editor.] | Jeffery, Keith G [editor.] | Wiedermann, Jiří [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1963Source: 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
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
High Performance Computing — HiPC 2000 [electronic resource] : 7th International Conference Bangalore, India, December 17–20, 2000 Proceedings / edited by Mateo Valero, Viktor K. Prasanna, Sriram Vajapeyam.

by Valero, Mateo [editor.] | Prasanna, Viktor K [editor.] | Vajapeyam, Sriram [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1970Source: 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
Learning Software Organizations [electronic resource] : Methodology and Applications. 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99 Kaiserslautern, Germany, June 16–19, 1999 Proceedings / edited by Günther Ruhe, Frank Bomarius.

by Ruhe, Günther [editor.] | Bomarius, Frank [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1756Source: 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
Cooperative Design, Visualization, and Engineering [electronic resource] : Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings / edited by Yuhua Luo.

by Luo, Yuhua [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4101Source: 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
Mobile Data Management [electronic resource] : Second International Conference, MDM 2001 Hong Kong, China, January 8–10, 2001 Proceedings / edited by Kian-Lee Tan, Michael J. Franklin, John Chi-Shing Lui.

by Tan, Kian-Lee [editor.] | Franklin, Michael J [editor.] | Lui, John Chi-Shing [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1987Source: 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
Cryptographic Hardware and Embedded Systems — CHES 2000 [electronic resource] : Second International Workshop Worcester, MA, USA, August 17–18, 2000 Proceedings / edited by Çetin K. Koç, Christof Paar.

by Koç, Çetin K [editor.] | Paar, Christof [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1965Source: 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
Abstract State Machines - Theory and Applications [electronic resource] : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele.

by Gurevich, Yuri [editor.] | Kutter, Philipp W [editor.] | Odersky, Martin [editor.] | Thiele, Lothar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1912Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Euro-Par 2000 Parallel Processing [electronic resource] : 6th International Euro-Par Conference Munich, Germany, August 29 – September 1, 2000 Proceedings / edited by Arndt Bode, Thomas Ludwig, Wolfgang Karl, Roland Wismüller.

by Bode, Arndt [editor.] | Ludwig, Thomas [editor.] | Karl, Wolfgang [editor.] | Wismüller, Roland [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1900Source: 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
Engineering Societies in the Agents World [electronic resource] : First International Workshop, ESAW 2000 Berlin, Germany, August 21, 2000 Revised Papers / edited by Andrea Omicini, Robert Tolksdorf, Franco Zambonelli.

by Omicini, Andrea [editor.] | Tolksdorf, Robert [editor.] | Zambonelli, Franco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1972Source: 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
Software Architectures for Product Families [electronic resource] : International Workshop IW-SAPF-3 Las Palmas de Gran Canaria, Spain, March 15-17, 2000. Proceedings / edited by Frank Linden.

by Linden, Frank [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1951Source: 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
Quality of Service in Multiservice IP Networks [electronic resource] : International Workshop, QoS-IP 2001 Rome, Italy, January 24–26, 2001 Proceedings / edited by Marco Ajmone Marsan, Andrea Bianco.

by Marsan, Marco Ajmone [editor.] | Bianco, Andrea [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1989Source: 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
Object-Oriented Technology [electronic resource] : ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Jacques Malenfant, Sabine Moisan, Ana Moreira.

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Malenfant, Jacques [editor.] | Moisan, Sabine [editor.] | Moreira, Ana [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1964Source: 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
Multi-Agent-Based Simulation [electronic resource] : Second International Workshop, MABS 2000 Boston, MA, USA, July Revised and Additional Papers / edited by Scott Moss, Paul Davidsson.

by Moss, Scott [editor.] | Davidsson, Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1979Source: 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
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
Informatics [electronic resource] : 10 Years Back, 10 Years Ahead / edited by Reinhard Wilhelm.

by Wilhelm, Reinhard [editor.] | SpringerLink (Online service).

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