|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computational algebraic and analytic geometry : [electronic resource] AMS special sessions on computational algebraic and analytic geometry for low-dimensional varieties, January 8, 2007, New Orleans, LA, January 6, 2009, Washington, DC, [and] January 6, 2011, New Orleans, LA / Mika Seppala, Emil Volcheck, editors. by Sepp�al�a, Mika | Volcheck, Emil, 1966-. Series: Contemporary mathematics ; v. 572Material type:  Text;Language: English; Format:
available online
 ; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2012Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Proceedings of the International Congress of Mathematicians Madrid, August 22–30, 2006 [electronic resource] / Marta Sanz-Solé, Javier Soria, Juan Luis Varona, Joan Verdera by Sanz-Solé, Marta [editor.] | Soria, Javier [editor.] | Varona, Juan Luis [editor.] | Verdera, Joan [editor.]. Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2007Online access: Click here to access online | cover image Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Computational arithmetic geometry : [electronic resource] AMS Special Session on Computational Arithmetic Geometry, April 29-30, 2006, San Francisco State University, San Francisco, CA / Kristin E. Lauter, Kenneth A. Ribet, editors. by AMS Special Session on Computational Arithmetic Geometry (2006 : San Francisco, Calif.) | Lauter, Kristin E. (Kristin Estella), 1969- | Ribet, Kenneth. Series: Contemporary mathematics ; v. 463Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2008Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in discrete and computational geometry : [electronic resource] proceedings of the 1996 AMS-IMS-SIAM Joint Summer Research Conference, Discrete and Computational Geometry--Ten Years Later, July 14-18, 1996, Mount Holyoke College / Bernard Chazelle, Jacob E. Goodman, Richard Pollack, editors. by Chazelle, B. (Bernard) | Goodman, Jacob E | Pollack, Richard | American Mathematical Society | Institute of Mathematical Statistics | Society for Industrial and Applied Mathematics | AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences, "Discrete and Computational Geometry: Ten Years Later" (1996 : Mount Holyoke College). Series: Contemporary mathematics (American Mathematical Society) ; v. 223.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): .
|
|
|
|
|
Surveys on discrete and computational geometry : [electronic resource] twenty years later : AMS-IMS-SIAM Joint Summer Research Conference, June 18-22, 2006, Snowbird, Utah / Jacob E. Goodman, J�anos Pach, Richard Pollack, editors. by Goodman, Jacob E | Pach, J�anos | Pollack, Richard | AMS-IMS-SIAM Joint Summer Research Conference Discrete and Computational Geometry - Twenty Years Later (2006 : Snowbird, Utah). Series: Contemporary mathematics (American Mathematical Society) ; v. 453.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2008Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Algebraic and Proof-theoretic Aspects of Non-classical Logics [electronic resource] : Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday / edited by Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra. by Aguzzoli, Stefano [editor.] | Ciabattoni, Agata [editor.] | Gerla, Brunella [editor.] | Manara, Corrado [editor.] | Marra, Vincenzo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4460Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logical Approaches to Computational Barriers [electronic resource] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings / edited by Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker. by Beckmann, Arnold [editor.] | Berger, Ulrich [editor.] | Löwe, Benedikt [editor.] | Tucker, John V [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3988Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 20th International Colloquium, ICALP 93 Lund, Sweden, July 5–9, 1993 Proceedings / edited by Andrzej Lingas, Rolf Karlsson, Svante Carlsson. by Lingas, Andrzej [editor.] | Karlsson, Rolf [editor.] | Carlsson, Svante [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 700Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
