|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling. by Galmiche, Didier [editor.] | Larchey-Wendling, Dominique [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8123Source: 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): .
|
|
|
|
Mapping class groups and moduli spaces of Riemann surfaces : [electronic resource] proceedings of workshops held June 24-28, 1991, in G�ottingen, Germany, and August 6-10, 1991, in Seattle, Washington ... / Carl-Friedrich B�odigheimer, Richard M. Hain, editors. by B�odigheimer, Carl-Friedrich, 1956- | Hain, Richard M. (Richard Martin), 1953- | Workshop on Mapping Class Groups and Moduli Spaces of Riemann Surfaces (1991 : G�ottingen, Germany, and Seattle, Wash.). Series: Contemporary mathematics (American Mathematical Society) ; v. 150.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1993Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Recent advances in operator-related function theory : [electronic resource] Conference on Recent Advances in Operator-Related Function Theory, Trinity College, Dublin, Ireland, August 4-6, 2004 / Alec L. Matheson, Michael I. Stessin, Richard M. Timoney, editors. by Conference on Recent Advances in Operator-Related Function Theory (2004 : Dublin, Ireland) | Matheson, Alec L, 1946- | Stessin, Michael I, 1953- | Timoney, Richard Martin. Series: Contemporary mathematics (American Mathematical Society) ; v. 393Material 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): .
|
|
|
|
|
|
|
|
Studies in Loop quantum Cosmology by Hossain, Golam Mortuza [author]. Material type: Text Publication details: 2006Dissertation Note: 2006 ; Ph.D ; University of MadrasAdvisor(s): Kalyana Rama, S..Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: UNM TH-84 .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe. by Dediu, Adrian-Horia [editor.] | Martín-Vide, Carlos [editor.] | Truthe, Bianca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7810Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|