Your search returned 606 results.

Not what you expected? Check for suggestions
E-BOOKS
Theory and Practice of Formal Methods [electronic resource] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen.

by Ábrahám, Erika [editor.] | Bonsangue, Marcello [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9660 | Lecture Notes in Computer Science ; 9660Edition: 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
Computer Science – Theory and Applications [electronic resource] : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings / edited by Pascal Weil.

by Weil, Pascal [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10304 | Lecture Notes in Computer Science ; 10304Edition: 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Marsha Chechik, Jean-François Raskin.

by Chechik, Marsha [editor.] | Raskin, Jean-François [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9636 | Lecture Notes in Computer Science ; 9636Edition: 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Christel Baier, Cesare Tinelli.

by Baier, Christel [editor.] | Tinelli, Cesare [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9035 | Lecture Notes in Computer Science ; 9035Edition: 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
Fundamental Approaches to Software Engineering [electronic resource] : 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Perdita Stevens, Andrzej Wąsowski.

by Stevens, Perdita [editor.] | Wąsowski, Andrzej [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9633 | Lecture Notes in Computer Science ; 9633Edition: 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
Integer Programming and Combinatorial Optimization [electronic resource] : 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings / edited by Friedrich Eisenbrand, Jochen Koenemann.

by Eisenbrand, Friedrich [editor.] | Koenemann, Jochen [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10328 | Lecture Notes in Computer Science ; 10328Edition: 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
White Dwarfs [electronic resource] : Proceedings of the 9th European Workshop on White Dwarfs Held at Kiel, Germany, 29 August – 1 September 1994 / edited by Detlev Koester, Klaus Werner.

by Koester, Detlev [editor.] | Werner, Klaus [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 443Source: 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
User Modeling 2005 [electronic resource] : 10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005. Proceedings / edited by Liliana Ardissono, Paul Brna, Antonija Mitrovic.

by Ardissono, Liliana [editor.] | Brna, Paul [editor.] | Mitrovic, Antonija [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3538Source: 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
EUROCAL '85 [electronic resource] : European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 2: Research Contributions / edited by Bob F. Caviness.

by Caviness, Bob F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 204Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online 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 Logic — CL 2000 [electronic resource] : First International Conference London, UK, July 24–28, 2000 Proceedings / edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.

by Lloyd, John [editor.] | Dahl, Veronica [editor.] | Furbach, Ulrich [editor.] | Kerber, Manfred [editor.] | Lau, Kung-Kiu [editor.] | Palamidessi, Catuscia [editor.] | Pereira, Luís Moniz [editor.] | Sagiv, Yehoshua [editor.] | Stuckey, Peter J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1861Source: 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
Engineering Applications of Bio-Inspired Artificial Neural Networks [electronic resource] : International Work-Conference on Artificial and Natural Neural Networks, IWANN'99 Alicante, Spain, June 2–4, 1999 Proceedings, Volume II / edited by José Mira, Juan V. Sánchez-Andrés.

by Mira, José [editor.] | Sánchez-Andrés, Juan V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1607Source: 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
Euro-Par'96 Parallel Processing [electronic resource] : Second International Euro-Par Conference Lyon, France, August 26–29 1996 Proceedings, Volume I / edited by Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert.

by Bougé, Luc [editor.] | Fraigniaud, Pierre [editor.] | Mignotte, Anne [editor.] | Robert, Yves [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1123Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 and Architectures for Parallel Processing [electronic resource] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I / edited by Ching-Hsien Hsu, Laurence T. Yang, Jong Hyuk Park, Sang-Soo Yeo.

by Hsu, Ching-Hsien [editor.] | Yang, Laurence T [editor.] | Park, Jong Hyuk [editor.] | Yeo, Sang-Soo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6081Source: 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
Intelligent Robotics and Applications [electronic resource] : 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part I / edited by Chun-Yi Su, Subhash Rakheja, Honghai Liu.

by Su, Chun-Yi [editor.] | Rakheja, Subhash [editor.] | Liu, Honghai [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7506Source: 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
Wireless Algorithms, Systems, and Applications [electronic resource] : 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings / edited by Kui Ren, Xue Liu, Weifa Liang, Ming Xu, Xiaohua Jia, Kai Xing.

by Ren, Kui [editor.] | Liu, Xue [editor.] | Liang, Weifa [editor.] | Xu, Ming [editor.] | Jia, Xiaohua [editor.] | Xing, Kai [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7992Source: 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
Contributions to group theory / [electronic resource] Kenneth I. Appel, John G. Ratcliffe, and Paul E. Schupp, editors.

by Appel, Kenneth I, 1932-2013 | Ratcliffe, John G, 1948- | Schupp, Paul E, 1937- | Lyndon, Roger C.

Series: Contemporary mathematics (American Mathematical Society) ; v. 33.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1984Online access: Contents | Contents 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
Operator algebras and mathematical physics : [electronic resource] proceedings of a summer conference held June 17-21, 1985 with support from the National Science Foundation and the University of Iowa / Palle E.T. Jorgensen and Paul S. Muhly, editors.

by J�rgensen, Palle E. T, 1947- | Muhly, Paul S | Summer Conference on Algebras and Mathematical Physics (1985 : University of Iowa).

Series: Contemporary mathematics (American Mathematical Society) ; v. 62.Material type: Text Text;Language: English; Format: available online remote festschrift ; 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
Algebraic topology : [electronic resource] Oaxtepec 1991 :proceedings of an International Conference on Algebraic Topology, July 4-11, 1991 with support from the National Science Foundation and the Consejo Nacional de Ciencia y Technologia (Mexico) / Martin C. Tangora, editor.

by International Conference on Algebraic Topology (1991 : Oaxtepec, Mexico) | Tangora, Martin C | National Science Foundation (U.S.) | Consejo Nacional de Ciencia y Tecnologia (Mexico).

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

Place hold Log in to add tags
E-BOOKS
Recent developments in the inverse Galois problem : [electronic resource] a Joint Summer Research Conference on Recent Developments in the Inverse Galois Problem, July 17-23, 1993, University of Washington, Seattle / Michael D. Fried, coordinating editor ; Shreeram S. Abhyankar ... [et al.], editors.

by Joint Summer Research Conference on Recent Developments in the Inverse Galois Problem (1993 : Seattle, Wash.) | Fried, Michael D, 1942- | Abhyankar, Shreeram Shankar | American Mathematical Society.

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