|
|
281.
|
Symbolic Integration I
: Transcendental Functions /
: [electronic resource] :
by Bronstein, Manuel [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XV, 325 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
282.
|
Computational Commutative Algebra 2
: [electronic resource] /
by Kreuzer, Martin [author.] | Robbiano, Lorenzo [author.2] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 586 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
283.
|
Getting Started with MuPAD
: [electronic resource] /
by Majewski, Miroslaw [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 263 p. 138 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
284.
|
The Mathematica GuideBook for Symbolics
: [electronic resource] /
by Trott, Michael [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: LV, 1454 p. online resource.Publisher: New York, NY : Springer New York, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
285.
|
Global Optimization
: From Theory to Implementation /
: [electronic resource] :
by Liberti, Leo [editor.] | Maculan, Nelson [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 428 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
286.
|
Computer Algebra Recipes
: An Introductory Guide to the Mathematical Models of Science /
: [electronic resource] :
by Enns, Richard H [author.] | McGuire, George C [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 430 p. 110 illus. online resource.Publisher: New York, NY : Springer New York, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
287.
|
Computing in Algebraic Geometry
: A Quick Start using SINGULAR /
: [electronic resource] :
by Decker, Wolfram [author.] | Lossen, Christoph [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 328 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
288.
|
Algorithms in Real Algebraic Geometry
: [electronic resource] /
by Basu, Saugata [author.] | Pollack, Richard [author.1] | Roy, Marie-Fran�oise [author.2 ] | SpringerLink (Online service)0. Edition: Second Edition. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 662 p. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
289.
|
Discovering Mathematics with Magma
: Reducing the Abstract to the Concrete /
: [electronic resource] :
by Bosma, Wieb [editor.] | Cannon, John [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 364 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
290.
|
Computer Algebra Recipes
: An Advanced Guide to Scientific Modeling /
: [electronic resource] :
by Enns, Richard H [author.] | McGuire, George C [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 374 p. 110 illus. online resource.Publisher: New York, NY : Springer New York, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
291.
|
A Singular Introduction to Commutative Algebra
: [electronic resource] /
by Greuel, Gert-Martin [author.] | Pfister, Gerhard [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 689 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
292.
|
Rational Algebraic Curves
: A Computer Algebra Approach /
: [electronic resource] :
by Sendra, J. Rafael [author.] | Winkler, Franz [author.1 ] | P�rez-D�az, Sonia [author.2 ] | . Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 270 p. 24 illus. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. Online access: Click here to access online Availability: Items available for loan: (1).
|
|
|
293.
|
Logic at Botik '89 : proceedings
by Symposium on logical foundations of computer science( 1989:Pereslavl-Zalessky, USSR) | Meyer, Albert R., ed | Taitslin, M. A., ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 289 p.Publisher: Berlin ; New York : Springer-Verlag, c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 V.363] (1).
|
|
|
294.
|
Lecture notes in artificial intelligence [v.543] nonmonotonic and inductive logic
by Dix, J [ed.] | Jantke, K. P, [ed.] | Schmitt, P. H [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 243p.Publisher: Verlag Springer 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.543] (1).
|
|
|
295.
|
Lecture notes in artificial intelligence [v.535] fundamentals of artificial intelligence research
by Jorrand, Ph. [ed.] | Kelemen, Jozef [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 255p.Publisher: Verlag Springer 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.535] (1).
|
|
|
296.
|
Lecture notes in artificial intelligence [v.418] sorts and types in artificial intelligence
by Siekmann, J [ed.] | Blasius, K. H, [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 307p.Publisher: Verlag Springer 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.418] (1).
|
|
|
297.
|
Lecture notes in artificial intelligence [v.518] Instantiation theory on the foundations of automated deduction
by Wliiliams, J. G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 133p.Publisher: Verlag Springer 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.518] (1).
|
|
|
298.
|
Lecture notes in computer science CSL '88
: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
by (2nd Workshop on Computer Science Logic Duisburg, Germany) 1988 | Börger, E | Kleine Büning, H | Richter, Michael M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 399 p.Publisher: Berlin ; New York : Springer-Verlag, 1989Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.385] (1).
|
|
|
299.
|
Systems of logic
by Martin, Norman M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 318p.Publisher: Cambridge Cambridge University Press 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 M364s] (1).
|
|
|
300.
|
Logic Colloquium
: proceedings...
by Logic Colloquium New York 1988 | European Foundation for Logic, Language, and Information | Center for the Study of Language and Information (U.S.). Material type:  Continuing resource; Format:
print
Description: multi volumes.Publisher: Amsterdam : North-Holland Pub., 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829L 1988] (1).
|
