Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
Fundamental Approaches to Software Engineering [electronic resource] : 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / edited by Ralf-Detlef Kutsche, Herbert Weber.

by Kutsche, Ralf-Detlef [editor.] | Weber, Herbert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2306Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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 Advances in Visual Information Systems [electronic resource] : 5th International Conference, VISUAL 2002 Hsin Chu, Taiwan, March 11–13, 2002 Proceedings / edited by Shi-Kuo Chang, Zen Chen, Suh-Yin Lee.

by Chang, Shi-Kuo [editor.] | Chen, Zen [editor.] | Lee, Suh-Yin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2314Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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 1988 [electronic resource] : Proceedings of the 13th Symposium Carlsbad, Czechoslovakia, August 29 – September 2, 1988 / edited by Michal P. Chytil, Václav Koubek, Ladislav Janiga.

by Chytil, Michal P [editor.] | Koubek, Václav [editor.] | Janiga, Ladislav [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 324Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
Programming Languages and Systems [electronic resource] : 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / edited by Daniel Métayer.

by Métayer, Daniel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2305Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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 Science and Computation Structures [electronic resource] : 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / edited by Mogens Nielsen, Uffe Engberg.

by Nielsen, Mogens [editor.] | Engberg, Uffe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2303Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Index Structures for Data Warehouses [electronic resource] / by Marcus Jürgens.

by Jürgens, Marcus [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1859Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Compiler Construction [electronic resource] : 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / edited by R. Nigel Horspool.

by Horspool, R. Nigel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2304Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
From Theory to Practice in Multi-Agent Systems [electronic resource] : Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26–29, 2001 Revised Papers / edited by Barbara Dunin-Keplicz, Edward Nawarecki.

by Dunin-Keplicz, Barbara [editor.] | Nawarecki, Edward [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2296Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
ICDT '88 [electronic resource] : 2nd International Conference on Database Theory Bruges, Belgium, August 31 – September 2, 1988 Proceedings / edited by Marc Gyssens, Jan Paredaens, Dirk Gucht.

by Gyssens, Marc [editor.] | Paredaens, Jan [editor.] | Gucht, Dirk [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 326Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
Programming Constraint Services [electronic resource] : High-Level Programming of Standard and New Constraint Services / edited by Christian Schulte.

by Schulte, Christian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2302Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic / edited by Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson.

by Nipkow, Tobias [editor.] | Wenzel, Markus [editor.] | Paulson, Lawrence C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2283Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
VDM '88 VDM — The Way Ahead [electronic resource] : 2nd VDM-Europe Symposium Dublin, Ireland, September 11–16, 1988 Proceedings / edited by Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones.

by Bloomfield, Robin E [editor.] | Marshall, Lynn S [editor.] | Jones, Roger B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 328Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
CSL '87 [electronic resource] : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter.

by Börger, Egon [editor.] | Büning, Hans Kleine [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 329Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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 — EUROCRYPT ’88 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings / edited by D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth, Christoph G. Günther.

by Barstow, D [editor.] | Brauer, W [editor.] | Brinch Hansen, P [editor.] | Gries, D [editor.] | Luckham, D [editor.] | Moler, C [editor.] | Pnueli, A [editor.] | Seegmüller, G [editor.] | Stoer, J [editor.] | Wirth, N [editor.] | Günther, Christoph G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 330Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : Proceedings of a Symposium Warwick, UK, September 22–23, 1988 / edited by M. Joseph.

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

Series: Lecture Notes in Computer Science ; 331Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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 Data Type Specification [electronic resource] : 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers / edited by D. Sannella, A. Tarlecki.

by Sannella, D [editor.] | Tarlecki, A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 332Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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 Geometry and its Applications [electronic resource] : CG'88, International Workshop on Computational Geometry Würzburg, FRG, March 24–25, 1988 Proceedings / edited by Hartmut Noltemeier.

by Noltemeier, Hartmut [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 333Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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 Object-Oriented Database Systems [electronic resource] : 2nd International Workshop on Object-Oriented Database Systems Bad Münster am Stein-Ebernburg, FRG September 27–30, 1988 Proceedings / edited by Klaus R. Dittrich.

by Dittrich, Klaus R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 334Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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 Systems and Applications II [electronic resource] : 9th ECCAI-ACAI / EASSS 2001, AEMAS 2001, HoloMAS 2001 Selected Revised Papers / edited by Vladimír Mařík, Olga Štěpánková, Hana Krautwurmová, Michael Luck.

by Mařík, Vladimír [editor.] | Štěpánková, Olga [editor.] | Krautwurmová, Hana [editor.] | Luck, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2322Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Genetic Programming [electronic resource] : 5th European Conference, EuroGP 2002 Kinsale, Ireland, April 3–5, 2002 Proceedings / edited by James A. Foster, Evelyne Lutton, Julian Miller, Conor Ryan, Andrea Tettamanzi.

by Foster, James A [editor.] | Lutton, Evelyne [editor.] | Miller, Julian [editor.] | Ryan, Conor [editor.] | Tettamanzi, Andrea [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2278Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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