|
|
|
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): .
|
|
|
|
|
|
|
|
|