|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Artificial Immune Systems [electronic resource] : Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003. Proceedings / edited by Jon Timmis, Peter J. Bentley, Emma Hart. by Timmis, Jon [editor.] | Bentley, Peter J [editor.] | Hart, Emma [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2787Source: 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): .
|
|
|
|
|
|
|
|
|
|
Symbolic and Quantitative Approaches to Reasoning and Uncertainty [electronic resource] : European Conference, ECSQARU '95 Fribourg, Switzerland, July 3–5, 1995 Proceedings / edited by Christine Froidevaux, Jürg Kohlas. by Froidevaux, Christine [editor.] | Kohlas, Jürg [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 946Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Automated Deduction — Cade-13 [electronic resource] : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings / edited by M. A. McRobbie, J. K. Slaney. by McRobbie, M. A [editor.] | Slaney, J. K [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1104Source: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Optical SuperComputing [electronic resource] : Second International Workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009. Proceedings / edited by Shlomi Dolev, Mihai Oltean. by Dolev, Shlomi [editor.] | Oltean, Mihai [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5882Source: 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 Software – ICMS 2010 [electronic resource] : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings / edited by Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama. by Fukuda, Komei [editor.] | Hoeven, Joris van der [editor.] | Joswig, Michael [editor.] | Takayama, Nobuki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6327Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Perspectives on quantization : [electronic resource] proceedings of a 1996 AMS-IMS-SIAM Joint Summer Research Conference, July 7-11, 1996, Mt. Holyoke College / Lewis A. Coburn, Marc A. Rieffel, editors. by AMS-IMS-SIAM Joint Summer Research Conference (1996 : Mt. Holyoke College) | Coburn, Lewis A, 1940- | Rieffel, Marc A. (Marc Aristide), 1937-. Series: Contemporary mathematics (American Mathematical Society) ; v. 214.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): .
|
|
|
|
|
Topology and geometry : [electronic resource] Commemorating SISTAG : Singapore International Symposium in Topology and Geometry, (SISTAG) July 2-6, 2001, National University of Singapore, Singapore / A.J. Berrick, Man Chun Leung, Xingwang Xu, editors. by Singapore International Symposium in Topology and Geometry (2001 : National University of Singapore) | Berrick, A. J. (A. Jon) | Leung, Man Chun, 1963- | Xu, Xingwang, 1957-. Series: Contemporary mathematics (American Mathematical Society) ; v. 314.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2002Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Homotopy theory : [electronic resource] relations with algebraic geometry, group cohomology, and algebraic K-theory : An International Conference on Algebraic Topology March 24-28, 2002 Northwestern University / Paul Goerss, Stewart Priddy, editors. by International Conference on Algebraic Topology (2002 : Northwestern University) | Goerss, Paul Gregory | Priddy, Stewart, 1940-. Series: Contemporary mathematics (American Mathematical Society) ; v. 346.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2004Online 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): .
|
|
|
|
|
|
