Your search returned 163 results.

Not what you expected? Check for suggestions
E-BOOKS
Fuzzy Logic and Applications [electronic resource] : 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers / edited by Isabelle Bloch, Alfredo Petrosino, Andrea G. B. Tettamanzi.

by Bloch, Isabelle [editor.] | Petrosino, Alfredo [editor.] | Tettamanzi, Andrea G. B [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Neural Nets [electronic resource] : 16th Italian Workshop on Neural Nets, WIRN 2005, and International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005, Revised Selected Papers / edited by Bruno Apolloni, Maria Marinaro, Giuseppe Nicosia, Roberto Tagliaferri.

by Apolloni, Bruno [editor.] | Marinaro, Maria [editor.] | Nicosia, Giuseppe [editor.] | Tagliaferri, Roberto [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Hybrid Systems: Computation and Control [electronic resource] : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings / edited by Oded Maler, Amir Pnueli.

by Maler, Oded [editor.] | Pnueli, Amir [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2623Source: 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
Artificial Neural Networks [electronic resource] : International Workshop IWANN '91 Granada, Spain, September 17–19, 1991 Proceedings / edited by Alberto Prieto.

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

Series: Lecture Notes in Computer Science ; 540Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Computer Aided Verification [electronic resource] : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings / edited by E. Allen Emerson, Aravinda Prasad Sistla.

by Emerson, E. Allen [editor.] | Sistla, Aravinda Prasad [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1855Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Ant Algorithms [electronic resource] : Third International Workshop, ANTS 2002 Brussels, Belgium, September 12–14, 2002 Proceedings / edited by Marco Dorigo, Gianni Caro, Michael Sampels.

by Dorigo, Marco [editor.] | Caro, Gianni [editor.] | Sampels, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2463Source: 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
Artificial Evolution [electronic resource] : 5th International Conference, Evolution Artificielle, EA 2001 Le Creusot, France, October 29–31, 2001 Selected Papers / edited by Pierre Collet, Cyril Fonlupt, Jin-Kao Hao, Evelyne Lutton, Marc Schoenauer.

by Collet, Pierre [editor.] | Fonlupt, Cyril [editor.] | Hao, Jin-Kao [editor.] | Lutton, Evelyne [editor.] | Schoenauer, Marc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2310Source: 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
Discovey Science [electronic resource] : First International Conference, DS’98 Fukuoka, Japan, December 14–16, 1998 Proceedings / edited by Setsuo Arikawa, Hiroshi Motoda.

by Arikawa, Setsuo [editor.] | Motoda, Hiroshi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1532Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings / edited by S. Arun-Kumar, Naveen Garg.

by Arun-Kumar, S [editor.] | Garg, Naveen [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Theory and Applications of Relational Structures as Knowledge Instruments II [electronic resource] : International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers / edited by Harrie Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens.

by Swart, Harrie [editor.] | Orłowska, Ewa [editor.] | Schmidt, Gunther [editor.] | Roubens, Marc [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Artificial Intelligence: Theories, Models and Applications [electronic resource] : 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings / edited by John Darzentas, George A. Vouros, Spyros Vosinakis, Argyris Arnellos.

by Darzentas, John [editor.] | Vouros, George A [editor.] | Vosinakis, Spyros [editor.] | Arnellos, Argyris [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Algorithmic Learning Theory [electronic resource] : 19th International Conference, ALT 2008, Budapest, Hungary, October 13-16, 2008. Proceedings / edited by Yoav Freund, László Györfi, György Turán, Thomas Zeugmann.

by Freund, Yoav [editor.] | Györfi, László [editor.] | Turán, György [editor.] | Zeugmann, Thomas [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Hybrid Systems: Computation and Control [electronic resource] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings / edited by Rupak Majumdar, Paulo Tabuada.

by Majumdar, Rupak [editor.] | Tabuada, Paulo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5469Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings / edited by Ahmed Bouajjani, Oded Maler.

by Bouajjani, Ahmed [editor.] | Maler, Oded [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5643Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Applications of algebraic K-theory to algebraic geometry and number theory : [electronic resource] proceedings of the AMS-IMS-SIAM joint summer research conference held June 12-18, 1983, with support from the National Science Foundation / Spencer J. Bloch ... [et al.], editors.

by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Algebraic K-Theory to Algebraic Geometry and Number Theory (1983 : University of Colorado, Boulder) | Bloch, Spencer | American Mathematical Society | Institute of Mathematical Statistics | Society for Industrial and Applied Mathematics.

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

Place hold Log in to add tags
E-BOOKS
Studies on composition operators : [electronic resource] proceedings of the Rocky Mountain Mathematics Consortium, July 8-19, 1996, University of Wyoming / Farhad Jafari ... [et al.], editors.

by Jafari, Farhad, 1956- | Rocky Mountain Mathematics Consortium.

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

Place hold Log in to add tags
E-BOOKS
Public-Key Cryptography -- PKC 2015 [electronic resource] : 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedings / edited by Jonathan Katz.

by Katz, Jonathan [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9020 | Lecture Notes in Computer Science ; 9020Edition: 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
Foundations of Software Science and Computation Structures [electronic resource] : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Javier Esparza, Andrzej S. Murawski.

by Esparza, Javier [editor.] | Murawski, Andrzej S [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10203 | Lecture Notes in Computer Science ; 10203Edition: 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
Image and Video Retrieval [electronic resource] : 4th International Conference, CIVR 2005, Singapore, July 20-22, 2005. Proceedings / edited by Wee-Kheng Leow, Michael S. Lew, Tat-Seng Chua, Wei-Ying Ma, Lekha Chaisorn, Erwin M. Bakker.

by Leow, Wee-Kheng [editor.] | Lew, Michael S [editor.] | Chua, Tat-Seng [editor.] | Ma, Wei-Ying [editor.] | Chaisorn, Lekha [editor.] | Bakker, Erwin M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3568Source: 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 Computer Graphics [electronic resource] : 24th Computer Graphics International Conference, CGI 2006, Hangzhou, China, June 26-28, 2006. Proceedings / edited by Tomoyuki Nishita, Qunsheng Peng, Hans-Peter Seidel.

by Nishita, Tomoyuki [editor.] | Peng, Qunsheng [editor.] | Seidel, Hans-Peter [editor.] | SpringerLink (Online service).

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

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

Powered by Koha