|
|
|
|
|
|
|
Developments in Language Theory [electronic resource] : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / edited by Marie-Pierre Béal, Olivier Carton. by Béal, Marie-Pierre [editor.] | Carton, Olivier [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7907Source: 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): .
|
|
|
|
Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings / edited by Glyn Morrill, Mark-Jan Nederhof. by Morrill, Glyn [editor.] | Nederhof, Mark-Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8036Source: 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): .
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / edited by Víctor Braberman, Laurent Fribourg. by Braberman, Víctor [editor.] | Fribourg, Laurent [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8053Source: 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): .
|
|
|
|
Programming Languages [electronic resource] : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings / edited by André Rauber Bois, Phil Trinder. by Bois, André Rauber [editor.] | Trinder, Phil [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8129Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Advances in contemporary logic and computer science : [electronic resource] proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors. by Brazilian Conference on Mathematical Logic (11th : 1996 : Salvador, Brazil) | Carnielli, Walter A. (Walter Alexandre) | D'Ottaviano, Itala M. L, 1944-. Series: Contemporary mathematics (American Mathematical Society) ; v. 235.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, RI : American Mathematical Society, 1999Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Topology, geometry, and algebra : [electronic resource] interactions and new directions : Conference on Algebraic Topology in honor of R. James Milgram, August 17-21, 1999, Stanford, California / Alejandro Adem, Gunnar Carlsson, Ralph Cohen, editors. by Conference on Algebraic Topology in Honor of R. James Milgram (1999 : Stanford, Calif.) | Milgram, R. James | Adem, Alejandro | Carlsson, G. (Gunnar), 1952- | Cohen, Ralph L, 1952-. Series: Contemporary mathematics (American Mathematical Society) ; v. 279.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): .
|
|
|
|
|
|
|
|
Diagrammatic morphisms and applications : [electronic resource] AMS Special Session on Diagrammatic Morphisms in Algebra, Category Theory, and Topology, October 21-22, 2000, San Francisco State University, San Francisco, California / David E. Radford, Fernando J.O. Souza, David N. Yetter, editors. by AMS Special Session on Diagrammatic Morphisms in Algebra, Category Theory, and Topology (2000 : San Francisco, Calif.) | Radford, David E | Souza, Fernando J. O. (Fernando Jos�e Oliveira), 1971- | Yetter, David N. Series: Contemporary mathematics (American Mathematical Society) ; v. 318.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): .
|
|
|
|
Integer points in polyhedra : [electronic resource] geometry, number theory, algebra, optimization : proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Integer Points in Polyhedra, Geometry, Number Theory, Algebra, Optimization, July 13-17, 2003, Snowbird, Utah / Alexander Barvinok ... [et al.], editors. by AMS-IMS-SIAM Joint Summer Research Conference on Integer Points in Polyhedra, Geometry, Number Theory, Algebra, Optimization (2003 : Snowbird, Utah) | Barvinok, Alexander, 1963-. Series: Contemporary mathematics (American Mathematical Society) ; v. 374.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, 2005Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Bergman spaces and related topics in complex analysis : [electronic resource] proceedings of a conference in honor of Boris Korenblum's 80th birthday, November 20-22, 2003, Barcelona, Spain / Alexander Borichev, H�akan Hedenmalm, Kehe Zhu, editors. by Korenblum, Boris | Borichev, Alexander A, 1963- | Hedenmalm, Haakan | Zhu, Kehe, 1961-. Series: Contemporary mathematics (American Mathematical Society) ; v. 404.Material type: Text;Language: English; Format:
available online
festschrift
; Literary form:
Not fiction
Publication details: Providence, R.I. : Ramat Gan, Israel : American Mathematical Society ; Bar-Ilan University, 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): .
|
|
|
|
Arithmetic, geometry, cryptography, and coding theory : [electronic resource] international conference, November 5-9, 2007, CIRM, Marseilles, France / Gilles Lachaud, Christophe Ritzenthaler, Michael A. Tsfasman, editors. by Lachaud, Gilles | Ritzenthaler, Christophe, 1976- | Tsfasman, M. A. (Michael A.), 1954-. Series: Contemporary mathematics (American Mathematical Society) ; v. 487.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2009Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Quantum affine algebras, extended affine Lie algebras, and their applications : [electronic resource] Quantum Affine Algebras, Extended Affine Lie Algebras, and Applications, March 2-7, 2008, Banff International Research Station, Banff, Canada / Yun Gao ... [et al.], editors. by Workshop on Quantum Affine Lie Algebras, Extended Affine Lie algebras, and Applications (2008 : Banff International Research Station) | Gao, Yun, 1963-. Series: Contemporary mathematics (American Mathematical Society) ; v. 506.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2010Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Algebraic geometry, Seattle 2005 : [electronic resource] 2005 Summer Research Institute, July 25-August 12, 2005, University of Washington, Seattle, Washington / D. Abramovich ... [et al.], editors. by Summer Research Institute on Algebraic Geometry (2005 : Seattle, Wash.) | Abramovich, D. (Dan). Series: Proceedings of symposia in pure mathematics ; v. 80.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2009Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|