Your search returned 1097 results.

Not what you expected? Check for suggestions
E-BOOKS
CONPAR 86 [electronic resource] : Conference on Algorithms and Hardware for Parallel Processing Aachen, September 17–19, 1986 Proceedings / edited by Wolfgang Händler, Dieter Haupt, Rolf Jeltsch, Wilfried Juling, Otto Lange.

by Händler, Wolfgang [editor.] | Haupt, Dieter [editor.] | Jeltsch, Rolf [editor.] | Juling, Wilfried [editor.] | Lange, Otto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 237Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
Rewriting Techniques and Applications [electronic resource] : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings / edited by Leo Bachmair.

by Bachmair, Leo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1833Source: 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
Formal Approaches to Agent-Based Systems [electronic resource] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002. Revised Papers / edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears.

by Hinchey, Michael G [editor.] | Rash, James L [editor.] | Truszkowski, Walter F [editor.] | Rouff, Christopher [editor.] | Gordon-Spears, Diana [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2699Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Applied Cryptography and Network Security [electronic resource] : First International Conference, ACNS 2003, Kunming, China, October 16-19, 2003. Proceedings / edited by Jianying Zhou, Moti Yung, Yongfei Han.

by Zhou, Jianying [editor.] | Yung, Moti [editor.] | Han, Yongfei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2846Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings / edited by Marta Cialdea Mayer, Fiora Pirri.

by Cialdea Mayer, Marta [editor.] | Pirri, Fiora [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2796Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
A Generative Theory of Shape [electronic resource].

by SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2145Source: 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
Spatial Information Theory A Theoretical Basis for GIS [electronic resource] : International Conference COSIT '95 Semmering, Austria, September 21–23, 1995 Proceedings / edited by Andrew U. Frank, Werner Kuhn.

by Frank, Andrew U [editor.] | Kuhn, Werner [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 988Source: 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
Mathematical Foundations of Computer Science 2002 [electronic resource] : 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings / edited by Krzysztof Diks, Wojciech Rytter.

by Diks, Krzysztof [editor.] | Rytter, Wojciech [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2420Source: 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 '90 [electronic resource] : Third International Conference on Database Theory Paris, France, December 12–14, 1990 Proceedings / edited by Serge Abiteboul, Paris C. Kanellakis.

by Abiteboul, Serge [editor.] | Kanellakis, Paris C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 470Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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
Parallel Computing 1988 [electronic resource] : Shell Conference Amsterdam, The Netherlands, June 1/2, 1988 Proceedings / edited by G. A. Zee, J. G. G. Vorst.

by Zee, G. A [editor.] | Vorst, J. G. G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 384Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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
Automatic Verification Methods for Finite State Systems [electronic resource] : International Workshop, Grenoble, France June 12–14, 1989 Proceedings / edited by Joseph Sifakis.

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

Series: Lecture Notes in Computer Science ; 407Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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
STACS 91 [electronic resource] : 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings / edited by Christian Choffrut, Matthias Jantzen.

by Choffrut, Christian [editor.] | Jantzen, Matthias [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 480Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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 '90 VDM and Z — Formal Methods in Software Development [electronic resource] : Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings / edited by D. Bjørner, C. A. R. Hoare, H. Langmaack.

by Bjørner, D [editor.] | Hoare, C. A. R [editor.] | Langmaack, H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 428Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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 Programming [electronic resource] : First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 Proceedings / edited by A. Voronkov.

by Voronkov, A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 592Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 '89 [electronic resource] : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 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 ; 440Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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 Petri Nets 1987 [electronic resource] / edited by Grzegorz Rozenberg.

by Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 266Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online 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 Programming and Automated Reasoning [electronic resource] : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings / edited by Andrei Voronkov.

by Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 698Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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’99: Theory and Practice of Informatics [electronic resource] : 26th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 27 — December 4, 1999 Proceedings / edited by Jan Pavelka, Gerard Tel, Miroslav Bartošek.

by Pavelka, Jan [editor.] | Tel, Gerard [editor.] | Bartošek, Miroslav [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1725Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Principles and Practice of Constraint Programming – CP’99 [electronic resource] : 5th International Conference, CP’99, Alexandria, VA, USA, October 11-14, 1999. Proceedings / edited by Joxan Jaffar.

by Jaffar, Joxan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1713Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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] : 12th International Symposium, FCT’99 Iaşi, Romania, August 30 - September 3, 1999 Proceedings / edited by Gabriel Ciobanu, Gheorghe Păun.

by Ciobanu, Gabriel [editor.] | Păun, Gheorghe [editor.] | SpringerLink (Online service).

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