PKK Library

Your cart is empty.

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

Your search returned 1732 results. Subscribe to this search

Unhighlight Highlight
|
341.
SAT 2005 : Satisfiability Research in the Year 2005 / : [electronic resource] :

by Giunchiglia, Enrico [editor.] | Walsh, Toby [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: VII, 293 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
342.
Intelligent Knowledge-Based Systems : Business and Technology in the New Millennium / : [electronic resource] :

by Leondes, Cornelius T [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXXII, 1895 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).

Place hold Add to cart
343.
Introduction to Programming with Fortran : [electronic resource] /

by Chivers, Ian D [author.] | Sleightholme, Jane [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XX, 592 p. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
344.
Computer Vision Beyond the Visible Spectrum : [electronic resource] /

by Bhanu, Bir [editor.] | Pavlidis, Ioannis [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 320 p. 156 illus., 5 illus. in color. 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
345.
Biomimicry for Optimization, Control, and Automation : [electronic resource] /

by Passino, Kevin M [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXXI, 926 p. 365 illus. 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
346.
Requirements Engineering : [electronic resource] /

by Hull, Elizabeth [author.] | Jackson, Kenneth [author.] | Dick, Jeremy [author.] | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 198 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
347.
Constructing Correct Software : [electronic resource] /

by Cooke, John [author.] | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXI, 509 p. 100 illus. 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
348.
Future Interaction Design : [electronic resource] /

by Pirhonen, Antti [editor.] | Saariluoma, Pertti [editor.] | Isomäki, Hannakaisa [editor.] | Roast, Chris [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: VIII, 216 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
349.
The Complete IS-IS Routing Protocol : [electronic resource] /

by Gredler, Hannes [author.] | Goralski, Walter [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVII, 540 p. 248 illus. 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
350.
Automating Business Modelling : A Guide to Using Logic to Represent Informal Methods and Support Reasoning / : [electronic resource] :

by Chen-Burger, Yun-Heh [author.] | Robertson, Dave [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVII, 322 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
351.
Validated Designs for Object-oriented Systems : [electronic resource] /

by Fitzgerald, John [author.] | Larsen, Peter Gorm [author.] | Mukherjee, Paul [author.] | Plat, Nico [author.] | Verhoef, Marcel [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 404 p. 65 illus. 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
352.
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective : [electronic resource] /

by Besnard, Denis [editor.] | Gacek, Cristina [editor.] | Jones, Cliff B [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 306 p. 50 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
353.
Constituents of Modern System-safety Thinking : Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005 / : [electronic resource] :

by Redmill, Felix [editor.] | Anderson, Tom [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 226 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
354.
Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction : [electronic resource] /

by Carson, Tom [author.] | Baker, Donna L [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXII, 248 p. 255 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
355.
Interoperability of Enterprise Software and Applications : [electronic resource] /

by Konstantas, Dimitri [editor.] | Bourrières, Jean-Paul [editor.] | Léonard, Michel [editor.] | Boudjlida, Nacer [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 466 p. 162 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
356.
Data Complexity in Pattern Recognition : [electronic resource] /

by Basu, Mitra [editor.] | Ho, Tin Kam [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 300 p. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
357.
Mobile World : Past, Present and Future / : [electronic resource] :

by Sanger, Colston [author.] | Hamill, Lynne [editor.] | Lasen, Amparo [editor.] | Diaper, Dan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: VIII, 218 p. 10 illus. 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
358.
Artificial Life Models in Software : [electronic resource] /

by Adamatzky, Andrew [editor.] | Komosinski, Maciej [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 344 p. 189 illus., 16 illus. in color. 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
359.
Support Vector Machines for Pattern Classification : [electronic resource] /

by Abe, Shigeo [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 344 p. 110 illus. 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
360.
Applications and Innovations in Intelligent Systems XIII : Proceedings of AI-2005, the Twenty-fifth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, UK, December 2005 / : [electronic resource] :

by Macintosh, Ann [editor.] | Ellis, Richard [editor.] | Allen, Tony [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 224 p. online resource.Publisher: London : Springer London, 2006.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