|
2141.
|
System-level Test and Validation of Hardware/Software Systems
: [electronic resource] /
by Sonza Reorda, Matteo [editor.] | Peng, Zebo [editor.] | Violante, Massimo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 179 p. online resource.Publisher: London : Springer London, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2142.
|
Recent Advances in Memetic Algorithms
: [electronic resource] /
by Hart, William E [editor.] | Smith, J. E [editor.] | Krasnogor, N [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 410 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).
|
|
2143.
|
Hierarchical Bayesian Optimization Algorithm
: Toward a new Generation of Evolutionary Algorithms /
: [electronic resource] :
by Pelikan, Martin [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 166 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).
|
|
2144.
|
M-Solid Varieties of Algebras
: [electronic resource] /
by Koppitz, J [author.] | Denecke, K [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 342 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).
|
|
2145.
|
Production Planning by Mixed Integer Programming
: [electronic resource] /
by Pochet, Yves [author.] | Wolsey, Laurence A [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 500 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).
|
|
2146.
|
Optimization in Public Transportation
: Stop Location, Delay Management and Tariff Zone Design in a Public Transportation Network /
: [electronic resource] :
by Sch�bel, Anita [author.1] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 268 p. 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).
|
|
2147.
|
Differential Evolution
: In Search of Solutions /
: [electronic resource] :
by Feoktistov, Vitaliy [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 196 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).
|
|
2148.
|
Automatic Differentiation: Applications, Theory, and Implementations
: [electronic resource] /
by Bücker, Martin [editor.] | Corliss, George [editor.] | Naumann, Uwe [editor.] | Hovland, Paul [editor.] | Norris, Boyana [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 370 p. 108 illus. 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).
|
|
2149.
|
Python Scripting for Computational Science
: [electronic resource] /
by Langtangen, Hans Petter [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 736 p. 33 illus. 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).
|
|
2150.
|
Verification Methodology Manual for SystemVerilog
: [electronic resource] /
by Bergeron, Janick [author.] | Cerny, Eduard [author.] | Hunter, Alan [author.] | Nightingale, Andrew [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVII, 503 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).
|
|
2151.
|
A Practical Introduction to PSL
: [electronic resource] /
by Eisner, Cindy [author.] | Fisman, Dana [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 240 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).
|
|
2152.
|
Hardware Verification with C++
: A Practitioner’s Handbook /
: [electronic resource] :
by Mintz, Mike [author.] | Ekendahl, Robert [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXI, 341 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).
|
|
2153.
|
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
: [electronic resource] /
by Kogel, Tim [author.] | Leupers, Rainer [author.] | Meyr, Heinrich [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 186 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2154.
|
Advances in Systems, Computing Sciences and Software Engineering
: Proceedings of SCSS05 /
: [electronic resource] :
by Sobh, Tarek [editor.] | Elleithy, Khaled [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 437 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2155.
|
Parallel and Distributed Logic Programming
: Towards the Design of a Framework for the Next Generation Database Machines /
: [electronic resource] :
by Bhattacharya, Alakananda [author.] | Konar, Amit [author.] | Mandal, Ajit K [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 291 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).
|
|
2156.
|
Recent Advances in Formal Languages and Applications
: [electronic resource] /
by Esik, Zoltán [editor.] | Martín-Vide, Carlos [editor.] | Mitrana, Victor [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 373 p. 122 illus., 11 illus. in color. 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).
|
|
2157.
|
Interfacing with C++
: Programming Real-World Applications /
: [electronic resource] :
by Katupitiya, Jayantha [author.] | Bentley, Kim [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 489 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).
|
|
2158.
|
Algorithmic Topology and Classification of 3-Manifolds
: [electronic resource] /
by Matveev, Sergei [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 492 p. 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).
|
|
2159.
|
Compiling Esterel
: [electronic resource] /
by Potop-Butucaru, Dumitru [author.] | Edwards, Stephen A [author.1] | Berry, G�rard [author.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 336 p. online resource.Boston, MA : Springer US, 2007. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2160.
|
Hardware Verification with SystemVerilog
: An Object-Oriented Framework /
: [electronic resource] :
by Mintz, Mike [author.] | Ekendahl, Robert [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 314 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).
|