Your search returned 349 results.

Not what you expected? Check for suggestions
BOOKS
Mathematics for computation (M4C)

by Benini, Marco | Beyersdorff, Olaf | Rathjen, Michael | Schuster, Peter.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New Jersey World Scientific 2023Availability: No items available : Checked out (1).

E-BOOKS
Computability and Complexity [electronic resource] : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday / edited by Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond.

by Day, Adam [editor.] | Fellows, Michael [editor.] | Greenberg, Noam [editor.] | Khoussainov, Bakhadyr [editor.] | Melnikov, Alexander [editor.] | Rosamond, Frances [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10010 | Lecture Notes in Computer Science ; 10010Edition: 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): .

BOOKS
The History and Philosophy of Science : An Indian Perspective

by Bhattacharya, Nandan (Ed.).

Series: Contemporary Issues in Social Science Research;Language: English Language: English Publication details: London Routledge 2023Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 21,Shelf No: 2 Call number: 5 BHA.

BOOKS
Springer Handbook of Spacetime

by Ashtekar, Abhay (Ed.) | Petkov, Vesselin(Ed.).

;Language: English Language: English Publication details: USA Springer Nature 2014Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Technical Processing Call number: 530.12(02) ASH.

BOOKS
Mathematics and Computation : A Theory Revolutionizing Technology and Science

by Wigderson, Avi.

;Language: English Language: English Publication details: Princeton Princeton University Press 2019Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 42 Call number: 511 WIG.

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): .

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): .

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): .

BOOKS
Recursion Theory : its Generalisations and Applications Proceedings of Logic Colloquium 79, Leeds, August 1979

by Drake, F.R | Wainer, S.S.

Series: London mathematical society lecture note series ; 00045Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge Cambridge University Press 1980Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DRA.

E-BOOKS
Computing Methods in Applied Sciences and Engineering, 1977, I [electronic resource] : Third International Symposium December 5–9, 1977 / edited by R. Glowinski, J. L. Lions, Iria Laboria.

by Glowinski, R [editor.] | Lions, J. L [editor.] | Laboria, Iria [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 704Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1979Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

BOOKS
How evolution explains everything about life from Darwin's brilliant idea to today's epic theory

by New Scientist.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: Boston, MA Nicholas Brealey Publishing 2017Other title: From Darwin's brilliant idea to today's epic theory.Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 22, Shelf No: 7 Call number: 5 NEW.

E-BOOKS
Topics in Spatial Stochastic Processes [electronic resource] : Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, July 1-8, 2001 / by Vincenzo Capasso, Ely Merzbach, B. Gail Ivanoff, Marco Dozzi, Robert C. Dalang, Thomas S. Mountford.

by Capasso, Vincenzo [author.] | Merzbach, Ely [author.] | Ivanoff, B. Gail [author.] | Dozzi, Marco [author.] | Dalang, Robert C [author.] | Mountford, Thomas S [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics, Fondazione C.I.M.E., Firenze ; 1802Source: 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): .

E-BOOKS
Computer Science Logic [electronic resource] : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings / edited by Julian Bradfield.

by Bradfield, Julian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2471Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Other title: 22-25, 2002, Proceedings.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

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): .

E-BOOKS
Algorithms - ESA’ 99 [electronic resource] : 7th Annual European Symposium Prague, Czech Republic, July 16–18, 1999 Proceedings / edited by Jaroslav Nešetřil.

by Nešetřil, Jaroslav [editor.] | SpringerLink (Online service).

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

E-BOOKS
Mathematics of Program Construction [electronic resource] : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings / edited by Bernhard Möller.

by Möller, Bernhard [editor.] | SpringerLink (Online service).

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

E-BOOKS
Fundamentals of Computation Theory [electronic resource] : 11th International Symposium, FCT'97 Kraków, Poland, September 1–3, 1997 Proceedings / edited by Bogdan S. Chlebus, Ludwik Czaja.

by Chlebus, Bogdan S [editor.] | Czaja, Ludwik [editor.] | SpringerLink (Online service).

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

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): .

E-BOOKS
Theory and Applications of Models of Computation [electronic resource] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings / edited by Jianer Chen, S. Barry Cooper.

by Chen, Jianer [editor.] | Cooper, S. Barry [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computer Algebra in Scientific Computing [electronic resource] : 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov.

by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Mayr, Ernst W [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6244Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha