41. Practical mathematical optimization : an introduction to basic optimization theory and classical and new gradient-based algorithms

by Snyman, Jan A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 519.6 SNY] (1).
42. Statistical analysis and optimization for VLSI : timing and power

by Srivastava, Ashish | Blaauw, David | Sylvester, Dennis.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 621.395 SRI] (1).
43. Consistent preferences approach to deductive reasoning in games

by Asheim, Geir B.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2005Availability: Items available for loan: [Call number: 519.3 ASH] (1).
44. Handbook of mathematical models in computer vision

by Chen, Yunmei | Faugeras, Olivier | Paragios, Nikos.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.37015118 PAR] (1).
45. Modeling and simulation for RF system design

by Frevert, Ronny | Haase, Joachim | Jancke, Roland | Knochel, Uwe and.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 621.382 FRE] (2).
46. Nanoscale transistors: device Physics, modeling and simulation.

by Lundstrom, Mark | Guo, Jing.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 620.5 LUN] (1).
47. Stochastic calculus models for finance I : the binomial asset pricing model

by Shreve, Steven E.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 332.0151922 SHR] (1).
48. Life science models : modules in applied mathematics. Volume 4

by Thompson, Maynard | Marcus-Roberts, Helen.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1983Availability: Items available for loan: [Call number: 510 MAR] (1).
49. First course in real analysis

by Berberian, Sterling K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1994Availability: Items available for loan: [Call number: 515 BER] (1).
50. Basic calculus: From archimedes to newton to its role in science

by Hahn, Alexander J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 515 HAH] (1).
51. Undergraduate analysis

by Lang, Serge.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 515 LAN] (1).
52. Modeling dynamic biological systems

by Ruth, Matthias | Hannon, Bruce.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 574.0113 HAN] (2).
53. Automated theorem proving : theory and practice

by Newborn, Monty.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2001Availability: Items available for loan: [Call number: 004.015113 NEW] (2).
54. Mathematical Statistics with Mathematica

by Rose, Colin | Rose, Colin | Smith, Murray D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 519.5 ROS] (3).
55. Real mathematical analysis

by Pugh, Charles Chapman.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 515 PUG] (1).
56. Model Selection and Multi-Model Inference: A Practical Information-Theoretic Approach

by Burnham, Kenneth P | Anderson, David R.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 570.151 BUR] (1).
57. Practical analysis in one variable

by Estep, Donald.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 515 EST] (1).
58. Differentiable optimization and equation solving : a treatise on algorithmic science and the Karmarkar revolution

by Nazareth, John Lawrence.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 519.3 NAZ] (1).
59. Higher calculus : history of real and complex analysis from Euler to Weierstrass.

by Bottazini, Umberto.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 1986Availability: Items available for loan: [Call number: 515.09 BOT] (1).
60. Temporal Logic of Reactive and Concurrent Systems

by Manna, Zohar | Pnueli, A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1992Availability: Items available for loan: [Call number: 005.1 MAN] (1).

Powered by Koha