|
|
|
|
|
|
|
|
|
Real algebraic geometry and ordered structures : [electronic resource] AMS Special Session on Real Algebraic Geometry and Ordered Algebraic Structures held at Louisiana State University, Baton Rouge, LA, April 17-21, 1996 : Special Semester on Real Algebraic Geometry and Ordered Structures held at Louisiana State University and Southern University, Baton Rouge, LA, January-May 1996 / Charles N. Delzell, James J. Madden, editors. by AMS Special Session on Real Algebraic Geometry and Ordered Algebraic Structures (1996 : Louisiana State University) | Delzell, Charles N, 1953- | Madden, James J | Special Semester on Real Algebraic Geometry and Ordered Structures (1996 : Louisiana State University and Southern University). Series: Contemporary mathematics (American Mathematical Society) ; v. 253.Material type:  Text;Language: English; Format:
available online
 ; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2000Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Recent developments in algebraic and combinatorial aspects of representation theory : [electronic resource] International Congress of Mathematicians Satellite Conference on Algebraic and Combinatorial Approaches to Representation Theory, August 12-16, 2010, National Institute of Advanced Studies, Bangalore, India : Conference on Algebraic and Combinatorial Approaches to Representation Theory, May 18-20, 2012, University of California, Riverside, CA / Vyjayanthi Chari, Jacob Greenstein, Kailash C. Misra, K. N. Raghavan, Sankaran Viswanath, editors. by International Congress of Mathematicians Satellite Conference on Algebraic and Combinatorial Approaches to Representation Theory (2010 : Bangalore, India) | Chari, Vyjayanthi [editor of compilation.] | Conference on Algebraic and Combinatorial Approaches to Representation Theory (2012 : Riverside, Calif.). Series: Contemporary mathematics ; v. 602Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2013]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Algebraic and Proof-theoretic Aspects of Non-classical Logics [electronic resource] : Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday / edited by Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra. by Aguzzoli, Stefano [editor.] | Ciabattoni, Agata [editor.] | Gerla, Brunella [editor.] | Manara, Corrado [editor.] | Marra, Vincenzo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4460Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in ultrametric analysis : [electronic resource] 12th International Conference on p-adic Functional Analysis, July 2-6, 2012, University of Manitoba, Winnipeg, Canada / Khodr Shamseddine, editor. by International Conference on p-adic Functional Analysis (12th : 2012 : Winnipeg, Man.) | Shamseddine, Khodr, 1966- [editor of compilation.]. Series: Contemporary mathematics ; v. 596Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2013]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / edited by Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz. by Aceto, Luca [editor.] | Damgård, Ivan [editor.] | Goldberg, Leslie Ann [editor.] | Halldórsson, Magnús M [editor.] | Ingólfsdóttir, Anna [editor.] | Walukiewicz, Igor [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5125Source: 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): .
|
|
|
|
|
Proceedings of the International Congress of Mathematicians Madrid, August 22–30, 2006 [electronic resource] / Marta Sanz-Solé, Javier Soria, Juan Luis Varona, Joan Verdera by Sanz-Solé, Marta [editor.] | Soria, Javier [editor.] | Varona, Juan Luis [editor.] | Verdera, Joan [editor.]. Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2007Online access: Click here to access online | cover image Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logical Approaches to Computational Barriers [electronic resource] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings / edited by Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker. by Beckmann, Arnold [editor.] | Berger, Ulrich [editor.] | Löwe, Benedikt [editor.] | Tucker, John V [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3988Source: 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 Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Anuj Dawar, Helmut Veith. by Dawar, Anuj [editor.] | Veith, Helmut [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6247Source: 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): .
|
|
|
|
|
Mathematical Foundations of Computer Science 2003 [electronic resource] : 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003. Proceedings / edited by Branislav Rovan, Peter Vojtáš. by Rovan, Branislav [editor.] | Vojtáš, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2747Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Graph Transformation [electronic resource] : First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Hans -Jörg Kreowski, Grzegorz Rozenberg. by Corradini, Andrea [editor.] | Ehrig, Hartmut [editor.] | Kreowski, Hans -Jörg [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2505Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Mathematical Theory and Computational Practice [electronic resource] : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings / edited by Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle. by Ambos-Spies, Klaus [editor.] | Löwe, Benedikt [editor.] | Merkle, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5635Source: 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): .
|
|
|
|
|
|
|
|
|
|
Algebraic structures and their representations : [electronic resource] XV Coloquio Latinoamericano de Algebra, Cocoyoc, Morelos, M�exico, July 20-26, 2003 / Jos�e A. de la Pe�na, Ernesto Vallejo, Natig Atakishiyev, editors. by Coloquio Latinoamericano de Algebra (15th : 2003 : Cocoyoc, Mexico) | Pe�na, Jos�e Antonio de la, 1958- | Vallejo, Ernesto, 1959- | Atakishiyev, Natig M. Series: Contemporary mathematics (American Mathematical Society) ; v. 376.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2005Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
STACS 98 [electronic resource] : 15th Annual Symposium on Theoretical Aspects of Computer Science Paris, France, February 25–27, 1998 Proceedings / edited by Michel Morvan, Christoph Meinel, Daniel Krob. by Morvan, Michel [editor.] | Meinel, Christoph [editor.] | Krob, Daniel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1373Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Combinatorial Algorithms [electronic resource] : 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28–July 2, 2009, Revised Selected Papers / edited by Jiří Fiala, Jan Kratochvíl, Mirka Miller. by Fiala, Jiří [editor.] | Kratochvíl, Jan [editor.] | Miller, Mirka [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5874Source: 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): .
|
|
|
|
|
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics [electronic resource] : International Conference IFIP TCS 2000 Sendai, Japan, August 17–19, 2000 Proceedings / edited by Jan Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito. by Leeuwen, Jan [editor.] | Watanabe, Osamu [editor.] | Hagiya, Masami [editor.] | Mosses, Peter D [editor.] | Ito, Takayasu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1872Source: 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): .
|
|
|
|
|
|
