Your search returned 985 results.

Not what you expected? Check for suggestions
E-BOOKS
Advances in Cryptology - ASIACRYPT 2013 [electronic resource] : 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II / edited by Kazue Sako, Palash Sarkar.

by Sako, Kazue [editor.] | Sarkar, Palash [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8270Source: 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
Learning and Intelligent Optimization [electronic resource] : 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers / edited by Giuseppe Nicosia, Panos Pardalos.

by Nicosia, Giuseppe [editor.] | Pardalos, Panos [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7997Source: 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 Computation [electronic resource] : 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings / edited by Leizhen Cai, Siu-Wing Cheng, Tak-Wah Lam.

by Cai, Leizhen [editor.] | Cheng, Siu-Wing [editor.] | Lam, Tak-Wah [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8283Source: 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
Cryptography and Coding [electronic resource] : 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings / edited by Martijn Stam.

by Stam, Martijn [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8308Source: 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
Combinatorial Algorithms [electronic resource] : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers / edited by Thierry Lecroq, Laurent Mouchard.

by Lecroq, Thierry [editor.] | Mouchard, Laurent [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8288Source: 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
Computational Geometry and Graphs [electronic resource] : Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers / edited by Jin Akiyama, Mikio Kano, Toshinori Sakai.

by Akiyama, Jin [editor.] | Kano, Mikio [editor.] | Sakai, Toshinori [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8296Source: 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
Ubiquitous Social Media Analysis [electronic resource] : Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers / edited by Martin Atzmueller, Alvin Chin, Denis Helic, Andreas Hotho.

by Atzmueller, Martin [editor.] | Chin, Alvin [editor.] | Helic, Denis [editor.] | Hotho, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8329Source: 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
Computational group theory and the theory of groups : [electronic resource] AMS Special Session on Computational Group Theory, March 3-4, 2007, Davidson College, Davidson, North Carolina / Luise-Charlotte Kappe, Arturo Magidin, Robert Fitzgerald Morse, editors.

by AMS Special Session on Computational Group Theory (2007 : Davidson College) | Kappe, Luise-Charlotte | Magidin, Arturo | Morse, Robert Fitzgerald.

Series: Contemporary mathematics (American Mathematical Society) ; v. 470.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c2008Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Computational group theory and the theory of groups, II : [electronic resource] Computational Group Theory and Cohomology, August 4-8, 2008, Harlaxton College, Grantham, United Kingdom : AMS Special Session, Computational Group Theory, October 17-19, 2008, Western Michigan University, Kalamazoo, MI / Luise-Charlotte Kappe, Arturo Magidin, Robert Fitzgerald Morse, editors.

by Harlaxton Conference on Computational Group Theory and Cohomology (2008 : Harlaxton College) | Kappe, Luise-Charlotte | Magidin, Arturo | Morse, Robert Fitzgerald | AMS Special Session on Computational Group Theory (2008 : Western Michigan University).

Series: Contemporary mathematics (American Mathematical Society) ; v. 511.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c2010Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Recent advances in real complexity and computation : [electronic resource] UIMP-RSME Lluis A. Santal�o Summer School 2012, recent advances in real complexity and computation, July 16-20, 2012, Universidad Internacional Men�endez Pelayo, Santander, Spain / Jose Luis Monta�na, Luis M. Pardo, editors.

by UIMP-RSME Lluis Santal�o Summer (2012 : Santander, Spain) | Monta�na, Jose Luis, 1961- [editor of compilation.] | Pardo, L. M. (Luis M.) [editor of compilation.].

Series: Contemporary mathematics ; v. 604Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publisher: Providence, Rhode Island : [Madrid] : American Mathematical Society ; Real Sociedad Matematica Espa�nola, [2013]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Forcing with Random Variables and Proof Complexity / Jan Krajíček.

by Krajíček, Jan [author.].

Series: London Mathematical Society Lecture Note Series ; no. 382Material type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2010Other title: Forcing with Random Variables & Proof Complexity.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
Computational complexity theory / [electronic resource] Juris Hartmanis, editor.

by Hartmanis, Juris | American Mathematical Society.

Series: Proceedings of symposia in applied mathematics ; v. 38. | Proceedings of symposia in applied mathematics. AMS short course lecture notes.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1989Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
BOOKS
Modern applications of automata theory

by Dsouza Deepak, Shankar Priti.

Series: IISc research monographs series ; Vol. 2Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: New Jersey World Scientific (IISc Press) 2012Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 34 Call number: 681.3.06 DSO.

Place hold Log in to add tags
BOOKS
Causality, probability, and time Samantha Kleinberg, Stevens Institute of Technology, Hoboken, New Jersey.

by Kleinberg, Samantha.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 6813 KLE.
Lists:

Place hold Log in to add tags
BOOKS
Model emergent dynamics in complex systems /

by Roberts, A. J.

Series: Mathematical modeling and computationMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: Philadelphia Society for Industrial and Applied Mathematics 2015Online access: Click here to access online | Click here to access online | Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 30 Call number: 51 ROB.
Lists:

Place hold Log in to add tags
BOOKS
Algorithm theory -- SWAT 2006 : 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006 : proceedings

by Arge, Lars (Ed.) | Freĭvald, R. V.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer, 2006Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS.

Log in to add tags
BOOKS
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings /

by Manindra Agrawal | Agrawal, Manindra | Seth, Anil.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Items available for reference: IMSc Library Not for loan_1 (1). Location(s): Multiple Copies Section, Shelf No: 14 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference Bangalore, India, December 13–15, 2001 Proceedings / edited by Ramesh Hariharan, V. Vinay, Madhavan Mukund.

by Ramesh Hariharan | Hariharan, Ramesh | Vinay, V | Mukund, Madhavan.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 27 Call number: 681 LNCS.

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha