Your search returned 1094 results.

Not what you expected? Check for suggestions
E-BOOKS
Foundations of Software Science and Computational Structures [electronic resource] : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / edited by Vladimiro Sassone.

by Sassone, Vladimiro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3441Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online 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
New Computational Paradigms [electronic resource] : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings / edited by S. Barry Cooper, Benedikt Löwe, Leen Torenvliet.

by Cooper, S. Barry [editor.] | Löwe, Benedikt [editor.] | Torenvliet, Leen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3526Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Coding and Cryptography [electronic resource] : International Workshop, WCC 2005, Bergen, Norway, March 14-18, 2005. Revised Selected Papers / edited by Øyvind Ytrehus.

by Ytrehus, Øyvind [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3969Source: 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
Algebraic Methodology and Software Technology [electronic resource] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings / edited by Michael Johnson, Varmo Vene.

by Johnson, Michael [editor.] | Vene, Varmo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4019Source: 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
Formal Methods for Components and Objects [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever.

by Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | Roever, Willem-Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4111Source: 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
Mathematical Foundations of Computer Science 1977 [electronic resource] : Proceedings, 6th Symposium, Tatranská Lomnica September 5–9, 1977 / edited by Jozef Gruska.

by Gruska, Jozef [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 53Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Online 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 2006 – Concurrency Theory [electronic resource] : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings / edited by Christel Baier, Holger Hermanns.

by Baier, Christel [editor.] | Hermanns, Holger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4137Source: 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
Computer-Aided Verification [electronic resource] : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings / edited by Edmund M. Clarke, Robert P. Kurshan.

by Clarke, Edmund M [editor.] | Kurshan, Robert P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 531Source: 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
Advances in Database Technology—EDBT '88 [electronic resource] : International Conference on Extending Database Technology Venice, Italy, March 14–18, 1988 Proceedings / edited by J. W. Schmidt, S. Ceri, M. Missikoff.

by Schmidt, J. W [editor.] | Ceri, S [editor.] | Missikoff, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 303Source: 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
Conditional Term Rewriting Systems [electronic resource] : 1st International Workshop Orsay, France, July 8–10, 1987 Proceedings / edited by S. Kaplan, J. -P. Jouannaud.

by Kaplan, S [editor.] | Jouannaud, J. -P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 308Source: 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 Methods and Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.

by Ehrig, Hartmut [editor.] | Floyd, Christiane [editor.] | Nivat, Maurice [editor.] | Thatcher, James [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 186Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online 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
Automata, Languages and Programming [electronic resource] : 12th Colloquium Nafplion, Greece, July 15–19, 1985 / edited by Wilfried Brauer.

by Brauer, Wilfried [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 194Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online 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 Methods for Components and Objects [electronic resource] : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever.

by Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | Roever, Willem-Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2852Source: 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
SOFSEM 2000: Theory and Practice of Informatics [electronic resource] : 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings / edited by Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann.

by Hlaváč, Václav [editor.] | Jeffery, Keith G [editor.] | Wiedermann, Jiří [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1963Source: 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
Advances in Cryptology — CRYPTO 2001 [electronic resource] : 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19–23, 2001 Proceedings / edited by Joe Kilian.

by Kilian, Joe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2139Source: 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
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
STACS 2001 [electronic resource] : 18th Annual Symposium on Theoretical Aspects of Computer Science Dresden, Germany, February 15–17, 2001 Proceedings / edited by Afonso Ferreira, Horst Reichel.

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

Series: Lecture Notes in Computer Science ; 2010Source: 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
Algorithmic Number Theory [electronic resource] : 4th International Symposium, ANTS-IV Leiden, The Netherlands, July 2-7, 2000. Proceedings / edited by Wieb Bosma.

by Bosma, Wieb [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1838Source: 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
Algebraic Frames for the Perception-Action Cycle [electronic resource] : Second International Workshop, AFPAC 2000, Kiel, Germany, September 10-11, 2000. Proceedings / edited by Gerald Sommer, Yehoshua Y. Zeevi.

by Sommer, Gerald [editor.] | Zeevi, Yehoshua Y [editor.] | SpringerLink (Online service).

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