Your search returned 79 results.

Not what you expected? Check for suggestions
E-BOOKS
Models of Strategic Reasoning [electronic resource] : Logics, Games, and Communities / edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge.

by van Benthem, Johan [editor.] | Ghosh, Sujata [editor.] | Verbrugge, Rineke [editor.] | SpringerLink (Online service).

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

BOOKS
The Order of time

by Rovelli, Carlo | Segre, Erica | Carnell, Simon.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi Penguin Books 2019Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 32 Call number: 53 ROV.

BOOKS
Mathematical understanding of nature Essays on amazing physical phenomena and their understanding by mathematicians

by Arnold, V. I | Sossinsky, Alexei (Translator) | Sipacheva,Olga (Translator).

Edition: Indian EditionMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Providence, Rhode Island American Mathematical Society (AMS) 2023Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 21, Shelf No : 1 Call number: 5 ARN.

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
The Second Sex

by Beauvoir, Simone de | Borde, Constance (Translator) | Malovany-Chevallier, Sheila (Translator).

;Language: English Language: English Publication details: London Vintage books 2009Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 2, Shelf No: 4 Call number: 305 BEA.

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
Evaluation of Cross-Language Information Retrieval Systems [electronic resource] : Second Workshop of the Cross-Language Evaluation Forum, CLEF 2001 Darmstadt, Germany, September 3–4, 2001 Revised Papers / edited by Carol Peters, Martin Braschler, Julio Gonzalo, Michael Kluck.

by Peters, Carol [editor.] | Braschler, Martin [editor.] | Gonzalo, Julio [editor.] | Kluck, Michael [editor.] | SpringerLink (Online service).

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

E-BOOKS
Conceptual Structures: Knowledge Architectures for Smart Applications [electronic resource] : 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007. Proceedings / edited by Uta Priss, Simon Polovina, Richard Hill.

by Priss, Uta [editor.] | Polovina, Simon [editor.] | Hill, Richard [editor.] | SpringerLink (Online service).

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

E-BOOKS
Intelligent Computer Mathematics [electronic resource] : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings / edited by Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk.

by Autexier, Serge [editor.] | Campbell, John [editor.] | Rubio, Julio [editor.] | Sorge, Volker [editor.] | Suzuki, Masakazu [editor.] | Wiedijk, Freek [editor.] | SpringerLink (Online service).

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

E-BOOKS
Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments [electronic resource] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Masaaki Kurosu.

by Kurosu, Masaaki [editor.] | SpringerLink (Online service).

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

BOOKS
The molecular switch : signaling and allostery

by Phillips, Rob | Orme, Nigel.

Series: Studies in physical biologyMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Princeton University Press Princeton 2020Availability: No items available : Checked out (1).

E-BOOKS
Non-Monotonic Reasoning [electronic resource] : 2nd International Workshop Grassau, FRG, June 13–15, 1988 Proceedings / edited by M. Reinfrank, J. Kleer, M. L. Ginsberg, E. Sandewall.

by Reinfrank, M [editor.] | Kleer, J [editor.] | Ginsberg, M. L [editor.] | Sandewall, E [editor.] | SpringerLink (Online service).

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

E-BOOKS
Logic, Language and Computation [electronic resource] : Festschrift in Honor of Satoru Takasu / edited by Neil D. Jones, Masami Hagiya, Masahiko Sato.

by Jones, Neil D [editor.] | Hagiya, Masami [editor.] | Sato, Masahiko [editor.] | SpringerLink (Online service).

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

E-BOOKS
Modeling Communication with Robots and Virtual Humans [electronic resource] : Second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers / edited by Ipke Wachsmuth, Günther Knoblich.

by Wachsmuth, Ipke [editor.] | Knoblich, Günther [editor.] | SpringerLink (Online service).

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

E-BOOKS
Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang.

by Grossi, Davide [editor.] | Roy, Olivier [editor.] | Huang, Huaxin [editor.] | SpringerLink (Online service).

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

BOOKS
Life after theory

by Payne, Michael | Schad, John.

;Language: English Language: English Publication details: London Continuum 2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 22, Shelf No: 8 Call number: 5 PAY.

E-BOOKS
Rough Sets and Current Trends in Computing [electronic resource] : Third International Conference, RSCTC 2002 Malvern, PA, USA, October 14–16, 2002 Proceedings / edited by James J. Alpigini, James F. Peters, Andrzej Skowron, Ning Zhong.

by Alpigini, James J [editor.] | Peters, James F [editor.] | Skowron, Andrzej [editor.] | Zhong, Ning [editor.] | SpringerLink (Online service).

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

E-BOOKS
Innovative Concepts for Autonomic and Agent-Based Systems [electronic resource] : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers / edited by Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski.

by Hinchey, Michael G [editor.] | Rago, Patricia [editor.] | Rash, James L [editor.] | Rouff, Christopher A [editor.] | Sterritt, Roy [editor.] | Truszkowski, Walt [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3825Source: 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
Social Robotics [electronic resource] : 8th International Conference, ICSR 2016, Kansas City, MO, USA, November 1-3, 2016 Proceedings / edited by Arvin Agah, John-John Cabibihan, Ayanna M. Howard, Miguel A. Salichs, Hongsheng He.

by Agah, Arvin [editor.] | Cabibihan, John-John [editor.] | Howard, Ayanna M [editor.] | Salichs, Miguel A [editor.] | He, Hongsheng [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9979 | Lecture Notes in Computer Science ; 9979Edition: 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): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha