|
|
|
|
|
|
|
Artificial Intelligence and Symbolic Computation [electronic resource] : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings / edited by Bruno Buchberger, John Campbell. by Buchberger, Bruno [editor.] | Campbell, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3249Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie. by Blazy, Sandrine [editor.] | Paulin-Mohring, Christine [editor.] | Pichardie, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7998Source: 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): .
|
|
|
|
|
|
|
|
Parallel Processing: CONPAR 92—VAPP V [electronic resource] : Second Joint International Conference on Vector and Parallel Processing Lyon, France, September 1–4, 1992 Proceedings / edited by Luc Bougé, Michel Cosnard, Yves Robert, Denis Trystram. by Bougé, Luc [editor.] | Cosnard, Michel [editor.] | Robert, Yves [editor.] | Trystram, Denis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 634Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online 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): .
|
|
|
|
Secondary calculus and cohomological physics : [electronic resource] proceedings of a Conference on Secondary Calculus and Cohomological Physics, August 24-31, 1997, Moscow, Russia / Marc Henneaux, Joseph Krasil�shchik, Alexandre Vinogradov, editors. by Conference on Secondary Calculus and Cohomological Physics (1997 : Moscow, Russia) | Henneaux, Marc | Krasil�shchik, I. S. (Iosif Semenovich) | Vinogradov, A. M. (Aleksandr Mikha�ilovich). Series: Contemporary mathematics (American Mathematical Society) ; v. 219.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): .
|
|
|
|
Analyzable functions and applications : [electronic resource] International Workshop on Analyzable Functions and Applications, June 17-21, 2002, International Centre for Mathematical Sciences, Edinburgh, Scotland / O. Costin, M.D. Kruskal, A. Macintyre, editors. by International Workshop on Analyzable Functions and Applications (2002 : Edinburgh, Scotland) | Costin, O. (Ovidiu), 1960- | Kruskal, Martin D. (Martin David), 1925-2006 | Macintyre, A. (Angus), 1941-. Series: Contemporary mathematics (American Mathematical Society) ; v. 373.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): .
|
|
|
|
Control methods in PDE-dynamical systems : [electronic resource] AMS-IMS-SIAM Joint Summer Research Conference, July 3-7, 2005, Snowbird, Utah / Fabio Ancona ... [et al.], editors. by AMS-IMS-SIAM Joint Summer Research Conference on Control Methods in PDE-Dynamical Systems (2005 : Snowbird, Utah) | Ancona, Fabio, 1964-. Series: Contemporary mathematics (American Mathematical Society) ; v. 426.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2007Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Complex analysis and dynamical systems IV : [electronic resource] Fourth International Conference on Complex Analysis and Dynamical Systems, May 18-22, 2009, Nahariya, Israel / Mark Agranovsky ... [et al.], editors. by International Conference on Complex Analysis and Dynamical Systems (4th : 2009 : Nahariyah, Israel) | Agranovski�i, M. L. (Mark L�vovich). Series: Contemporary mathematics ; v. 553Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : Ramat Gan, Israel : American Mathematical Society ; Bar-Ilan University, c2011Other title: Israel mathematical conference proceedings.Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Hodge theory, complex geometry, and representation theory : [electronic resource] NSF-CBMS Regional Conference in Mathematics, June 18, 2012, Texas Christian University, Fort Worth, Texas / Robert S. Doran, Greg Friedman, Scott Nollet, editors. by NSF/CBMS Regional Conference in the Mathematical Sciences: Hodge Theory, Complex Geometry, and Representation Theory (2012 : Fort Worth, Tex.) | Doran, Robert S, 1937- [editor of compilation.] | Friedman, Greg, 1973- [editor of compilation.] | Nollet, Scott, 1962- [editor of compilation.]. Series: Contemporary mathematics ; v. 608Material 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): .
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Javier Esparza, Andrzej S. Murawski. by Esparza, Javier [editor.] | Murawski, Andrzej S [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10203 | Lecture Notes in Computer Science ; 10203Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Domain decomposition methods 10 : [electronic resource] the Tenth International Conference on Domain Decomposition Methods, August 10-14, 1997, Boulder, CO / Jan Mandel, Charbel Farhat, Xiao-Chuan Cai, editors. by International Conference on Domain Decomposition (10th : 1997 : Boulder, Colo.) | Mandel, Jan | Farhat, Charbel | Cai, Xiao-Chuan, 1962-. Series: Contemporary mathematics (American Mathematical Society) ; v. 218.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1998Other title: Domain decomposition methods ten.Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|