PKK Library

Your cart is empty.

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 2255 results. Subscribe to this search

Unhighlight Highlight
|
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 Book; Format: electronic available online remote; 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).

Place hold Add to cart
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 Book; Format: electronic available online remote; 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).

Place hold Add to cart
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 Book; Format: electronic available online remote; 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).

Place hold Add to cart
2144.
M-Solid Varieties of Algebras : [electronic resource] /

by Koppitz, J [author.] | Denecke, K [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; 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).

Place hold Add to cart
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 Book; Format: electronic available online remote; 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).

Place hold Add to cart
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 Book; Format: electronic available online remote; 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).

Place hold Add to cart
2147.
Differential Evolution : In Search of Solutions / : [electronic resource] :

by Feoktistov, Vitaliy [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; 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).

Place hold Add to cart
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 Book; Format: electronic available online remote; 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).

Place hold Add to cart
2149.
Python Scripting for Computational Science : [electronic resource] /

by Langtangen, Hans Petter [author.] | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; 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).

Place hold Add to cart
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 Book; Format: electronic available online remote; 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).

Place hold Add to cart
2151.
A Practical Introduction to PSL : [electronic resource] /

by Eisner, Cindy [author.] | Fisman, Dana [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; 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).

Place hold Add to cart
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 Book; Format: electronic available online remote; 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).

Place hold Add to cart
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 Book; Format: electronic available online remote; 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).

Place hold Add to cart
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 Book; Format: electronic available online remote; 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).

Place hold Add to cart
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 Book; Format: electronic available online remote; 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).

Place hold Add to cart
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 Book; Format: electronic available online remote; 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).

Place hold Add to cart
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 Book; Format: electronic available online remote; 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).

Place hold Add to cart
2158.
Algorithmic Topology and Classification of 3-Manifolds : [electronic resource] /

by Matveev, Sergei [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; 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).

Place hold Add to cart
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 Book; Format: electronic available online remote; 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).

Place hold Add to cart
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 Book; Format: electronic available online remote; 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).

Place hold Add to cart

Powered by Koha