Your search returned 433 results.

Not what you expected? Check for suggestions
BOOKS
Security Aspects in Information Technology First International Conference, InfoSecHiComNet 2011, Haldia, India, October 19-22, 2011. Proceedings edited by ,Debdeep Mukhopadhyay, Michael Tunstall.

by Marc Joye | Joye, Marc | Mukhopadhyay, Debdeep | Tunstall, Michael.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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: 32 Call number: 681 LNCS.

BOOKS
Theory and applications of models of computation : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings / [edited by]Manindra Agrawal, Angsheng Li.

by Gopal, T. V.

Series: Lecture notes in computer science ; 8402Edition: 1st edition.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Switzerland Springer 2014Online 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: 32 Call number: 681 LNCS.

BOOKS
Algorithmic learning theory : 7th international workshop, ALT '96, Sydney, Australia, October 23-25, 1996 : proceedings / Arun K. Sharma (eds.)

by Setsuo Arikawa | Arikawa, S | Sharma, Arun K.

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

BOOKS
Advanced topics in bisimulation and coinduction / Jan Rutten.

by Sangiorgi, Davide | Sangiorgi, Davide | Rutten, J. J. M. M.

Series: Cambridge tracts in theoretical computer science ; 52Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge ; New York : Cambridge University Press, 2012Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 8 Call number: 510.6 SAN.

BOOKS
Theoretical Computer Science

by Shartri, Aditya.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Madras Allied Publishers Limited 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 18 Call number: 681.3 SHA.

BOOKS
Communication complexity and applications

by Rao, Anup | Yehudayoff, Amir.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Cambridge 2020Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 49 Shelf No: 16 Call number: 681.3 RAO.

BOOKS
Applications of polynomial systems David A. Cox ; with contributions by Carlos D'Andrea, Alicia Dickenstein, Jonathan Hauenstein, Hal Schenck and Jessica Sidman.

by Cox, David A | D'Andrea, Carlos | Dickenstein, Alicia | Hauenstein, Jonathan D | Schenck, Henry K | Sidman, Jessica.

Series: Conference Board of the Mathematical Sciences CBMS regional conference series in mathematics ; 134Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Rhode Island American Mathematical Society (AMS) 2020Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 13 Call number: 51 COX.

BOOKS
Programming massively parallel processors a hands-on approach

by Kirk, David | Hwu, Wen-mei.

Edition: Third edition.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor Rack No:49 Shelf No:7 Call number: 681.3 KIR.

BOOKS
Accelerating MATLAB with GPU computing : a primer with examples

by Suh, Jung W | Kim, Youngmin.

Edition: First edition.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Waltham USA Morgan Kaufmann (Elsevier) 2014Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 20 Call number: 681.3 SUH.

BOOKS
GPU computing gems Emerald Edition

by Hwu, Wen-mei W.

Edition: Emerald EditionMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam Burlington, MA Elsevier, (Morgan Kaufmann ) 2011Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 3 Call number: 681.3 HWU.

BOOKS
GPU computing gems Jade edition.

by Hwu, Wen-Mei W (Ed.).

Series: Applications of GPU computing seriesEdition: Jade ed.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Boston, MA Morgan Kaufmann 2012Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor Rack No:49 Shelf No:3 Call number: 681.3 HWU.

BOOKS
Automata, Graphs and Logic

by Thomas, D. Gnanaraj, Ed | Thamburaj, Robinson, Ed.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Chennai Narosa Publishing House 2019Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 21 Call number: 681.3 THO.

BOOKS
Lectures on logic and computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011 Ljubljana, Slovenia, August 2011, Selected Lecture Notes Nick Bezhanishvili, Valentin Goranko. (Eds)

by Bezhanishvili, Nick.

Series: Lecture notes in computer science ; 7388Edition: 1st ed.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer 2012Availability: Items available for loan: IMSc Library (2). Location(s): Multiple Copies Section, Shelf No: 15 Call number: 681 LNCS.

BOOKS
Interactive Logic Selected Papers from the 7th Augustus de Morgan Workshop, London

by Benthem, Johan Van | Gabbay, Dov | Benedikt Lowe.

Series: Texts in Logic and Games ; 1Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: The Netherlands Amsterdam University Press 2007Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 39 Call number: 681.3 BEN.

BOOKS
Logic and Automata History and Perspectives

by Flum, Jorg | Gradel, Erich Ed | Wilke, Thomas, Ed.

Series: Texts in Logic and Games ; 2Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam Amsterdam University Press 2008Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 6813 FLU.

BOOKS
Logic and the foundations of game and decision theory edited by Wiebe van der Hoek, Michael Wooldridge.

by Bonanno, Giacomo Ed | Hoek, W. van der | Wooldridge, Michael J.

Series: Texts in logic and games ; 3.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam Amsterdam University Press, 2008Other title: LOFT 7.Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 40 Call number: 681.3 BON.

BOOKS
Discourses on Social Software

by Eijck, Jan van , Ed | Verbrugge, Rineke , Ed.

Series: Texts in Logic and Games ; 5Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam, Netherlands Amsterdam University Press 2009Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 EIJ.

BOOKS
Handbook of Epistemic Logic

by Ditmarsch, Hans Van, Ed | Halpern, Joseph Y | Van Der Hoek, Wiebe.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: UK College Publications 2015Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 3 Call number: 510.6(02) DIT.

BOOKS
Knowing one's limits logical analysis of inductive inference

by Gierasimczuk, Nina.

Series: ILLC Dissertation Series; DS-2010-11Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: AMSTERDAN Institute for Logic, Language and computation 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 48 Call number: 681.3 GIE.

BOOKS
Johan van Benthem on Logic and Information Dynamics

by Baltag, Alexandru, Ed | Smets, Sonja, Ed.

Series: Outstanding contributions to Logic ; 5Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Heildelberg Springer 2014Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 39 Call number: 681.3 BAL.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha