|
|
|
|
|
|
|
|
|
|
|
Information Security [electronic resource] : 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003. Proceedings / edited by Colin Boyd, Wenbo Mao. by Boyd, Colin [editor.] | Mao, Wenbo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2851Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Computer Aided Verification [electronic resource] : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings / edited by Rajeev Alur, Thomas A. Henzinger. by Alur, Rajeev [editor.] | Henzinger, Thomas A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1102Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings / edited by Itsuki Noda, Noriaki Ando, Davide Brugali, James J. Kuffner. by Noda, Itsuki [editor.] | Ando, Noriaki [editor.] | Brugali, Davide [editor.] | Kuffner, James J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7628Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
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): .
|
|
|
|
Analyzable functions and applications : [electronic resource] International Workshop on Analyzable Functions and Applications, June 17-21, 2002, International Centre for Mathematical Sciences, Edinburgh, Scotland / O. Costin, M.D. Kruskal, A. Macintyre, editors. by International Workshop on Analyzable Functions and Applications (2002 : Edinburgh, Scotland) | Costin, O. (Ovidiu), 1960- | Kruskal, Martin D. (Martin David), 1925-2006 | Macintyre, A. (Angus), 1941-. Series: Contemporary mathematics (American Mathematical Society) ; v. 373.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): .
|
|
|
|
Geometric and probabilistic structures in dynamics : [electronic resource] Workshop on Dynamical Systems and Related Topics in honor of Michael Brin on the occasion of his 60th birthday, March 15-18, 2008, University of Maryland, College Park, MD / Keith Burns, Dmitry Dolgopyat, Yakov Pesin, editors. by Workshop on Dynamical Systems and Related Topics (2008 : University of Maryland, College Park) | Brin, Michael | Burns, Keith, 1956- | Dolgopyat, Dmitry, 1972- | Pesin, Ya. B. Series: Contemporary mathematics (American Mathematical Society) ; v. 469.Material type: Text;Language: English; Format:
available online
festschrift
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, 2008Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Concentration, functional inequalities, and isoperimetry : [electronic resource] International Workshop on Concentration, Functional Inequalities, and Isoperimetry, October 29-November 1, 2009, Florida Atlantic University, Boca Raton, Florida / Christian Houdr�e ... [et al.], editors. by International Workshop on Concentration, Functional Inequalities, and Isoperimetry (2009 : Florida Atlantic University) | Houdr�e, Christian. Series: Contemporary mathematics ; v. 545Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2011Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Complex geometry and Lie theory / [electronic resource] James A. Carlson, C. Herbert Clemens, David R. Morrison, editors. by Carlson, James A, 1946- | Clemens, C. Herbert (Charles Herbert), 1939- | Morrison, David R, 1955-. Series: Proceedings of symposia in pure mathematics ; v. 53Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1991Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
The mathematical legacy of Harish-Chandra : [electronic resource] a celebration of representation theory and harmonic analysis : an AMS special session honoring the memory of Harish-Chandra, January 9-10, 1998, Baltimore, Maryland / Robert S. Doran, V.S. Varadarajan, editors. by Harish-Chandra | Doran, Robert S, 1937- | Varadarajan, V. S. Series: Proceedings of symposia in pure mathematics ; v. 68Material type: Text;Language: English; Format:
available online
festschrift
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2000Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing [electronic resource] : 12th International Conference, RSFDGrC 2009, Delhi, India, December 15-18, 2009. Proceedings / edited by Hiroshi Sakai, Mihir Kumar Chakraborty, Aboul Ella Hassanien, Dominik Ślęzak, William Zhu. by Sakai, Hiroshi [editor.] | Chakraborty, Mihir Kumar [editor.] | Hassanien, Aboul Ella [editor.] | Ślęzak, Dominik [editor.] | Zhu, William [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5908Source: 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): .
|
|
|
|
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;Language: English; Format:
available online
; 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): .
|
|
|
|
The mathematical legacy of Wilhelm Magnus : [electronic resource] groups, geometry, and special functions : Conference on the Legacy of Wilhelm Magnus, May 1-3, 1992, Polytechnic University, Brooklyn, New York / William Abikoff, Joan S. Birman, Kathryn Kuiken, editors. by Conference on the Legacy of Wilhelm Magnus (1992 : Brooklyn, New York, N.Y.) | Abikoff, William | Birman, Joan S, 1927- | Kuiken, Kathryn. Series: Contemporary mathematics (American Mathematical Society) ; v. 169.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1994Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|