|
|
|
|
Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger. by Carette, Jacques [editor.] | Aspinall, David [editor.] | Lange, Christoph [editor.] | Sojka, Petr [editor.] | Windsteiger, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7961Source: 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): .
|
|
|
|
|
Programming Languages [electronic resource] : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings / edited by André Rauber Bois, Phil Trinder. by Bois, André Rauber [editor.] | Trinder, Phil [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8129Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Arithmetic, geometry, cryptography, and coding theory : [electronic resource] international conference, November 5-9, 2007, CIRM, Marseilles, France / Gilles Lachaud, Christophe Ritzenthaler, Michael A. Tsfasman, editors. by Lachaud, Gilles | Ritzenthaler, Christophe, 1976- | Tsfasman, M. A. (Michael A.), 1954-. Series: Contemporary mathematics (American Mathematical Society) ; v. 487.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): .
|
|
|
|
|
|
|
|
|
|
Noncommutative birational geometry, representations and combinatorics : [electronic resource] AMS Special Session on Noncommutative Birational Geometry, Representations and Cluster Algebras, January 6-7, 2012, Boston, MA / Arkady Berenstein, Vladimir Retakh, editors. by AMS Special Session on Noncommutative Birational Geometry, Representations and Cluster Algebras (2012 : Boston, Mass.) | Berenstein, Arkady | Retakh, Vladimir. Series: Contemporary mathematics ; v. 592Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2013]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
K-theory and algebraic geometry : [electronic resource] connections with quadratic forms and division algebras / Summer Research Institute on Quadratic Forms and Division Algebras, July 6-24, 1992, University of California, Santa Barbara ; Bill Jacob, Alex Rosenberg, editors. by Summer Research Institute on Quadratic Forms and Division Algebras (1992 : University of California, Santa Barbara, Calif.) | Jacob, Bill | Rosenberg, Alex, 1926-. Series: Proceedings of symposia in pure mathematics ; v. 58.1Material type: Text;Language: English; Format:
available online
; 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): .
|
|
|
|
|
Algebraic geometry, Seattle 2005 : [electronic resource] 2005 Summer Research Institute, July 25-August 12, 2005, University of Washington, Seattle, Washington / D. Abramovich ... [et al.], editors. by Summer Research Institute on Algebraic Geometry (2005 : Seattle, Wash.) | Abramovich, D. (Dan). Series: Proceedings of symposia in pure mathematics ; v. 80.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): .
|
|
|
|
|
Superstrings, geometry, topology, and C*-algebras : [electronic resource] [NSF-CBMS Conference Topology, C*-algebras, and String Duality, May 18-22, 2009, Texas Christian University, Fort Worth, Texas] / Robert S. Doran, Greg Friedman, Jonathan Rosenberg, editors. by NSF-CBMS Conference Topology, C*-algebras, and String Duality (2009 : Texas Christian University) | Doran, Robert S, 1937- | Friedman, Greg, 1973- | Rosenberg, Jonathan M. (Jonathan Micah), 1951- | Conference Board of the Mathematical Sciences | National Science Foundation (U.S.). Series: Proceedings of symposia in pure mathematics ; v. 81.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, 2010Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
K-Theory and Noncommutative Geometry [electronic resource] / Guillermo Cortiñas, Joachim Cuntz, Max Karoubi, Ryszard Nest, Charles A. Weibel by Cortiñas, Guillermo [editor.] | Cuntz, Joachim [editor.] | Karoubi, Max [editor.] | Nest, Ryszard [editor.] | Weibel, Charles A [editor.]. Series: EMS Series of Congress Reports (ECR)Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2008Online access: Click here to access online | cover image Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Programming Languages [electronic resource] : 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings / edited by Fernando Castor, Yu David Liu. by Castor, Fernando [editor.] | Liu, Yu David [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9889 | Lecture Notes in Computer Science ; 9889Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Developments in Language Theory [electronic resource] : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings / edited by Srečko Brlek, Christophe Reutenauer. by Brlek, Srečko [editor.] | Reutenauer, Christophe [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9840 | Lecture Notes in Computer Science ; 9840Edition: 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): .
|
|
|
|
|
|
