|
501.
|
Sets, Logic and Maths for Computing
: [electronic resource] /
by Makinson, David [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 302 p. online resource.Publisher: London : Springer London : Imprint: Springer, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
502.
|
Value-Range Analysis of C Programs
: Towards Proving the Absence of Buffer Overflow Vulnerabilities /
: [electronic resource] :
by Simon, Axel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 302 p. 119 illus. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
503.
|
A Concise Introduction to Languages and Machines
: [electronic resource] /
by Parkes, Alan P [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 346 p. 196 illus. online resource.Publisher: London : Springer London : Imprint: Springer, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
504.
|
Mathematical Tools for Data Mining
: Set Theory, Partial Orders, Combinatorics /
: [electronic resource] :
by Simovici, Dan A [author.] | Djeraba, Chabane [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 615 p. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
505.
|
Plasticity and Geotechnics
: [electronic resource] /
by Yu, Hai-Sui [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 524 p. 212 illus. 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).
|
|
506.
|
Nonlinear Physical Oceanography
: A Dynamical Systems Approach to the Large Scale Ocean Circulation and El Ni�o /
: [electronic resource] :
by Dijkstra, Henk A [author.] | SpringerLink (Online service)0. Edition: 2nd Revised and Enlarged Edition. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 532 p. online resource.Dordrecht : Springer Netherlands, 2005. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
507.
|
Advances in Air Pollution Modeling for Environmental Security
: Proceedings of the NATO Advanced Research Workshop on Advances in Air Pollution Modeling for Environmental Security Borovetz, Bulgaria 8–12 May 2004 /
: [electronic resource] :
by Faragó, István [editor.] | Georgiev, Krassimir [editor.] | Havasi, Ágnes [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 406 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
508.
|
Upscaling Multiphase Flow in Porous Media
: From Pore to Core and Beyond /
: [electronic resource] :
by Das, D.B [editor.] | Hassanizadeh, S.M [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 258 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
509.
|
Analysis, Control and Optimization of Complex Dynamic Systems
: [electronic resource] /
by Boukas, El K�bir [editor.1 ] | [editor.2 ] | . Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVII, 252 p. online resource.Boston, MA : Springer US, 2005. Online access: Click here to access online Availability: Items available for loan: (1).
|
|
510.
|
Column Generation
: [electronic resource] /
by Desaulniers, Guy [editor.1] | Desrosiers, Jacques [editor.1] | Solomon, Marius M [editor.2] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 358 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
511.
|
Essays and Surveys in Global Optimization
: [electronic resource] /
by Audet, Charles [editor.] | Hansen, Pierre [editor.] | Savard, Gilles [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 294 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
512.
|
Graph Theory and Combinatorial Optimization
: [electronic resource] /
by Avis, David [editor.] | Hertz, Alain [editor.] | Marcotte, Odile [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 266 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
513.
|
Metaheuristic Procedures for Training Neutral Networks
: [electronic resource] /
by Alba, Enrique [editor.1] | Mart�, Rafael [editor.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 252 p. 65 illus. online resource.Boston, MA : Springer US, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
514.
|
Tutorials on Emerging Methodologies and Applications in Operations Research
: Presented at Informs 2004, Denver, CO /
: [electronic resource] :
by G, H J [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 342 p. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
515.
|
A Posteriori Error Analysis via Duality Theory
: With Applications in Modeling and Numerical Approximations /
: [electronic resource] :
by Han, Weimin [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 302 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
516.
|
Basics of Fluid Mechanics and Introduction to Computational Fluid Dynamics
: [electronic resource] /
by Petrila, Titus [author.] | Trif, Damian [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 500 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
517.
|
Nonlinear Optimization with Financial Applications
: [electronic resource] /
by Bartholomew-Biggs, Michael [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVII, 261 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
518.
|
The Schur Complement and Its Applications
: [electronic resource] /
by Zhang, Fuzhen [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 295 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
519.
|
Practical Mathematical Optimization
: An Introduction to Basic Optimization Theory and Classical and New Gradient-Based Algorithms /
: [electronic resource] :
by Snyman, Jan A [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 258 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
520.
|
Pseudosolution of Linear Functional Equations
: Parameters Estimation of Linear Functional Relationships /
: [electronic resource] :
by Mechenov, Alexander S [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 238 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|