|
|
|
|
|
|
|
Progress in Cryptology - INDOCRYPT 2005 [electronic resource] : 6th International Conference on Cryptology in India, Bangalore, India, December 10-12, 2005. Proceedings / edited by Subhamoy Maitra, C. E. Veni Madhavan, Ramarathnam Venkatesan. by Maitra, Subhamoy [editor.] | Veni Madhavan, C. E [editor.] | Venkatesan, Ramarathnam [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3797Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 5th International Conference, AAECC-5 Menorca, Spain, June 15–19, 1987 Proceedings / edited by Llorenç Huguet, Alain Poli. by Huguet, Llorenç [editor.] | Poli, Alain [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 356Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Computational Methods in Systems Biology [electronic resource] : 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings / edited by Pierpaolo Degano, Roberto Gorrieri. by Degano, Pierpaolo [editor.] | Gorrieri, Roberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5688Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie. by Blazy, Sandrine [editor.] | Paulin-Mohring, Christine [editor.] | Pichardie, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7998Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Inverse problems, image analysis, and medical imaging : [electronic resource] AMS Special Session on Interaction of Inverse Problems and Image Analysis, January 10-13, 2001, New Orleans, Louisiana / M. Zuhair Nashed, Otmar Scherzer, editors. by AMS Special Session on Interaction of Inverse Problems and Image Analysis (2001 : New Orleans, La.) | Nashed, M. Zuhair | Scherzer, Otmar, 1964-. Series: Contemporary mathematics (American Mathematical Society) ; v. 313.Material type: Text;Language: English; Format:
available online
; 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): .
|
|
|
|
Heat kernels and analysis on manifolds, graphs, and metric spaces : [electronic resource] lecture notes from a quarter program on heat kernels, random walks, and analysis on manifolds, and graphs, : April 16-July 13, 2002, Emile Borel Centre of the Henri Poincar�e Institute, Paris, France / Pascal Auscher, Thierry Coulhon, Alexander Grigor�yan. by Auscher, Pascal | Coulhon, T | Grigoryan, A. (Alexander). Series: Contemporary mathematics (American Mathematical Society) ; v. 338.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, RI : American Mathematical Society, c2003Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Idempotent mathematics and mathematical physics : [electronic resource] international workshop, February 3-10, 2003, Erwin Schr�odinger International Institute for Mathematical Physics, Vienna, Austria / G.L. Litvinov, V.P. Maslov, editors. by Litvinov, G. L. (Grigori�i Lazarevich), 1944- | Maslov, V. P. (Viktor Pavlovich). Series: Contemporary mathematics (American Mathematical Society) ; v. 377.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2005Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
The ubiquitous heat kernel : [electronic resource] AMS special session, the ubiquitous heat kernel, October 2-4, 2003, Boulder, Colorado / Jay Jorgenson, Lynne Walling, editors. by Jorgenson, Jay | Walling, Lynne, 1958-. Series: Contemporary mathematics (American Mathematical Society) ; v. 398.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2006Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Complex geometry of groups : [electronic resource] January 5-11, 1998, Olmu�e, Chile / Angel Carocca, V�ictor Gonz�alez-Aguilera, Rub�i E. Rodr�iguez, editors. by Carocca, Angel, 1965- | Gonz�alez-Aguilera, V�ictor, 1950- | Rodr�iguez, Rub�i E, 1953- | Iberoamerican Congress on Geometry (1st : 1998 : Olmu�e, Chile). Series: Contemporary mathematics (American Mathematical Society) ; v. 240.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1999Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Domain decomposition methods 10 : [electronic resource] the Tenth International Conference on Domain Decomposition Methods, August 10-14, 1997, Boulder, CO / Jan Mandel, Charbel Farhat, Xiao-Chuan Cai, editors. by International Conference on Domain Decomposition (10th : 1997 : Boulder, Colo.) | Mandel, Jan | Farhat, Charbel | Cai, Xiao-Chuan, 1962-. Series: Contemporary mathematics (American Mathematical Society) ; v. 218.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1998Other title: Domain decomposition methods ten.Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Hyperbolic problems : [electronic resource] theory, numerics and applications : proceedings of the Twelfth International Conference on Hyperbolic Problems, June 9-13, 2008, Center for Scientific Computation and Mathematical Modeling, University of Maryland, College Park / Eitan Tadmor, Jian-Guo Liu, Athanasios Tzavaras, editors. by International Conference on Non-linear Hyperbolic Problems (12th : 2008 : University of Maryland) | Tadmor, Eitan | Liu, Jian-Guo | Tzavaras, Athanasios E, 1958-. Series: Proceedings of symposia in applied mathematics ; v. 67.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2009Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|