Your search returned 697 results.

Not what you expected? Check for suggestions
E-BOOKS
Advances in Cryptology - ASIACRYPT’99 [electronic resource] : International Conference on the Theory and Application of Cryptology and Information Security, Singapore, November 14-18, 1999. Proceedings / edited by Kwok-Yan Lam, Eiji Okamoto, Chaoping Xing.

by Lam, Kwok-Yan [editor.] | Okamoto, Eiji [editor.] | Xing, Chaoping [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1716Source: 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
Informatics Education – The Bridge between Using and Understanding Computers [electronic resource] : International Conference in Informatics in Secondary Schools – Evolution and Perspectives, ISSEP 2006, Vilnius, Lithuania, November 7-11, 2006. Proceedings / edited by Roland T. Mittermeir.

by Mittermeir, Roland T [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4226Source: 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 1998 [electronic resource] : 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24–28, 1998 Proceedings / edited by Luboš Brim, Jozef Gruska, Jiří Zlatuška.

by Brim, Luboš [editor.] | Gruska, Jozef [editor.] | Zlatuška, Jiří [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1450Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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 and Computation [electronic resource] : 8th International Symposium, ISAAC '97 Singapore, December 17–19, 1997 Proceedings / edited by Hon Wai Leong, Hiroshi Imai, Sanjay Jain.

by Leong, Hon Wai [editor.] | Imai, Hiroshi [editor.] | Jain, Sanjay [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1350Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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] : 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007. Proceedings / edited by Guohui Lin.

by Lin, Guohui [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4598Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Simulated Evolution and Learning [electronic resource] : 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings / edited by Xiaodong Li, Michael Kirley, Mengjie Zhang, David Green, Vic Ciesielski, Hussein Abbass, Zbigniew Michalewicz, Tim Hendtlass, Kalyanmoy Deb, Kay Chen Tan, Jürgen Branke, Yuhui Shi.

by Li, Xiaodong [editor.] | Kirley, Michael [editor.] | Zhang, Mengjie [editor.] | Green, David [editor.] | Ciesielski, Vic [editor.] | Abbass, Hussein [editor.] | Michalewicz, Zbigniew [editor.] | Hendtlass, Tim [editor.] | Deb, Kalyanmoy [editor.] | Tan, Kay Chen [editor.] | Branke, Jürgen [editor.] | Shi, Yuhui [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5361Source: 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
Automata, Languages and Programming [electronic resource] : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I / edited by Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas.

by Albers, Susanne [editor.] | Marchetti-Spaccamela, Alberto [editor.] | Matias, Yossi [editor.] | Nikoletseas, Sotiris [editor.] | Thomas, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5555Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 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
Theoretical Computer Science [electronic resource] : 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings / edited by Jos C. M. Baeten, Tom Ball, Frank S. Boer.

by Baeten, Jos C. M [editor.] | Ball, Tom [editor.] | Boer, Frank S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7604Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger.

by Carette, Jacques [editor.] | Aspinall, David [editor.] | Lange, Christoph [editor.] | Sojka, Petr [editor.] | Windsteiger, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7961Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Graph-Theoretic Concepts in Computer Science [electronic resource] : 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers / edited by Andreas Brandstädt, Klaus Jansen, Rüdiger Reischuk.

by Brandstädt, Andreas [editor.] | Jansen, Klaus [editor.] | Reischuk, Rüdiger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8165Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Algorithms and Discrete Applied Mathematics [electronic resource] : First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings / edited by Sumit Ganguly, Ramesh Krishnamurti.

by Ganguly, Sumit [editor.] | Krishnamurti, Ramesh [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 8959 | Lecture Notes in Computer Science ; 8959Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online 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 Science – Theory and Applications [electronic resource] : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings / edited by Pascal Weil.

by Weil, Pascal [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10304 | Lecture Notes in Computer Science ; 10304Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
BOOKS
Temporal Logic Mathematical Foundations and Computational Aspects, Vol.2

by Gabbay, Dov M | Reynolds, Mark A | Finger, Marcelo.

Series: Oxford Logic Guides : 40Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford Oxford University Press 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 GAB.

Place hold Log in to add tags
E-BOOKS
Tutorials in Mathematical Biosciences I [electronic resource] : Mathematical Neuroscience / by Alla Borisyuk, Avner Friedman, Bard Ermentrout, David Terman.

by Borisyuk, Alla [author.] | Friedman, Avner [author.] | Ermentrout, Bard [author.] | Terman, David [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics, Mathematical Biosciences ; 1860Source: 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
Bifurcations in Hamiltonian Systems [electronic resource] : Computing Singularities by Gröbner Bases / by Henk Broer, Igor Hoveijn, Gerton Lunter, Gert Vegter.

by Broer, Henk [author.] | Hoveijn, Igor [author.] | Lunter, Gerton [author.] | Vegter, Gert [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1806Source: 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
Combinatorial Optimization [electronic resource] : Lectures given at the 3rd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Como, Italy, August 25–September 2, 1986 / edited by Bruno Simeone.

by Simeone, Bruno [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1403Source: 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
Multiscale Problems in the Life Sciences [electronic resource] : From Microscopic to Macroscopic / by Jacek Banasiak, Mark A. J. Chaplain, Jacek Miękisz ; edited by Vincenzo Capasso, Mirosław Lachowicz.

by Banasiak, Jacek [author.] | Chaplain, Mark A. J [author.] | Miękisz, Jacek [author.] | Capasso, Vincenzo [editor.] | Lachowicz, Mirosław [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1940Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Other title: Lectures given at the Banach Center and C.I.M.E. Joint Summer School held in Be¸dlewo, Poland September 4–9, 2006.Online 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
Nonlinear MHD Waves and Turbulence [electronic resource] : Proceeding of the Workshop Held in Nice, France, 1–4 December 1998 / edited by Thierry Passot, Pierre-Louis Sulem.

by Passot, Thierry [editor.] | Sulem, Pierre-Louis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 536Source: 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 of Distributed Systems [electronic resource] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / edited by Roberto Baldoni, Nicolas Nisse, Maarten Steen.

by Baldoni, Roberto [editor.] | Nisse, Nicolas [editor.] | Steen, Maarten [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8304Source: 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
Progress in Cryptology - INDOCRYPT 2003 [electronic resource] : 4th International Conference on Cryptology in India, New Delhi, India, December 8-10, 2003. Proceedings / edited by Thomas Johansson, Subhamoy Maitra.

by Johansson, Thomas [editor.] | Maitra, Subhamoy [editor.] | SpringerLink (Online service).

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

Powered by Koha