|
441.
|
Formal Models of Communicating Systems
: Languages, Automata, and Monadic Second-Order Logic /
: [electronic resource] :
by Bollig, Benedikt [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 181 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).
|
|
442.
|
Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming
: [electronic resource] /
by Nowak, Ivo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 213 p. online resource.Publisher: Basel : Birkhäuser Basel, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
443.
|
Practical Problems in VLSI Physical Design Automation
: [electronic resource] /
by Lim, Sung Kyu [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXVI, 264 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
444.
|
Network Models and Optimization
: Multiobjective Genetic Algorithm Approach /
: [electronic resource] :
by Gen, Mitsuo [author.] | Cheng, Runwei [author.] | Lin, Lin [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 692 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).
|
|
445.
|
Fundamentals of Resource Allocation in Wireless Networks
: Theory and Algorithms /
: [electronic resource] :
by Stanczak, Slawomir [author.] | Wiczanowski, Marcin [author.] | Boche, Holger [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: I, 320 p. 30 illus. 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).
|
|
446.
|
Evolutionary Algorithms for Solving Multi-Objective Problems
: Second Edition /
: [electronic resource] :
by Coello, Carlos A. Coello [author.] | Lamont, Gary B [author.] | Veldhuizen, David A. Van [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXI, 800 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
447.
|
Genetic Programming Theory and Practice IV
: [electronic resource] /
by Riolo, Rick [editor.] | Soule, Terence [editor.] | Worzel, Bill [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 338 p. 200 illus. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
448.
|
A Graph-Theoretic Approach to Enterprise Network Dynamics
: [electronic resource] /
by Bunke, Horst [author.] | Dickinson, Peter J [author.1] | Kraetzl, Miro [author.1] | Wallis, Walter D [author.2] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 226 p. 110 illus. online resource.Publisher: Boston, MA : Birkh�user Boston, 2007. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
449.
|
3-D Shape Estimation and Image Restoration
: Exploiting Defocus and Motion Blur /
: [electronic resource] :
by Favaro, Paolo [author.] | Soatto, Stefano [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 249 p. online resource.Publisher: London : Springer London, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
450.
|
Workflows for e-Science
: Scientific Workflows for Grids /
: [electronic resource] :
by Taylor, Ian J [editor.] | Deelman, Ewa [editor.] | Gannon, Dennis B [editor.] | Shields, Matthew [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 526 p. online resource.Publisher: London : Springer London, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
451.
|
Security with Noisy Data
: On Private Biometrics, Secure Key Storage and Anti-Counterfeiting /
: [electronic resource] :
by Tuyls, Pim [editor.] | Skoric, Boris [editor.] | Kevenaar, Tom [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 340 p. online resource.Publisher: London : Springer London, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
452.
|
Theoretical Aspects of Local Search
: [electronic resource] /
by Michiels, Wil [author.] | Korst, Jan [author.] | Aarts, Emile [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 238 p. 70 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
453.
|
Algorithmic Aspects of Bioinformatics
: [electronic resource] /
by B�ckenhauer, Hans-Joachim [author.1] | Bongartz, Dirk [author.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 396 p. 118 illus. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
454.
|
The Calculus of Computation
: Decision Procedures with Applications to Verification /
: [electronic resource] :
by Bradley, Aaron R [author.] | Manna, Zohar [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 366 p. 60 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
455.
|
New Developments in Parsing Technology
: [electronic resource] /
by Bunt, Harry [editor.] | Carroll, John [editor.] | Satta, Giorgio [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 405 p. online resource.Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
456.
|
Hypercomputation
: Computing Beyond the Church-Turing Barrier /
: [electronic resource] :
by Syropoulos, Apostolos [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 260 p. 19 illus. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
457.
|
Do-All Computing in Distributed Systems
: Cooperation in the Presence of Adversity /
: [electronic resource] :
by Georgiou, Chryssis [author.] | Shvartsman, Alexander A [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXVI, 219 p. 22 illus. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
458.
|
A Modular Calculus for the Average Cost of Data Structuring
: [electronic resource] /
by Schellekens, Michel [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 245 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
459.
|
Genetic Programming Theory and Practice V
: [electronic resource] /
by Riolo, Rick [editor.] | Soule, Terence [editor.] | Worzel, Bill [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 279 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
460.
|
Advanced Methods for Inconsistent Knowledge Management
: [electronic resource] /
by Nguyen, Ngoc Thanh [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 352 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).
|