Your search returned 1097 results.

Not what you expected? Check for suggestions
E-BOOKS
Conceptual Structures: Inspiration and Application [electronic resource] : 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006. Proceedings / edited by Henrik Schärfe, Pascal Hitzler, Peter Øhrstrøm.

by Schärfe, Henrik [editor.] | Hitzler, Pascal [editor.] | Øhrstrøm, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4068Source: 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 [electronic resource] : 3rd Symposium at Jadwisin near Warsaw, June 17–22, 1974 / edited by A. Blikle.

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

Series: Lecture Notes in Computer Science ; 28Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975Online 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 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 [electronic resource] / edited by Jíří Bečvář.

by Bečvář, Jíří [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 32Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975Online 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 Theory and Formal Languages 2nd GI Conference Kaiserslautern, May 20–23, 1975 [electronic resource] / edited by H. Brakhage.

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

Series: Lecture Notes in Computer Science ; 33Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975Online 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 1976 [electronic resource] : Proceedings, 5th Symposium, Gdańsk, September 6–10, 1976 / edited by Antoni Mazurkiewicz.

by Mazurkiewicz, Antoni [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 45Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1976Online 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
Logics of Programs [electronic resource] : Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983 / edited by Edmund Clarke, Dexter Kozen.

by Clarke, Edmund [editor.] | Kozen, Dexter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 164Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online 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] : 11th Colloquium Antwerp, Belgium, July 16–20, 1984 / edited by Jan Paredaens.

by Paredaens, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 172Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online 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 Theory and Applications [electronic resource] : 2nd International Colloquium Cachan-Paris, France, November 24–26, 1986 Proceedings / edited by G. Cohen, P. Godlewski.

by Cohen, G [editor.] | Godlewski, P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 311Source: 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
Fundamentals of Computation Theory [electronic resource] : FCT '85 Cottbus, GDR, September 9–13, 1985 / edited by Lothar Budach.

by Budach, Lothar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 199Source: 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
Algorithms - ESA 2003 [electronic resource] : 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003. Proceedings / edited by Giuseppe Battista, Uri Zwick.

by Battista, Giuseppe [editor.] | Zwick, Uri [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2832Source: 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
AI*IA 2003: Advances in Artificial Intelligence [electronic resource] : 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 2003. Proceedings / edited by Amedeo Cappelli, Franco Turini.

by Cappelli, Amedeo [editor.] | Turini, Franco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2829Source: 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
Information Security [electronic resource] : 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003. Proceedings / edited by Colin Boyd, Wenbo Mao.

by Boyd, Colin [editor.] | Mao, Wenbo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2851Source: 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
Automata, Languages and Programming [electronic resource] : 10th Colloquium Barcelona, Spain, July 18–22, 1983 / edited by Josep Diaz.

by Diaz, Josep [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 154Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Online 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
FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 20th Conference New Delhi, India, December 13–15, 2000 Proceedings / edited by Sanjiv Kapoor, Sanjiva Prasad.

by Kapoor, Sanjiv [editor.] | Prasad, Sanjiva [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1974Source: 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
Database Theory — ICDT 2001 [electronic resource] : 8th International Conference London, UK, January 4–6, 2001 Proceedings / edited by Jan Bussche, Victor Vianu.

by Bussche, Jan [editor.] | Vianu, Victor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1973Source: 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
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
Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings / edited by Eugene Asarin, Patricia Bouyer.

by Asarin, Eugene [editor.] | Bouyer, Patricia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4202Source: 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
Programming Languages: Implementations, Logics and Programs [electronic resource] : 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings / edited by Manuel Hermenegildo, S. Doaitse Swierstra.

by Hermenegildo, Manuel [editor.] | Swierstra, S. Doaitse [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 982Source: 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 2003 - Concurrency Theory [electronic resource] : 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings / edited by Roberto Amadio, Denis Lugiez.

by Amadio, Roberto [editor.] | Lugiez, Denis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2761Source: 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / edited by Tiziana Margaria, Wang Yi.

by Margaria, Tiziana [editor.] | Yi, Wang [editor.] | SpringerLink (Online service).

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