|
|
|
|
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 18th International Colloquium Madrid, Spain, July 8–12, 1991 Proceedings / edited by Javier Leach Albert, Burkhard Monien, Mario Rodríguez Artalejo. by Albert, Javier Leach [editor.] | Monien, Burkhard [editor.] | Artalejo, Mario Rodríguez [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 510Source: 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): .
|
|
|
|
|
|
|
|
|
|
Logic, Language, Information and Computation [electronic resource] : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings / edited by Hiroakira Ono, Makoto Kanazawa, Ruy Queiroz. by Ono, Hiroakira [editor.] | Kanazawa, Makoto [editor.] | Queiroz, Ruy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5514Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Mathematical Foundations of Computer Science 2010 [electronic resource] : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Petr Hliněný, Antonín Kučera. by Hliněný, Petr [editor.] | Kučera, Antonín [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6281Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Homotopy methods in algebraic topology : [electronic resource] proceedings of an AMS-IMS-SIAM Joint Summer Research Conference, University of Colorado, Boulder, June 20-24, 1999 / J.P.C. Greenlees, with assistance from Robert R. Bruner, Nicholas Kuhn, editors. by Greenlees, J. P. C. (John Patrick Campbell), 1959- | Bruner, R. R. (Robert Ray), 1950- | Kuhn, Nicholas J. (Nicholas John), 1955- | Conference on Homotopy Methods in Algebraic Topology (1999 : Boulder, Colo.). Series: Contemporary mathematics (American Mathematical Society) ; v. 271.Material type: Text;Language: English; Format:
available online
; 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): .
|
|
|
|
|
Groupoids in analysis, geometry, and physics : [electronic resource] AMS-IMS-SIAM Joint Summer Research Conference on Groupoids in Analysis, Geometry, and Physics, June 20-24, 1999, University of Colorado, Boulder / Arlan Ramsay, Jean Renault, editors. by AMS-IMS-SIAM Joint Summer Research Conference on Groupoids in Analysis, Geometry, and Physics (1999 : University of Colorado) | Ramsay, Arlan | Renault, Jean, 1949-. Series: Contemporary mathematics (American Mathematical Society) ; 282.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2001Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Symbolic computation : [electronic resource] solving equations in algebra, geometry, and engineering : proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering, Mount Holyoke College, South Hadley, MA, June 11-15, 2000 / Edward L. Green ... [et al.], editors. by AMS-IMS-SIAM Joint Summer Research Conference on Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering (2000 : Mount Holyoke College) | Green, Edward L, 1946-. Series: Contemporary mathematics (American Mathematical Society) ; v. 286.Material type: Text;Language: English; Format:
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
Combinatorial and geometric representation theory : [electronic resource] an international conference on combinatorial and geometric representation theory, October 22-26, 2001, Seoul National University, Seoul, Korea / Seok-Jin Kang, Kyu-Hwan Lee, editors. by Kang, Seok-Jin | Lee, Kyu-Hwan, 1970-. Series: Contemporary mathematics (American Mathematical Society) ; v. 325.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): .
|
|
|
|
|
An alpine anthology of homotopy theory : [electronic resource] proceedings of the Second Arolla Conference on Algebraic Topology, August 24-29, 2004, Arolla, Switzerland / Dominique Arlettaz, Kathryn Hess, editors. by Arolla Conference on Algebraic Topology (2nd : 2004) | Arlettaz, Dominique | Hess, Kathryn, 1967-. Series: Contemporary mathematics (American Mathematical Society) ; v. 399.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): .
|
|
|
|
|
Computational group theory and the theory of groups : [electronic resource] AMS Special Session on Computational Group Theory, March 3-4, 2007, Davidson College, Davidson, North Carolina / Luise-Charlotte Kappe, Arturo Magidin, Robert Fitzgerald Morse, editors. by AMS Special Session on Computational Group Theory (2007 : Davidson College) | Kappe, Luise-Charlotte | Magidin, Arturo | Morse, Robert Fitzgerald. Series: Contemporary mathematics (American Mathematical Society) ; v. 470.Material type: Text;Language: English; Format:
available online
; 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): .
|
|
|
|
|
Cross disciplinary advances in quantum computing : [electronic resource] NSF sponsored research Conference on Representation Theory, Quantum Field Theory, Category Theory, and Quantum Information Theory, October 1-4, 2009, University of Texas at Tyler, Tyler, Texas / Kazem Mahdavi, Deborah Koslover, Leonard L. Brown, III, editors. by Conference on Representation Theory, Quantum Field Theory, Category Theory, and Quantum Information Theory (2009 : University of Texas at Tyler) | Mahdavi, Kazem | Koslover, Deborah | Brown, Leonard L, 1972-. Series: Contemporary mathematics (American Mathematical Society) ; v. 536.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2011Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Mathematical aspects of quantization : [electronic resource] Center for Mathematics at Notre Dame, Summer School and Conference, May 31-June 10, 2011, Notre Dame University, Notre Dame, Indiana / Sam Evens, Michael Gekhtman, Brian C. Hall, Xiaobo Liu, Claudia Polini, editors. by Evens, Sam, 1961- [editor of compilation.] | Center for Mathematics at Notre Dame [sponsoring body.] | Conference on Mathematical Aspects of Quantization (2011 : Notre Dame, Ind.). Series: Contemporary mathematics ; v. 583Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2012]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
