|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Interactive Theorem Proving [electronic resource] : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings / edited by Mauricio Ayala-Rincón, César A. Muñoz. by Ayala-Rincón, Mauricio [editor.] | Muñoz, César A [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10499 | Lecture Notes in Computer Science ; 10499Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / edited by Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz. by Aceto, Luca [editor.] | Damgård, Ivan [editor.] | Goldberg, Leslie Ann [editor.] | Halldórsson, Magnús M [editor.] | Ingólfsdóttir, Anna [editor.] | Walukiewicz, Igor [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5125Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Dynamics and control of multibody systems : [electronic resource] proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held July 30-August 5, 1988, with support from the National Science Foundation / J.E. Marsden, P.S. Krishnaprasad, and J.C. Simo, editors. by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Control Theory and Multibody Systems (1988 : Bowdoin College) | Marsden, Jerrold E | Krishnaprasad, P. S. (Perinkulam Sambamurthy), 1949- | Simo, J. C. (Juan C.), 1952-. Series: Contemporary Mathematics (American Mathematical Society) ; v.97.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1989Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Integral geometry and tomography : [electronic resource] proceedings of the AMS-IMS-SIAM joint summer research conference, held June 24-30, 1989, with support from the National Science Foundation / Eric Grinberg and Eric Todd Quinto, editors. by Joint Summer Research Conference on Integral Geometry and Tomography (1989 : Humboldt State University) | Grinberg, Eric, 1958- | Quinto, Eric Todd, 1951- | American Mathematical Society | Institute of Mathematical Statistics | Society for Industrial and Applied Mathematics. Series: Contemporary mathematics (American Mathematical Society) ; v. 113.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1990Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Number theory : [electronic resource] Ramanujan Mathematical Society, January 3-6, 1996, Tiruchirapalli, India / V. Kumar Murty, Michel Waldschmidt, editors. by Murty, Vijaya Kumar, 1956- | Waldschmidt, Michel, 1946- | Ramanujan Mathematical Society. Series: Contemporary mathematics (American Mathematical Society) ; v. 210.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1998Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Trends in the representation theory of finite dimensional algebras : [electronic resource] 1997 Joint Summer Research Conference on Trends in the Representation Theory of Finite Dimensional Algebras, July 20-24, 1997, Seattle, Washington / Edward L. Green, Birge Huisgen-Zimmermann, editors. by Joint Summer Research Conference on Trends in the Representation Theory of Finite Dimensional Algebras (1997 : Seattle, Wash.) | Green, Edward L, 1946- | Huisgen-Zimmermann, Birge, 1946-. Series: Contemporary mathematics (American Mathematical Society) ; v. 229.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1998Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Algebraic geometry, Hirzebruch 70 : [electronic resource] proceedings of the Algebraic Geometry Conference in honor of F. Hirzebruch's 70th birthday, May 11-16, 1998, Stefan Banach International Mathematical Center Warszawa, Poland / Piotr Pragacz, Michal Szurek, Jaros�aw Wi�sniewski, editors. by Algebraic Geometry Conference in Honor of F. Hirzebruch's 70th Birthday (1998 : Warsaw, Poland) | Hirzebruch, Friedrich | Pragacz, Piotr | Szurek, Michal, 1946- | Wi�sniewski, Jaros�aw, 1961-. Series: Contemporary mathematics (American Mathematical Society) ; v. 241.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): .
|
|
|
|
|
|
|
|
Noncommutative geometry and representation theory in mathematical physics : [electronic resource] satellite conference to the Fourth European Congress of Mathematics, July 5-10, 2004, Karlstad University, Karlstad, Sweden, / J�urgen Fuchs ... [et al.] editors. by Fuchs, J�urgen, 1957 May 19- | European Congress of Mathematics (4th : 2004 : Karlstad, Sweden). Series: Contemporary mathematics (American Mathematical Society) ; v. 391.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): .
|
|
|
|
|