Your search returned 8978 results.

Not what you expected? Check for suggestions
E-BOOKS
Computer Aided Verification [electronic resource] : 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings / edited by Gérard Berry, Hubert Comon, Alain Finkel.

by Berry, Gérard [editor.] | Comon, Hubert [editor.] | Finkel, Alain [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2102Source: 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
Public Key Cryptography [electronic resource] : 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2001 Cheju Island, Korea, February 13–15, 2001 Proceedings / edited by Kwangjo Kim.

by Kim, Kwangjo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1992Source: 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
OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshop on OpenMP Applications and Tools, WOMPAT 2001 West Lafayette, IN, USA, July 30–31, 2001 Proceedings / edited by Rudolf Eigenmann, Michael J. Voss.

by Eigenmann, Rudolf [editor.] | Voss, Michael J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2104Source: 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
Haptic Human-Computer Interaction [electronic resource] : First International Workshop Glasgow, UK, August 31 — September 1, 2000 Proceedings / edited by Stephen Brewster, Roderick Murray-Smith.

by Brewster, Stephen [editor.] | Murray-Smith, Roderick [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2058Source: 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
Theory and Application of Diagrams [electronic resource] : First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 1–3, 2000 Proceedings / edited by Michael Anderson, Peter Cheng, Volker Haarslev.

by Anderson, Michael [editor.] | Cheng, Peter [editor.] | Haarslev, Volker [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1889Source: 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
Articulated Motion and Deformable Objects [electronic resource] : First International Workshop, AMDO 2000, Palma de Mallorca, Spain, September 7-9, 2000. Proceedings / edited by Hans-Hellmut Nagel, Francisco J. Perales López.

by Nagel, Hans-Hellmut [editor.] | Perales López, Francisco J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1899Source: 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
Queueing Networks with Discrete Time Scale [electronic resource] : Explicit Expressions for the Steady State Behavior of Discrete Time Stochastic Networks / by Hans Daduna.

by Daduna, Hans [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2046Source: 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
Case-Based Reasoning Research and Development [electronic resource] : 4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, July 30 – August 2, 2001 Proceedings / edited by David W. Aha, Ian Watson.

by Aha, David W [editor.] | Watson, Ian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2080Source: 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
Design and Applications of Intelligent Agents [electronic resource] : Third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000 Melbourne, Australia, August 28 – 29, 2000 Proceedings / edited by Chengqi Zhang, Von-Wun Soo.

by Zhang, Chengqi [editor.] | Soo, Von-Wun [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1881Source: 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
Adaptive Hypermedia and Adaptive Web-Based Systems [electronic resource] : International Conference, AH 2000 Trento, Italy, August 28–30, 2000 Proceedings / edited by Peter Brusilovsky, Oliviero Stock, Carlo Strapparava.

by Brusilovsky, Peter [editor.] | Stock, Oliviero [editor.] | Strapparava, Carlo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1892Source: 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
Machine Learning and Data Mining in Pattern Recognition [electronic resource] : Second International Workshop, MLDM 2001 Leipzig, Germany, July 25–27, 2001 Proceedings / edited by Petra Perner.

by Perner, Petra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2123Source: 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
Emergent Neural Computational Architectures Based on Neuroscience [electronic resource] : Towards Neuroscience-Inspired Computing / edited by Stefan Wermter, Jim Austin, David Willshaw.

by Wermter, Stefan [editor.] | Austin, Jim [editor.] | Willshaw, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2036Source: 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
Advances in Cryptology — CRYPTO 2000 [electronic resource] : 20th Annual International Cryptology Conference Santa Barbara, California, USA, August 20–24, 2000 Proceedings / edited by Mihir Bellare.

by Bellare, Mihir [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1880Source: 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
Conditionals in Nonmonotonic Reasoning and Belief Revision [electronic resource] : Considering Conditionals as Agents / edited by Gabriele Kern-Isberner.

by Kern-Isberner, Gabriele [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2087Source: 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
Computer Security – ESORICS 2006 [electronic resource] : 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006. Proceedings / edited by Dieter Gollmann, Jan Meier, Andrei Sabelfeld.

by Gollmann, Dieter [editor.] | Meier, Jan [editor.] | Sabelfeld, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4189Source: 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
Modeling and Using Context [electronic resource] : Third International and Interdisciplinary Conference, CONTEXT 2001 Dundee, UK, July 27–30, 2001 Proceedings / edited by Varol Akman, Paolo Bouquet, Richmond Thomason, Roger Young.

by Akman, Varol [editor.] | Bouquet, Paolo [editor.] | Thomason, Richmond [editor.] | Young, Roger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2116Source: 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
Mathematical Foundations of Computer Science 2000 [electronic resource] : 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 – September 1, 2000 Proceedings / edited by Mogens Nielsen, Branislav Rovan.

by Nielsen, Mogens [editor.] | Rovan, Branislav [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1893Source: 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
Non-Standard Inferences in Description Logics [electronic resource] / edited by Ralf Küsters.

by Küsters, Ralf [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2100Source: 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
Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing [electronic resource] : 10th International Conference, FPL 2000 Villach, Austria, August 27–30, 2000 Proceedings / edited by Reiner W. Hartenstein, Herbert Grünbacher.

by Hartenstein, Reiner W [editor.] | Grünbacher, Herbert [editor.] | SpringerLink (Online service).

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

Powered by Koha