Your search returned 180 results.

Not what you expected? Check for suggestions
E-BOOKS
B 2007: Formal Specification and Development in B [electronic resource] : 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings / edited by Jacques Julliand, Olga Kouchnarenko.

by Julliand, Jacques [editor.] | Kouchnarenko, Olga [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4355Source: 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
Computing and Combinatorics [electronic resource] : Third Annual International Conference, COCOON '97 Shanghai, China, August 20–22, 1997 Proceedings / edited by Tao Jiang, D. T. Lee.

by Jiang, Tao [editor.] | Lee, D. T [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1276Source: 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
Algorithms — ESA '97 [electronic resource] : 5th Annual European Symposium Graz, Austria, September 15–17, 1997 Proceedings / edited by Rainer Burkard, Gerhard Woeginger.

by Burkard, Rainer [editor.] | Woeginger, Gerhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1284Source: 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
Information Security and Privacy [electronic resource] : 13th Australasian Conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008. Proceedings / edited by Yi Mu, Willy Susilo, Jennifer Seberry.

by Mu, Yi [editor.] | Susilo, Willy [editor.] | Seberry, Jennifer [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5107Source: 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
Computational Processing of the Portuguese Language [electronic resource] : 9th International Conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27-30, 2010. Proceedings / edited by Thiago Alexandre Salgueiro Pardo, António Branco, Aldebaro Klautau, Renata Vieira, Vera Lúcia Strube Lima.

by Pardo, Thiago Alexandre Salgueiro [editor.] | Branco, António [editor.] | Klautau, Aldebaro [editor.] | Vieira, Renata [editor.] | Lima, Vera Lúcia Strube [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6001Source: 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 Multimedia Modeling [electronic resource] : 18th International Conference, MMM 2012, Klagenfurt, Austria, January 4-6, 2012. Proceedings / edited by Klaus Schoeffmann, Bernard Merialdo, Alexander G. Hauptmann, Chong-Wah Ngo, Yiannis Andreopoulos, Christian Breiteneder.

by Schoeffmann, Klaus [editor.] | Merialdo, Bernard [editor.] | Hauptmann, Alexander G [editor.] | Ngo, Chong-Wah [editor.] | Andreopoulos, Yiannis [editor.] | Breiteneder, Christian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7131Source: 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
Lectures on Probability Theory and Statistics [electronic resource] : Ecole d’Eté de Probabilités de Saint-Flour XXXII - 2002 / by Boris Tsirelson, Wendelin Werner ; edited by Jean Picard.

by Tsirelson, Boris [author.] | Werner, Wendelin [author.] | Picard, Jean [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1840Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 — CRYPTO’ 88 [electronic resource] : Proceedings / edited by Shafi Goldwasser.

by Goldwasser, Shafi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 403Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online 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
Progress in Cryptology – AFRICACRYPT 2008 [electronic resource] : First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. Proceedings / edited by Serge Vaudenay.

by Vaudenay, Serge [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5023Source: 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
Rough Set and Knowledge Technology [electronic resource] : 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010. Proceedings / edited by Jian Yu, Salvatore Greco, Pawan Lingras, Guoyin Wang, Andrzej Skowron.

by Yu, Jian [editor.] | Greco, Salvatore [editor.] | Lingras, Pawan [editor.] | Wang, Guoyin [editor.] | Skowron, Andrzej [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6401Source: 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
Technologies for Advanced Heterogeneous Networks [electronic resource] : First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005. Proceedings / edited by Kenjiro Cho, Philippe Jacquet.

by Cho, Kenjiro [editor.] | Jacquet, Philippe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3837Source: 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
BOOKS
The Writer's Library : the Authors You Love on the Books that Changed Their Lives

by Pearl, Nancy | Schwager, Jeff.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi Harperone 2020Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 58, Shelf No: 7 Call number: 82.09 PEA.

Place hold Log in to add tags
BOOKS
Four Ways of Thinking

by Sumpter, David.

;Language: English Language: English Publication details: Penguin 2023Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Technical Processing Call number: 159.9 SUM.

Log in to add tags
E-BOOKS
Advances in Multimedia Information Processing – PCM 2013 [electronic resource] : 14th Pacific-Rim Conference on Multimedia, Nanjing, China, December 13-16, 2013. Proceedings / edited by Benoit Huet, Chong-Wah Ngo, Jinhui Tang, Zhi-Hua Zhou, Alexander G. Hauptmann, Shuicheng Yan.

by Huet, Benoit [editor.] | Ngo, Chong-Wah [editor.] | Tang, Jinhui [editor.] | Zhou, Zhi-Hua [editor.] | Hauptmann, Alexander G [editor.] | Yan, Shuicheng [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8294Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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
Computer Human Interaction [electronic resource] : 6th Asia Pacific Conference, APCHI 2004, Rotorua, New Zealand, June 29-July 2, 2004. Proceedings / edited by Masood Masoodian, Steve Jones, Bill Rogers.

by Masoodian, Masood [editor.] | Jones, Steve [editor.] | Rogers, Bill [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3101Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 - IWDC 2004 [electronic resource] : 6th International Workshop, Kolkata, India, December 27-30, 2004. Proceedings / edited by Arunabha Sen, Nabanita Das, Sajal K. Das, Bhabani P. Sinha.

by Sen, Arunabha [editor.] | Das, Nabanita [editor.] | Das, Sajal K [editor.] | Sinha, Bhabani P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3326Source: 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 Information Retrieval [electronic resource] : 28th European Conference on IR Research, ECIR 2006, London, UK, April 10-12, 2006. Proceedings / edited by Mounia Lalmas, Andy MacFarlane, Stefan Rüger, Anastasios Tombros, Theodora Tsikrika, Alexei Yavlinsky.

by Lalmas, Mounia [editor.] | MacFarlane, Andy [editor.] | Rüger, Stefan [editor.] | Tombros, Anastasios [editor.] | Tsikrika, Theodora [editor.] | Yavlinsky, Alexei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3936Source: 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
Product-Focused Software Process Improvement [electronic resource] : 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006. Proceedings / edited by Jürgen Münch, Matias Vierimaa.

by Münch, Jürgen [editor.] | Vierimaa, Matias [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4034Source: 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
Advances in Information Retrieval [electronic resource] : 32nd European Conference on IR Research, ECIR 2010, Milton Keynes, UK, March 28-31, 2010.Proceedings / edited by Cathal Gurrin, Yulan He, Gabriella Kazai, Udo Kruschwitz, Suzanne Little, Thomas Roelleke, Stefan Rüger, Keith Rijsbergen.

by Gurrin, Cathal [editor.] | He, Yulan [editor.] | Kazai, Gabriella [editor.] | Kruschwitz, Udo [editor.] | Little, Suzanne [editor.] | Roelleke, Thomas [editor.] | Rüger, Stefan [editor.] | Rijsbergen, Keith [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5993Source: 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
Hybrid Artificial Intelligence Systems [electronic resource] : 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part I / edited by Manuel Graña Romay, Emilio Corchado, M. Teresa Garcia Sebastian.

by Graña Romay, Manuel [editor.] | Corchado, Emilio [editor.] | Garcia Sebastian, M. Teresa [editor.] | SpringerLink (Online service).

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

Powered by Koha