|
|
|
Diophantine Approximation [electronic resource] : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 28 – July 6, 2000 / by David Masser, Yuri V. Nesterenko, Hans Peter Schlickewei, Wolfgang Schmidt, Michel Waldschmidt ; edited by Francesco Amoroso, Umberto Zannier. by Masser, David [author.] | Nesterenko, Yuri V [author.] | Schlickewei, Hans Peter [author.] | Schmidt, Wolfgang [author.] | Waldschmidt, Michel [author.] | Amoroso, Francesco [editor.] | Zannier, Umberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics, Fondazione C.I.M.E., Firenze ; 1819Source: 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): .
|
|
|
|
Programming Languages and Systems [electronic resource] : 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / edited by David Schmidt. by Schmidt, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2986Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Mathematical Foundations of Programming Semantics [electronic resource] : 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt. by Brookes, Stephen [editor.] | Main, Michael [editor.] | Melton, Austin [editor.] | Mislove, Michael [editor.] | Schmidt, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 598Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Mathematical Foundations of Programming Semantics [electronic resource] : 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt. by Brookes, Stephen [editor.] | Main, Michael [editor.] | Melton, Austin [editor.] | Mislove, Michael [editor.] | Schmidt, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 802Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online 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): .
|
|
|
|
|
|
|
|
Computational group theory and the theory of groups, II : [electronic resource] Computational Group Theory and Cohomology, August 4-8, 2008, Harlaxton College, Grantham, United Kingdom : AMS Special Session, Computational Group Theory, October 17-19, 2008, Western Michigan University, Kalamazoo, MI / Luise-Charlotte Kappe, Arturo Magidin, Robert Fitzgerald Morse, editors. by Harlaxton Conference on Computational Group Theory and Cohomology (2008 : Harlaxton College) | Kappe, Luise-Charlotte | Magidin, Arturo | Morse, Robert Fitzgerald | AMS Special Session on Computational Group Theory (2008 : Western Michigan University). Series: Contemporary mathematics (American Mathematical Society) ; v. 511.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2010Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|