Your search returned 57 results.

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

Place hold Log in to add tags
E-BOOKS
Logic and Its Applications [electronic resource] : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings / edited by Sujata Ghosh, Sanjiva Prasad.

by Ghosh, Sujata [editor.] | Prasad, Sanjiva [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10119 | Lecture Notes in Computer Science ; 10119Edition: 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
BOOKS
Books Do Furnish a Life : Reading and Writing Science

by Dawkins, Richard.

;Language: English Language: English Publication details: London Penguin Books 2021Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Technical Processing Call number: 5 DAW.

Log in to add tags
E-BOOKS
Modeling and Using Context [electronic resource] : 5thInternational and Interdisciplinary Conference CONTEXT 2005, Paris, France, July 5-8, 2005. Proceedings / edited by Anind Dey, Boicho Kokinov, David Leake, Roy Turner.

by Dey, Anind [editor.] | Kokinov, Boicho [editor.] | Leake, David [editor.] | Turner, Roy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3554Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Advances in Artificial Intelligence [electronic resource] : 18th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2005, Victoria, Canada, May 9-11, 2005. Proceedings / edited by Balázs Kégl, Guy Lapalme.

by Kégl, Balázs [editor.] | Lapalme, Guy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3501Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Persuasive Technology [electronic resource] : Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007, Revised Selected Papers / edited by Yvonne Kort, Wijnand IJsselsteijn, Cees Midden, Berry Eggen, B. J. Fogg.

by Kort, Yvonne [editor.] | IJsselsteijn, Wijnand [editor.] | Midden, Cees [editor.] | Eggen, Berry [editor.] | Fogg, B. J [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
BOOKS
Temporal Logic Mathematical Foundations and Computational Aspects, Vol.2

by Gabbay, Dov M | Reynolds, Mark A | Finger, Marcelo.

Series: Oxford Logic Guides : 40Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford Oxford University Press 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 GAB.

Place hold Log in to add tags
E-BOOKS
Professional Knowledge Management [electronic resource] : Third Biennial Conference, WM 2005, Kaiserslautern, Germany, April 10-13, 2005, Revised Selected Papers / edited by Klaus-Dieter Althoff, Andreas Dengel, Ralph Bergmann, Markus Nick, Thomas Roth-Berghofer.

by Althoff, Klaus-Dieter [editor.] | Dengel, Andreas [editor.] | Bergmann, Ralph [editor.] | Nick, Markus [editor.] | Roth-Berghofer, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3782Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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 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): .

Place hold Log in to add tags
E-BOOKS
Software Agents and Soft Computing Towards Enhancing Machine Intelligence [electronic resource] : Concepts and Applications / edited by Hyacinth S. Nwana, Nader Azarmi.

by Nwana, Hyacinth S [editor.] | Azarmi, Nader [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
How the World Computes [electronic resource] : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe.

by Cooper, S. Barry [editor.] | Dawar, Anuj [editor.] | Löwe, Benedikt [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7318Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
The Nature of Computation. Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe.

by Bonizzoni, Paola [editor.] | Brattka, Vasco [editor.] | Löwe, Benedikt [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers / edited by Yoichi Motomura, Alastair Butler, Daisuke Bekki.

by Motomura, Yoichi [editor.] | Butler, Alastair [editor.] | Bekki, Daisuke [editor.] | SpringerLink (Online service).

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

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

Place hold Log in to add tags
BOOKS
Anaximander and the birth of science

by Ravolli,Carlo | Marion Lignana Rosenberg (Translator).

;Language: English Language: English Publication details: Newyork Allen Lane 2023Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 60, Shelf No: 5 Call number: 93 ROV.
Lists:

Place hold Log in to add tags
E-BOOKS
Trust Management [electronic resource] : First International Conference, iTrust 2003 Heraklion, Crete, Greece, May 28–30, 2003 Proceedings / edited by Paddy Nixon, Sotirios Terzis.

by Nixon, Paddy [editor.] | Terzis, Sotirios [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Modeling and Using Context [electronic resource] : Second International and Interdisciplinary Conference,CONTEXT’99 Trento, Italy, September 9–11, 1999 Proceedings / edited by Paolo Bouquet, Massimo Benerecetti, Luciano Serafini, Patrick Brézillon, Francesca Castellani.

by Bouquet, Paolo [editor.] | Benerecetti, Massimo [editor.] | Serafini, Luciano [editor.] | Brézillon, Patrick [editor.] | Castellani, Francesca [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers / edited by Setsuya Kurahashi, Yuiko Ohta, Sachiyo Arai, Ken Satoh, Daisuke Bekki.

by Kurahashi, Setsuya [editor.] | Ohta, Yuiko [editor.] | Arai, Sachiyo [editor.] | Satoh, Ken [editor.] | Bekki, Daisuke [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
BOOKS
The Three-Body Problem : Trilogy

by Liu, Cixin | Liu, Ken (Translator) | Martinsen, Joel (Translator).

;Language: English Language: English Publication details: London Head of Zeus 2024Availability: Items available for loan: IMSc Library (3). Location(s): Second Floor, Rack No: 54, Shelf No: 1 Call number: 82-3 LIU.

Place hold Log in to add tags
E-BOOKS
Connectionist Models of Neurons, Learning Processes, and Artificial Intelligence [electronic resource] : 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13–15, 2001 Proceedings, Part 1 / edited by José Mira, Alberto Prieto.

by Mira, José [editor.] | Prieto, Alberto [editor.] | SpringerLink (Online service).

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

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

Powered by Koha