Your search returned 697 results.

Not what you expected? Check for suggestions
BOOKS
Logic and information flow

by Eijck, Jan van. Ed | Eijck, Jan van. Ed | Visser, Albert. Ed.

Series: Foundations of computingMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge The MIT Press 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EIJ.

Place hold Log in to add tags
E-BOOKS
Numerical Analysis and Parallel Processing [electronic resource] : Lectures given at The Lancaster Numerical Analysis Summer School 1987 / edited by Peter R. Turner.

by Turner, Peter R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1397Source: 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
Séminaire de Probabilités XLI [electronic resource] / edited by Catherine Donati-Martin, Michel Émery, Alain Rouault, Christophe Stricker.

by Donati-Martin, Catherine [editor.] | Émery, Michel [editor.] | Rouault, Alain [editor.] | Stricker, Christophe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics, Séminaire de Probabilités ; 1934Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Potential Analysis of Stable Processes and its Extensions [electronic resource] / by Krzysztof Bogdan, Tomasz Byczkowski, Tadeusz Kulczycki, Michal Ryznar, Renming Song, Zoran Vondracek ; edited by Piotr Graczyk, Andrzej Stos.

by Bogdan, Krzysztof [author.] | Byczkowski, Tomasz [author.] | Kulczycki, Tadeusz [author.] | Ryznar, Michal [author.] | Song, Renming [author.] | Vondracek, Zoran [author.] | Graczyk, Piotr [editor.] | Stos, Andrzej [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1980Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online 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 Quantum Information [electronic resource] : Quantum Computation, Communication, Decoherence and All That / edited by Dieter Heiss.

by Heiss, Dieter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 587Source: 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
Graph Drawing [electronic resource] : 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers / edited by Stephen Wismath, Alexander Wolff.

by Wismath, Stephen [editor.] | Wolff, Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8242Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online 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 2004 [electronic resource] : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings / edited by Volker Diekert, Michel Habib.

by Diekert, Volker [editor.] | Habib, Michel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2996Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
The Semantic Web: Research and Applications [electronic resource] : First European Semantic Web Symposium, ESWS 2004 Heraklion, Crete, Greece, May 10-12, 2004. Proceedings / edited by Christoph J. Bussler, John Davies, Dieter Fensel, Rudi Studer.

by Bussler, Christoph J [editor.] | Davies, John [editor.] | Fensel, Dieter [editor.] | Studer, Rudi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3053Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 versus Approximation [electronic resource] : Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday / edited by Wolfgang Lenski.

by Lenski, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3075Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Applications and Theory of Petri Nets 2004 [electronic resource] : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings / edited by Jordi Cortadella, Wolfgang Reisig.

by Cortadella, Jordi [editor.] | Reisig, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3099Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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] : 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004. Proceedings / edited by Kyung-Yong Chwa, J. Ian J. Munro.

by Chwa, Kyung-Yong [editor.] | Munro, J. Ian J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3106Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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] : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings / edited by Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella.

by Díaz, Josep [editor.] | Karhumäki, Juhani [editor.] | Lepistö, Arto [editor.] | Sannella, Donald [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3142Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 2004 [electronic resource] : 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004. Proceedings / edited by Matt Franklin.

by Franklin, Matt [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3152Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
List Decoding of Error-Correcting Codes [electronic resource] : Winning Thesis of the 2002 ACM Doctoral Dissertation Competition / by Venkatesan Guruswami.

by Guruswami, Venkatesan [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3282Source: 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
SOFSEM 2005: Theory and Practice of Computer Science [electronic resource] : 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings / edited by Peter Vojtáš, Mária Bieliková, Bernadette Charron-Bost, Ondrej Sýkora.

by Vojtáš, Peter [editor.] | Bieliková, Mária [editor.] | Charron-Bost, Bernadette [editor.] | Sýkora, Ondrej [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3381Source: 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
Advanced Encryption Standard – AES [electronic resource] : 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers / edited by Hans Dobbertin, Vincent Rijmen, Aleksandra Sowa.

by Dobbertin, Hans [editor.] | Rijmen, Vincent [editor.] | Sowa, Aleksandra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3373Source: 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
STACS 2005 [electronic resource] : 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings / edited by Volker Diekert, Bruno Durand.

by Diekert, Volker [editor.] | Durand, Bruno [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3404Source: 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
Experimental and Efficient Algorithms [electronic resource] : 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005. Proceedings / edited by Sotiris E. Nikoletseas.

by Nikoletseas, Sotiris E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3503Source: 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
Information Security and Cryptology – ICISC 2004 [electronic resource] : 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers / edited by Choon-sik Park, Seongtaek Chee.

by Park, Choon-sik [editor.] | Chee, Seongtaek [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3506Source: 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
STACS 2006 [electronic resource] : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings / edited by Bruno Durand, Wolfgang Thomas.

by Durand, Bruno [editor.] | Thomas, Wolfgang [editor.] | SpringerLink (Online service).

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

Powered by Koha