Your search returned 3010 results.

Not what you expected? Check for suggestions
E-BOOKS
Lectures on Formal Methods and PerformanceAnalysis [electronic resource] : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures / edited by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen.

by Brinksma, Ed [editor.] | Hermanns, Holger [editor.] | Katoen, Joost-Pieter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2090Source: 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
Fundamentals of Computation Theory [electronic resource] : 13th International Symposium, FCT 2001 Riga, Latvia, August 22–24, 2001 Proceedings / edited by Rūsiņš Freivalds.

by Freivalds, Rūsiņš [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2138Source: 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
Machine Learning and Its Applications [electronic resource] : Advanced Lectures / edited by Georgios Paliouras, Vangelis Karkaletsis, Constantine D. Spyropoulos.

by Paliouras, Georgios [editor.] | Karkaletsis, Vangelis [editor.] | Spyropoulos, Constantine D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2049Source: 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
Implementation and Application of Automata [electronic resource] : 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers / edited by Shen Yu, Andrei Păun.

by Yu, Shen [editor.] | Păun, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2088Source: 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
Interactive Systems Design, Specification, and Verification [electronic resource] : 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers / edited by Philippe Palanque, Fabio Paternò.

by Palanque, Philippe [editor.] | Paternò, Fabio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1946Source: 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
CONCUR 2001 — Concurrency Theory [electronic resource] : 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings / edited by Kim G. Larsen, Mogens Nielsen.

by Larsen, Kim G [editor.] | Nielsen, Mogens [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2154Source: 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
Computational Linguistics and Intelligent Text Processing [electronic resource] : Second International Conference, CICLing 2001 Mexico City, Mexico, February 18–24, 2001 Proceedings / edited by Alexander Gelbukh.

by Gelbukh, Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2004Source: 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 [electronic resource] : 11th International Conference, FPL 2001 Belfast, Northern Ireland, UK, August 27-29, 2001 Proceedings / edited by Gordon Brebner, Roger Woods.

by Brebner, Gordon [editor.] | Woods, Roger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2147Source: 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 2001 [electronic resource] : Third International Workshop Paris, France, May 14–16, 2001 Proceedings / edited by Çetin K. Koç, David Naccache, Christof Paar.

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

Series: Lecture Notes in Computer Science ; 2162Source: 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
Functional and Logic Programming [electronic resource] : 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings / edited by Herbert Kuchen, Kazunori Ueda.

by Kuchen, Herbert [editor.] | Ueda, Kazunori [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2024Source: 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
Logic and Computational Complexity [electronic resource] : International Workshop LCC'94 Indianapolis, IN, USA, October 13–16, 1994 Selected Papers / edited by Daniel Leivant.

by Leivant, Daniel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 960Source: 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
Computing and Combinatorics [electronic resource] : First Annual International Conference, COCOON '95 Xi'an, China, August 24–26, 1995 Proceedings / edited by Ding-Zhu Du, Ming Li.

by Du, Ding-Zhu [editor.] | Li, Ming [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 959Source: 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
Algorithmic Learning for Knowledge-Based Systems [electronic resource] : GOSLER Final Report / edited by Klaus P. Jantke, Steffen Lange.

by Jantke, Klaus P [editor.] | Lange, Steffen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 961Source: 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
CONCUR '95: Concurrency Theory [electronic resource] : 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings / edited by Insup Lee, Scott A. Smolka.

by Lee, Insup [editor.] | Smolka, Scott A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 962Source: 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
Theorem Proving in Higher Order Logics [electronic resource] : 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings / edited by Richard J. Boulton, Paul B. Jackson.

by Boulton, Richard J [editor.] | Jackson, Paul B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2152Source: 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 1995 [electronic resource] : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28–September 1, 1995 Proceedings / edited by Jiří Wiedermann, Petr Hájek.

by Wiedermann, Jiří [editor.] | Hájek, Petr [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 969Source: 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
Fundamentals of Computation Theory [electronic resource] : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings / edited by Horst Reichel.

by Reichel, Horst [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 965Source: 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
Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings / edited by E. Thomas Schubert, Philip J. Windley, James Alves-Foss.

by Thomas Schubert, E [editor.] | Windley, Philip J [editor.] | Alves-Foss, James [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 971Source: 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
Field-Programmable Logic and Applications [electronic resource] : 5th International Workshop, FPL '95 Oxford, United Kingdom, August 29–September 1, 1995 Proceedings / edited by Will Moore, Wayne Luk.

by Moore, Will [editor.] | Luk, Wayne [editor.] | SpringerLink (Online service).

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