|
|
|
Computer Science – Theory and Applications [electronic resource] : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings / edited by Dima Grigoriev, John Harrison, Edward A. Hirsch. by Grigoriev, Dima [editor.] | Harrison, John [editor.] | Hirsch, Edward A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3967Source: 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): .
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings / edited by Mark Aagaard, John Harrison. by Aagaard, Mark [editor.] | Harrison, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1869Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Differential geometry and mathematical physics / [electronic resource] AMS-CMS Special Session on Geometric Methods in Mathematical Physics, August 15-19, 1993, Vancouver, British Columbia, Canada ; John K. Beem, Krishan L. Duggal, editors. by AMS-CMS Special Session on Geometric Methods in Mathematical Physics (1993 : Vancouver, B.C.) | Beem, John K, 1942- | Duggal, Krishan L, 1929- | American Mathematical Society | Canadian Mathematical Society. Series: Contemporary mathematics (American Mathematical Society) ; v. 170.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, RI : American Mathematical Society, c1994Online 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Geometry and nature : [electronic resource] in memory of W.K. Clifford : a Conference on New Trends in Geometrical and Topological Methods in memory of William Kingdon Clifford, July 30-August 5, 1995, Madeira, Portugal / Hanna Nencka, Jean-Pierre Bourguignon, editors. by Conference on New Trends in Geometrical and Topological Methods (1995 : S�ao Jo�ao da Madeira, Portugal) | Clifford, William Kingdon, 1845-1879 | Nencka, Hanna, 1956- | Bourguignon, Jean-Pierre, 1947-. Series: Contemporary mathematics (American Mathematical Society) ; v. 203.Material type: Text;Language: English; Format:
available online
festschrift
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1997Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|