Your search returned 610 results.

Not what you expected? Check for suggestions
E-BOOKS
PRICAI 2010: Trends in Artificial Intelligence [electronic resource] : 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30–September 2, 2010. Proceedings / edited by Byoung-Tak Zhang, Mehmet A. Orgun.

by Zhang, Byoung-Tak [editor.] | Orgun, Mehmet A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6230Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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 Programs, Norms and Action [electronic resource] : Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday / edited by Alexander Artikis, Robert Craven, Nihan Kesim Çiçekli, Babak Sadighi, Kostas Stathis.

by Artikis, Alexander [editor.] | Craven, Robert [editor.] | Kesim Çiçekli, Nihan [editor.] | Sadighi, Babak [editor.] | Stathis, Kostas [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Methods and applications of mathematical logic : [electronic resource] proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors.

by Latin-American Symposium on Mathematical Logic (7th : 1985 : State University of Campinas) | Carnielli, Walter A. (Walter Alexandre) | Alcantara, Luiz Paulo de, 1944- | Sociedade Brasileira de L�ogica | Sociedade Brasileira de Matem�atica | Association for Symbolic Logic.

Series: Contemporary mathematics (American Mathematical Society) ; v. 69.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1988Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
New trends in Hopf algebra theory : [electronic resource] Proceedings of the Colloquium on Quantum Groups and Hopf Algebras, La Falda, Sierras de C�ordoba, Argentina, August 9-13, 1999 / Nicol�as Andruskiewitsch, Walter Ricardo Ferrer Santos, Hans-J�urgen Schneider, editors.

by Colloquium on Quantum Groups and Hopf Algebras (1999 : La Falda, C�ordoba, Argentina) | Andruskiewitsch, Nicol�as, 1958- | Ferrer Santos, Walter Ricardo | Schneider, Hans-J�urgen, 1944-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 267.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, RI : American Mathematical Society, c2000Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Quadratic forms and their applications : [electronic resource] proceedings of the Conference on Quadratic Forms and Their Applications, July 5-9, 1999, University College Dublin / Eva Bayer-Fluckiger, David Lewis, Andrew Ranicki, editors.

by Conference on Quadratic Forms and Their Applications (1999 : University College Dublin) | Bayer-Fluckiger, Eva, 1951- | Lewis, David | Ranicki, Andrew, 1948-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 272.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c2000Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Experimental arithmetic, [electronic resource]

by Symposium in Applied Mathematics 15th, Chicago and Atlantic City, 1962. [from old catalog] | American Mathematical Society. [from old catalog].

Series: Proceedings of symposia in applied mathematics ; v. 15Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, American Mathematical Society, 1963Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Global analysis. [electronic resource] [Shiing-Shen Chern and Stephen Smale, editors]

by Symposium in Pure Mathematics University of California at Berkeley, 1968 | Chern, Shiing-Shen, 1911- [ed.] | Smale, Stephen, 1930- [ed.] | American Mathematical Society.

Series: Proceedings of symposia in pure mathematics ; v. 16Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, American Mathematical Society, 1970Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Programming Languages and Systems [electronic resource] : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings / edited by Bor-Yuh Evan Chang.

by Chang, Bor-Yuh Evan [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10695 | Lecture Notes in Computer Science ; 10695Edition: 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
E-BOOKS
Security Protocols XXV [electronic resource] : 25th International Workshop, Cambridge, UK, March 20–22, 2017, Revised Selected Papers / edited by Frank Stajano, Jonathan Anderson, Bruce Christianson, Vashek Matyáš.

by Stajano, Frank [editor.] | Anderson, Jonathan [editor.] | Christianson, Bruce [editor.] | Matyáš, Vashek [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10476 | Lecture Notes in Computer Science ; 10476Edition: 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
E-BOOKS
Foundations of Biomedical Knowledge Representation [electronic resource] : Methods and Applications / edited by Arjen Hommersom, Peter J.F. Lucas.

by Hommersom, Arjen [editor.] | Lucas, Peter J.F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9521 | Lecture Notes in Computer Science ; 9521Edition: 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
New Approaches to Nonlinear Waves [electronic resource] / edited by Elena Tobisch.

by Tobisch, Elena [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 908Edition: 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
Hardy Spaces on Ahlfors-Regular Quasi Metric Spaces [electronic resource] : A Sharp Theory / by Ryan Alvarado, Marius Mitrea.

by Alvarado, Ryan [author.] | Mitrea, Marius [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 2142Edition: 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, 2015Other title: a.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
BOOKS
Newton's apple and other myths about science edited by Ronald L. Numbers and Kostas Kampourakis.

by Numbers, Ronald L | Numbers, Ronald L | Kampourakis, Kostas.

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: 22, Shelf No: 7 Call number: 5 NUM.

Place hold Log in to add tags
E-BOOKS
Multi-Agent Systems and Applications IV [electronic resource] : 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15 – 17, 2005. Proceedings / edited by Michael Pěchouček, Paolo Petta, László Zsolt Varga.

by Pěchouček, Michael [editor.] | Petta, Paolo [editor.] | Varga, László Zsolt [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3690Source: 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
Distributed Computing and Internet Technology [electronic resource] : Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005. Proceedings / edited by Goutam Chakraborty.

by Chakraborty, Goutam [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3816Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Automata, Languages and Programming [electronic resource] : 30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 – July 4, 2003 Proceedings / edited by Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger.

by Baeten, Jos C. M [editor.] | Lenstra, Jan Karel [editor.] | Parrow, Joachim [editor.] | Woeginger, Gerhard J [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Eurocal '87 [electronic resource] : European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings / edited by James H. Davenport.

by Davenport, James H [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Simulated Evolution and Learning [electronic resource] : Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL’98 Canberra, Australia, November 24–27, 1998 Selected Papers / edited by Bob McKay, Xin Yao, Charles S. Newton, Jong-Hwan Kim, Takeshi Furuhashi.

by McKay, Bob [editor.] | Yao, Xin [editor.] | Newton, Charles S [editor.] | Kim, Jong-Hwan [editor.] | Furuhashi, Takeshi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1585Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha