Your search returned 335 results.

Not what you expected? Check for suggestions
E-BOOKS
Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Anuj Dawar, Helmut Veith.

by Dawar, Anuj [editor.] | Veith, Helmut [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6247Source: 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
Multiple Access Communications [electronic resource] : Third International Workshop, MACOM 2010, Barcelona, Spain, September 13-14, 2010. Proceedings / edited by Alexey Vinel, Boris Bellalta, Claudio Sacchi, Andrey Lyakhov, Miklós Telek, Miquel Oliver.

by Vinel, Alexey [editor.] | Bellalta, Boris [editor.] | Sacchi, Claudio [editor.] | Lyakhov, Andrey [editor.] | Telek, Miklós [editor.] | Oliver, Miquel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6235Source: 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
Advances in Cryptology – ASIACRYPT 2012 [electronic resource] : 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings / edited by Xiaoyun Wang, Kazue Sako.

by Wang, Xiaoyun [editor.] | Sako, Kazue [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7658Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Nonstandard models of arithmetic and set theory : [electronic resource] AMS Special Session Nonstandard Models of Arithmetic and Set Theory, January 15-16, 2003, Baltimore, Maryland / Ali Enayat, Roman Kossak, editors.

by AMS Special Session Nonstandard Models of Arithmetic and Set Theory (2003 : Baltimore, Md.) | Enayat, Ali, 1959- | Kossak, Roman, 1953-.

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

Place hold Log in to add tags
E-BOOKS
Information Security and Cryptology – ICISC 2016 [electronic resource] : 19th International Conference, Seoul, South Korea, November 30 – December 2, 2016, Revised Selected Papers / edited by Seokhie Hong, Jong Hwan Park.

by Hong, Seokhie [editor.] | Park, Jong Hwan [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10157 | Lecture Notes in Computer Science ; 10157Edition: 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
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
Intelligent Data Engineering and Automated Learning — IDEAL 2000. Data Mining, Financial Engineering, and Intelligent Agents [electronic resource] : Second International Conference Shatin, N.T., Hong Kong, China, December 13–15, 2000 Proceedings / edited by Kwong Sak Leung, Lai-Wan Chan, Helen Meng.

by Leung, Kwong Sak [editor.] | Chan, Lai-Wan [editor.] | Meng, Helen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1983Source: 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
Field-Programmable Logic and Applications [electronic resource] : 11th International Conference, FPL 2001 Belfast, Northern Ireland, UK, August 27-29, 2001 Proceedings / edited by Gordon Brebner, Roger Woods.

by Brebner, Gordon [editor.] | Woods, Roger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2147Source: 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
E-BOOKS
Biologically Motivated Computer Vision [electronic resource] : First IEEE International Workshop, BMCV 2000 Seoul, Korea, May 15–17, 2000 Proceedings / edited by Seong-Whan Lee, Heinrich H. Bülthoff, Tomaso Poggio.

by Lee, Seong-Whan [editor.] | Bülthoff, Heinrich H [editor.] | Poggio, Tomaso [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1811Source: 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
Automata, Languages and Programming [electronic resource] : 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings / edited by Fernando Orejas, Paul G. Spirakis, Jan Leeuwen.

by Orejas, Fernando [editor.] | Spirakis, Paul G [editor.] | Leeuwen, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2076Source: 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
E-BOOKS
Rough Sets and Knowledge Technology [electronic resource] : Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007. Proceedings / edited by JingTao Yao, Pawan Lingras, Wei-Zhi Wu, Marcin Szczuka, Nick J. Cercone, Dominik Ślȩzak.

by Yao, JingTao [editor.] | Lingras, Pawan [editor.] | Wu, Wei-Zhi [editor.] | Szczuka, Marcin [editor.] | Cercone, Nick J [editor.] | Ślȩzak, Dominik [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4481Source: 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
E-BOOKS
Wireless Algorithms, Systems, and Applications [electronic resource] : 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings / edited by Benyuan Liu, Azer Bestavros, Ding-Zhu Du, Jie Wang.

by Liu, Benyuan [editor.] | Bestavros, Azer [editor.] | Du, Ding-Zhu [editor.] | Wang, Jie [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5682Source: 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
The Arcata Conference on Representations of Finite Groups / [electronic resource] Paul Fong, editor.

by Arcata Conference on Representations of Finite Groups (1986 : Humboldt State University) | Fong, Paul, 1933-.

Series: Proceedings of symposia in pure mathematics ; v. 47.1Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1987Online access: Contents | Contents 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
Advances in p-Adic and non-Archimedean analysis : [electronic resource] tenth International Conference, June 30-July 3, 2008, Michigan State University, East Lansing, Michigan / Martin Berz, Khodr Shamseddine, editors.

by International Conference on p-Adic and Non-Archimedean Analysis (10th : 2008 : Michigan State University) | Berz, M | Shamseddine, Khodr, 1966-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 508.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c2010Online access: Contents | Contents 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