Your search returned 518 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Grammar [electronic resource] : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings / edited by Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla.

by Foret, Annie [editor.] | Morrill, Glyn [editor.] | Muskens, Reinhard [editor.] | Osswald, Rainer [editor.] | Pogodalla, Sylvain [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9804 | Lecture Notes in Computer Science ; 9804Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online 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
Logic, Rationality, and Interaction [electronic resource] : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang.

by van der Hoek, Wiebe [editor.] | Holliday, Wesley H [editor.] | Wang, Wen-fang [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9394 | Lecture Notes in Computer Science ; 9394Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
WALCOM: Algorithms and Computation [electronic resource] : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings / edited by Mohammad Kaykobad, Rossella Petreschi.

by Kaykobad, Mohammad [editor.] | Petreschi, Rossella [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9627 | Lecture Notes in Computer Science ; 9627Edition: 1st ed. 2016.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, 2016Online 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
Logic, Language, Information, and Computation [electronic resource] : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / edited by Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz.

by Väänänen, Jouko [editor.] | Hirvonen, Åsa [editor.] | de Queiroz, Ruy [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9803 | Lecture Notes in Computer Science ; 9803Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online 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
Automated Deduction in Geometry [electronic resource] : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / edited by Francisco Botana, Pedro Quaresma.

by Botana, Francisco [editor.] | Quaresma, Pedro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9201 | Lecture Notes in Computer Science ; 9201Edition: 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
Language and Automata Theory and Applications [electronic resource] : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe.

by Dediu, Adrian-Horia [editor.] | Janoušek, Jan [editor.] | Martín-Vide, Carlos [editor.] | Truthe, Bianca [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9618 | Lecture Notes in Computer Science ; 9618Edition: 1st ed. 2016.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, 2016Online 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
Logic, Language, Information, and Computation [electronic resource] : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings / edited by Juliette Kennedy, Ruy J.G.B. de Queiroz.

by Kennedy, Juliette [editor.] | de Queiroz, Ruy J.G.B [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10388 | Lecture Notes in Computer Science ; 10388Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
E-BOOKS
Computational Methods in Systems Biology [electronic resource] : 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings / edited by Olivier Roux, Jérémie Bourdon.

by Roux, Olivier [editor.] | Bourdon, Jérémie [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Bioinformatics ; 9308 | Lecture Notes in Computer Science ; 9308Edition: 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
Intelligent Computer Mathematics [electronic resource] : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / edited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge.

by Kerber, Manfred [editor.] | Carette, Jacques [editor.] | Kaliszyk, Cezary [editor.] | Rabe, Florian [editor.] | Sorge, Volker [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9150 | Lecture Notes in Computer Science ; 9150Edition: 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
Constructive Commutative Algebra [electronic resource] : Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases / by Ihsen Yengui.

by Yengui, Ihsen [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 2138Edition: 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
BOOKS
Temporal logic and state systems Fred Kröger, Stephen Merz

by Kroger, Fred | Merz, Stephan.

Series: Texts in theoretical computer scienceMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 5 Call number: 510.6 KRO.

Place hold Log in to add tags
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.

Place hold Log in to add tags
BOOKS
Theoretical aspects of reasoning about knowledge proceedings of the 1986 conference, March 19-22, 1986, Monterey, California

by Halpern, Joseph Y | Halpern, Joseph Y.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Los Altos, California Morgan. Kaufmann Publishers 1986Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 1 Call number: 681.3 HAL.

Place hold Log in to add tags
BOOKS
Journey to the edge of reason the life of Kurt Gödel Stephen Budiansky

by Budiansky, Stephen.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 59, Shelf No: 7 Call number: 92(GOD) BUD.
Lists:

Place hold Log in to add tags
BOOKS
Mathematical logic A course with exercises

by Cori, Rene | Lascar, Daniel.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford New York Oxford University Press 2000Availability: No items available : Checked out (1).
Lists:

Place hold Log in to add tags
BOOKS
Mathematical Logic A Course With Exercises, Part II Recursion theory, Godel's theorems, set theory, model theory

;Language: English Language: English Publication details: Oxford Oxford University Press 2001Availability: No items available : Checked out (1).
Lists:

Place hold Log in to add tags
BOOKS
No cover image available
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).
Lists:

Place hold Log in to add tags
BOOKS
Cocycles de groupe pour GLn et arrangements d'hyperplans

by Bergeron, Nicolas | Charollois, Pierre.

Series: CRM Monograph Series ; 39;Language: Language: French Publication details: Rhode Island American Mathematical Society 2023Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:29 Shelf No:20 Call number: 512.54 BER.
Lists:

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

Powered by Koha