Your search returned 246 results.

Not what you expected? Check for suggestions
E-BOOKS
Coding and Cryptology [electronic resource] : Second International Workshop, IWCC 2009, Zhangjiajie, China, June 1-5, 2009. Proceedings / edited by Yeow Meng Chee, Chao Li, San Ling, Huaxiong Wang, Chaoping Xing.

by Chee, Yeow Meng [editor.] | Li, Chao [editor.] | Ling, San [editor.] | Wang, Huaxiong [editor.] | Xing, Chaoping [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5557Source: 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
Formal Methods: Foundations and Applications [electronic resource] : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers / edited by Marcel Vinícius Medeiros Oliveira, Jim Woodcock.

by Oliveira, Marcel Vinícius Medeiros [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5902Source: 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
Computational and statistical group theory : [electronic resource] AMS Special Session Geometric Group Theory, April 21-22, 2001, Las Vegas, Nevada, AMS Special Session Computational Group Theory, April 28-29, 2001, Hoboken, New Jersey / Robert Gilman, Vladimir Shpilrain, Alexei G. Myasnikov, editors.

by AMS Special Session Geometric Group Theory (2001 : Las Vegas, Nev.) | Gilman, Robert H, 1942- | Shpilrain, Vladimir, 1960- | Myasnikov, Alexei G, 1955- | AMS Special Session Computational Group Theory (2001 : Hoboken, N.J.).

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

Place hold Log in to add tags
E-BOOKS
Theory of Cryptography [electronic resource] : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II / edited by Martin Hirt, Adam Smith.

by Hirt, Martin [editor.] | Smith, Adam [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9986 | Lecture Notes in Computer Science ; 9986Edition: 1st ed. 2016.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, 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
Exploiting Hidden Structure in Matrix Computations: Algorithms and Applications [electronic resource] : Cetraro, Italy 2015 / by Michele Benzi, Dario Bini, Daniel Kressner, Hans Munthe-Kaas, Charles Van Loan ; edited by Michele Benzi, Valeria Simoncini.

by Benzi, Michele [author.] | Bini, Dario [author.] | Kressner, Daniel [author.] | Munthe-Kaas, Hans [author.] | Van Loan, Charles [author.] | Benzi, Michele [editor.] | Simoncini, Valeria [editor.] | SpringerLink (Online service).

Series: C.I.M.E. Foundation Subseries ; 2173Edition: 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
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
Intelligent Computing in Engineering and Architecture [electronic resource] : 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers / edited by Ian F. C. Smith.

by Smith, Ian F. C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4200Source: 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
Computational Science – ICCS 2007 [electronic resource] : 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV / edited by Yong Shi, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot.

by Shi, Yong [editor.] | Albada, Geert Dick [editor.] | Dongarra, Jack [editor.] | Sloot, Peter M. A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4490Source: 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
Intelligent Data Engineering and Automated Learning – IDEAL 2008 [electronic resource] : 9th International Conference Daejeon, South Korea, November 2-5, 2008 Proceedings / edited by Colin Fyfe, Dongsup Kim, Soo-Young Lee, Hujun Yin.

by Fyfe, Colin [editor.] | Kim, Dongsup [editor.] | Lee, Soo-Young [editor.] | Yin, Hujun [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5326Source: 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
Human Centered Computing [electronic resource] : First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers / edited by Qiaohong Zu, Bo Hu, Ning Gu, Sopheap Seng.

by Zu, Qiaohong [editor.] | Hu, Bo [editor.] | Gu, Ning [editor.] | Seng, Sopheap [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8944 | Lecture Notes in Computer Science ; 8944Edition: 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
Advanced Intelligent Computing Theories and Applications [electronic resource] : 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III / edited by De-Shuang Huang, Kyungsook Han.

by Huang, De-Shuang [editor.] | Han, Kyungsook [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9227 | Lecture Notes in Computer Science ; 9227Edition: 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
Dynamical Systems, Plasmas and Gravitation [electronic resource] : Selected Papers from a Conference Held in Orléans la Source, France, 22–24 June 1997 / edited by P. G. L. Leach, S. E. Bouquet, J.-L. Rouet, E. Fijalkow.

by Leach, P. G. L [editor.] | Bouquet, S. E [editor.] | Rouet, J.-L [editor.] | Fijalkow, E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 518Source: 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
Applications and Theory of Petri Nets 2004 [electronic resource] : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings / edited by Jordi Cortadella, Wolfgang Reisig.

by Cortadella, Jordi [editor.] | Reisig, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3099Source: 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
SOFSEM 2006: Theory and Practice of Computer Science [electronic resource] : 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings / edited by Jiří Wiedermann, Gerard Tel, Jaroslav Pokorný, Mária Bieliková, Július Štuller.

by Wiedermann, Jiří [editor.] | Tel, Gerard [editor.] | Pokorný, Jaroslav [editor.] | Bieliková, Mária [editor.] | Štuller, Július [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3831Source: 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
Evolvable Systems: From Biology to Hardware [electronic resource] : 5th International Conference, ICES 2003 Trondheim, Norway, March 17–20, 2003 Proceedings / edited by AAndy M. Tyrrell, Pauline C. Haddow, Jim Torresen.

by Tyrrell, AAndy M [editor.] | Haddow, Pauline C [editor.] | Torresen, Jim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2606Source: 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 Cryptology-CRYPT0’ 90 [electronic resource] : Proceedings / edited by Alfred J. Menezes, Scott A. Vanstone.

by Menezes, Alfred J [editor.] | Vanstone, Scott A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 537Source: 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
Hybrid Systems II [electronic resource] / edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry.

by Antsaklis, Panos [editor.] | Kohn, Wolf [editor.] | Nerode, Anil [editor.] | Sastry, Shankar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 999Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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 [electronic resource] : 12th International Symposium, DISC’98 Andros, Greece, September 24–26, 1998 Proceedings / edited by Shay Kutten.

by Kutten, Shay [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1499Source: 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
Experimental Algorithms [electronic resource] : 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings / edited by Andrew V. Goldberg, Alexander S. Kulikov.

by Goldberg, Andrew V [editor.] | Kulikov, Alexander S [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9685 | Lecture Notes in Computer Science ; 9685Edition: 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
Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / edited by Martin Fränzle, Deepak Kapur, Naijun Zhan.

by Fränzle, Martin [editor.] | Kapur, Deepak [editor.] | Zhan, Naijun [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9984 | Lecture Notes in Computer Science ; 9984Edition: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha