Your search returned 9617 results.

Not what you expected? Check for suggestions
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.

THESIS & DISSERTATION
Parameteried complexity of conflict free solutions

by Lawquuen Kanesh [author].

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Chennai The Institute of Mathematical Sciences 2020Dissertation Note: Ph.D HBNIAdvisor(s): Saket Saurabh.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: Th182.

THESIS & DISSERTATION
Select, Allocate, and Manipulate via Multivariate Analysis

by Roy, Sanjukta [author].

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Chennai The Institute of Mathematical Sciences 2020Dissertation Note: Ph.D HBNIAdvisor(s): Saket Saurabh.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th184.

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.

BOOKS
Models of Strategic Reasoning Logics, Games, and Communities

by Benthem, Johan van Ed | Ghosh, Sujata, Ed | Verbrugge, Rineke, Ed.

Series: Lecture Notes in Computer Science ; 8972Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer- Verlag 2015Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

BOOKS
Changing for the better Preference dynamics and agent diversity

by Liu, Fenrong.

Series: ILLC Dissertation Series; DS-2008-02Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam, Netherlands The Institute for Logic, Language and Computation (ILLC) 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 9 Call number: 681.3 LIU.

BOOKS
Epistemic modelling & protocol dynamics

by Wang, Yanjing.

Series: ILLC Dissertation series; DS-2010-06Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam, Netherlands The 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: 49, Shelf No: 22 Call number: 681.3 WAN.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha