Your search returned 8979 results.

Not what you expected? Check for suggestions
E-BOOKS
Theorem Proving in Higher Order Logics [electronic resource] : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings / edited by Mark Aagaard, John Harrison.

by Aagaard, Mark [editor.] | Harrison, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1869Source: 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
Category Theory and Computer Science [electronic resource] : 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings / edited by David Pitt, David E. Rydeheard, Peter Johnstone.

by Pitt, David [editor.] | Rydeheard, David E [editor.] | Johnstone, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 953Source: 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
Conceptual Structures: Logical, Linguistic, and Computational Issues [electronic resource] : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000. Proceedings / edited by Bernhard Ganter, Guy W. Mineau.

by Ganter, Bernhard [editor.] | Mineau, Guy W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1867Source: 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
Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques [electronic resource] : 4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2001 Berkeley, CA, USA, August 18–20, 2001 Proceedings / edited by Michel Goemans, Klaus Jansen, José D. P. Rolim, Luca Trevisan.

by Goemans, Michel [editor.] | Jansen, Klaus [editor.] | Rolim, José D. P [editor.] | Trevisan, Luca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2129Source: 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
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
Artificial Neural Networks — ICANN 2001 [electronic resource] : International Conference Vienna, Austria, August 21–25, 2001 Proceedings / edited by Georg Dorffner, Horst Bischof, Kurt Hornik.

by Dorffner, Georg [editor.] | Bischof, Horst [editor.] | Hornik, Kurt [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2130Source: 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
Cryptography and Lattices [electronic resource] : International Conference, CaLC 2001 Providence, RI, USA, March 29–30, 2001 Revised Papers / edited by Joseph H. Silverman.

by Silverman, Joseph H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2146Source: 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
Algorithms — ESA 2001 [electronic resource] : 9th Annual European Symposium Århus, Denmark, August 28–31, 2001 Proceedings / edited by Friedhelm Meyer Heide.

by Heide, Friedhelm Meyer [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2161Source: 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
Objects and Databases [electronic resource] : International Symposium Sophia Antipolis,France,June 13,2000 Revised Papers / edited by Klaus Dittrich, Giovanna Guerrini, Isabella Merlo, Marta Oliva, M.Elena Rodriguez.

by Dittrich, Klaus [editor.] | Guerrini, Giovanna [editor.] | Merlo, Isabella [editor.] | Oliva, Marta [editor.] | Rodriguez, M.Elena [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1944Source: 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
Computing and Combinatorics [electronic resource] : 7th Annual International Conference, COCOON 2001 Guilin, China, August 20–23, 2001 Proceedings / edited by Jie Wang.

by Wang, Jie [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2108Source: 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
Euro-Par 2001 Parallel Processing [electronic resource] : 7th International Euro-Par Conference Manchester, UK, August 28–31, 2001 Proceedings / edited by Rizos Sakellariou, John Gurd, Len Freeman, John Keane.

by Sakellariou, Rizos [editor.] | Gurd, John [editor.] | Freeman, Len [editor.] | Keane, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2150Source: 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 Mediated Electronic Commerce [electronic resource] : The European AgentLink Perspective / edited by Frank Dignum, Carles Sierra.

by Dignum, Frank [editor.] | Sierra, Carles [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1991Source: 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 2001 [electronic resource] : 26th International Symposium, MFCS 2001 Mariánské Lázne, Czech Republic, August 27–31, 2001 Proceedings / edited by Jiří Sgall, Aleš Pultr, Petr Kolman.

by Sgall, Jiří [editor.] | Pultr, Aleš [editor.] | Kolman, Petr [editor.] | SpringerLink (Online service).

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

Powered by Koha