|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
Computation and Logic in the Real World [electronic resource] : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi. by Cooper, S. Barry [editor.] | Löwe, Benedikt [editor.] | Sorbi, Andrea [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4497Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Advances in Computation and Intelligence [electronic resource] : 4th International Symposium, ISICA 2009 Huangshi, China, Ocotober 23-25, 2009 Proceedings / edited by Zhihua Cai, Zhenhua Li, Zhuo Kang, Yong Liu. by Cai, Zhihua [editor.] | Li, Zhenhua [editor.] | Kang, Zhuo [editor.] | Liu, Yong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5821Source: 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): .
|
|
|
|
|
Advances in Pattern Recognition [electronic resource] : Second Mexican Conference on Pattern Recognition, MCPR 2010, Puebla, Mexico, September 27-29, 2010. Proceedings / edited by José Francisco Martínez-Trinidad, Jesús Ariel Carrasco-Ochoa, Josef Kittler. by Martínez-Trinidad, José Francisco [editor.] | Carrasco-Ochoa, Jesús Ariel [editor.] | Kittler, Josef [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6256Source: 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): .
|
|
|
|
|
Vision geometry : [electronic resource] proceedings of an AMS special session held October 20-21, 1989 / Robert A. Melter, Azriel Rosenfeld, Prabir Bhattacharya, editors. by Melter, Robert A | Rosenfeld, Azriel, 1931- | Bhattacharya, Prabir, 1948- | American Mathematical Society. Series: Contemporary mathematics (American Mathematical Society) ; v. 119.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, 1991Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Topics in algebraic geometry and geometric modeling : [electronic resource] Workshop on Algebraic Geometry and Geometric Modeling, July 29-August 2, 2002, Vilnius University, Vilnius, Lithuania / Ron Goldman, Rimvydas Krasauskas, editors. by Workshop on Algebraic Geometry and Geometric Modeling (2002 : Vilnius University) | Goldman, Ron, 1947- | Krasauskas, Rimvydas, 1958-. Series: Contemporary mathematics (American Mathematical Society) ; v. 334.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, 2003Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Wavelets, frames, and operator theory : [electronic resource] Focused Research Group Workshop on Wavelets, Frames, and Operator Theory, January 15-21, 2003, University of Maryland, College Park, Maryland / Christopher Heil, Palle E.T. Jorgensen, David R. Larson, editors. by Focused Research Group Workshop on Wavelets, Frames, and Operator Theory (2003 : University of Maryland) | Heil, Christopher R, 1965- | J�rgensen, Palle E. T, 1947- | Larson, David R, 1942-. Series: Contemporary mathematics (American Mathematical Society) ; v. 345.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): .
|
|
|
|
|
Nonlinear partial differential equations and related analysis : [electronic resource] the Emphasis Year 2002-2003 program on nonlinear partial differential equations and related analysis, September 2002-July 2003, Northwestern University, Evanston, Illinois / Gui-Qiang Chen, George Gasper, Joseph Jerome, editors. by Chen, Gui-Qiang, 1963- | Gasper, George | Jerome, Joseph W. Series: Contemporary mathematics (American Mathematical Society) ; v. 371.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): .
|
|
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 13th International Workshop, PATMOS 2003, Turin, Italy, September 10-12, 2003. Proceedings / edited by Jorge Juan Chico, Enrico Macii. by Chico, Jorge Juan [editor.] | Macii, Enrico [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2799Source: 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): .
|
|
|
|
|
|
|
|
|
|
Simulated Evolution and Learning [electronic resource] : 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings / edited by Xiaodong Li, Michael Kirley, Mengjie Zhang, David Green, Vic Ciesielski, Hussein Abbass, Zbigniew Michalewicz, Tim Hendtlass, Kalyanmoy Deb, Kay Chen Tan, Jürgen Branke, Yuhui Shi. by Li, Xiaodong [editor.] | Kirley, Michael [editor.] | Zhang, Mengjie [editor.] | Green, David [editor.] | Ciesielski, Vic [editor.] | Abbass, Hussein [editor.] | Michalewicz, Zbigniew [editor.] | Hendtlass, Tim [editor.] | Deb, Kalyanmoy [editor.] | Tan, Kay Chen [editor.] | Branke, Jürgen [editor.] | Shi, Yuhui [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5361Source: 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): .
|
|
|
|
|
Large-Scale Scientific Computing [electronic resource] : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski. by Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7116Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Random matrices and their applications : [electronic resource] proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 17-23, 1984, with support from the National Science Foundation / Joel E. Cohen, Harry Kesten, and Charles M. Newman, editors. by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Random Matrices and Their Applications (1984 : Bowdoin College) | Cohen, Joel E | Kesten, Harry, 1931- | Newman, Charles M. (Charles Michael), 1946- | American Mathematical Society | Institute of Mathematical Statistics | Society for Industrial and Applied Mathematics. Series: Contemporary mathematics (American Mathematical Society) ; v. 50.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1986Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Domain decomposition methods in scientific and engineering computing : [electronic resource] proceedings of the Seventh International Conference on Domain Decomposition, October 27-30, 1993, the Pennsylvania State University / David E. Keyes, Jinchao Xu, editors. by International Conference on Domain Decomposition (7th : 1993 : Pennsylvania State University) | Keyes, David E | Xu, Jinchao, 1961-. Series: Contemporary mathematics (American Mathematical Society) ; v. 180.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1994Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in differential equations and mathematical physics : [electronic resource] UAB international conference, differential equations and mathematical physics, March 26-30, 2002, University of Alabama, Birmingham / Yulia Karpeshina ... [et al.], editors. by International Conference on Differential Equations and Mathematical Physics (2002 : University of Alabama, Birmingham) | Karpeshina, Yulia E, 1956-. Series: Contemporary mathematics (American Mathematical Society) ; v. 327.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): .
|
|
|
|
|
Mathematics of computation, 1943-1993 : [electronic resource] a half-century of computational mathematics : Mathematics of Computation 50th Anniversary Symposium, August 9-13, 1993, Vancouver, British Columbia / Walter Gautschi, editor. by Mathematics of Computation 50th Anniversary Symposium (1993 : Vancouver, B.C.) | Gautschi, Walter. Series: Proceedings of symposia in applied mathematics ; v. 48Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, RI : American Mathematical Society, c1994Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
