|
|
|
Intelligent Computer Mathematics [electronic resource] : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings / edited by Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk. by Autexier, Serge [editor.] | Campbell, John [editor.] | Rubio, Julio [editor.] | Sorge, Volker [editor.] | Suzuki, Masakazu [editor.] | Wiedijk, Freek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5144Source: 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): .
|
|
|
|
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): .
|
|
|
|
|
|
|
|
Global differential geometry : [electronic resource] the mathematical legacy of Alfred Gray : International Congress on Differential Geometry September 18-23, 2000, Bilbao, Spain / Marisa Fern�andez, Joseph A. Wolf, editors. by International Congress on Differential Geometry (2000 : Bilbao, Spain) | Gray, Alfred, 1939-1998 | Fern�andez, Marisa, 1953- | Wolf, Joseph Albert, 1936-. Series: Contemporary mathematics (American Mathematical Society) ; v. 288.Material type: Text;Language: English; Format:
available online
festschrift
; Literary form:
Not fiction
Publication details: Providence, RI : American Mathematical Society, c2001Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings / edited by Jin-Yi Cai, S. Barry Cooper, Angsheng Li. by Cai, Jin-Yi [editor.] | Cooper, S. Barry [editor.] | Li, Angsheng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3959Source: 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): .
|
|
|
|
Computer-Aided Verification [electronic resource] : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings / edited by Edmund M. Clarke, Robert P. Kurshan. by Clarke, Edmund M [editor.] | Kurshan, Robert P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 531Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Graph Grammars and Their Application to Computer Science [electronic resource] : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers / edited by Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg. by Cuny, Janice [editor.] | Ehrig, Hartmut [editor.] | Engels, Gregor [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1073Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
The Semantic Web - ISWC 2008 [electronic resource] : 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings / edited by Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan. by Sheth, Amit [editor.] | Staab, Steffen [editor.] | Dean, Mike [editor.] | Paolucci, Massimo [editor.] | Maynard, Diana [editor.] | Finin, Timothy [editor.] | Thirunarayan, Krishnaprasad [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5318Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Advances in quantum dynamics : [electronic resource] proceedings of the AMS-IMS-SIAM Joint Summer Research Conference on Advances in Quantum Dynamics, June 16-20, 2002, Mount Holyoke College, South Hadley, Massachusetts / Geoffrey L. Price, editor-in-chief ; B. Mitchell Baker, Palle E.T. Jorgensen, Paul S. Muhly, editors. by AMS-IMS-SIAM Joint Summer Research Conference on Advances in Quantum Dynamics (2002 : Mount Holyoke College) | Price, Geoffrey L, 1952-. Series: Contemporary mathematics (American Mathematical Society) ; v. 335.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2003Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Group representations, ergodic theory, and mathematical physics : [electronic resource] a tribute to George W. Mackey : AMS special session honoring the memory of George W. Mackey, January 7-8, 2007, New Orleans, Louisiana / Robert S. Doran, Calvin C. Moore, Robert J. Zimmer, editors. by Mackey, George W. (George Whitelaw), 1916-2006 | Doran, Robert S, 1937- | Moore, C. C. (Calvin C.), 1936- | Zimmer, Robert J, 1947-. Series: Contemporary mathematics (American Mathematical Society) ; v. 449.Material type: Text;Language: English; Format:
available online
festschrift
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2008Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Measure and measurable dynamics : [electronic resource] proceedings of a conference in honor of Dorothy Maharam Stone, held September 17-19, 1987 / R. Daniel Mauldin, R.M. Shortt, and Cesar E. Silva, editors. by Conference on Measure and Measurable Dynamics (1987 : University of Rochester) | Maharam-Stone, D. (Dorothy) | Mauldin, R. Daniel, 1943- | Shortt, Rae Michael | Silva, C�esar Ernesto, 1955-. Series: Contemporary mathematics (American Mathematical Society) ; v. 94.Material type: Text;Language: English; Format:
available online
festschrift
; 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): .
|
|
|
|
Homotopy theory via algebraic geometry and group representations : [electronic resource] proceedings of a Conference on Homotopy Theory, March 23-27, 1997, Northwestern University / Mark Mahowald, Stewart Priddy, editors. by Conference on Homotopy Theory (1997 : Northwestern University) | Mahowald, M. E. (Mark E.), 1931- | Priddy, Stewart, 1940-. Series: Contemporary mathematics (American Mathematical Society) ; v. 220.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1998Other title: Homotopy theory.Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
The mathematical legacy of Wilhelm Magnus : [electronic resource] groups, geometry, and special functions : Conference on the Legacy of Wilhelm Magnus, May 1-3, 1992, Polytechnic University, Brooklyn, New York / William Abikoff, Joan S. Birman, Kathryn Kuiken, editors. by Conference on the Legacy of Wilhelm Magnus (1992 : Brooklyn, New York, N.Y.) | Abikoff, William | Birman, Joan S, 1927- | Kuiken, Kathryn. Series: Contemporary mathematics (American Mathematical Society) ; v. 169.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1994Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
q-series from a contemporary perspective : [electronic resource] AMS-IMS-SIAM Joint Summer Research Conference on q-Series, Combinatorics, and Computer Algebra, June 21-25, 1998, Mount Holyoke College, South Hadley, MA / Mourad E.H. Ismail, Dennis W. Stanton, editors. by AMS-IMS-SIAM Joint Summer Research Conference on q-Series, Combinatorics, and Computer Algebra (1998 : Mount Holyoke College) | Ismail, Mourad, 1944- | Stanton, Dennis (Dennis W.). Series: Contemporary mathematics (American Mathematical Society) ; v. 254.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, 2000Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|