PKK Library

Your cart is empty.

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

Your search returned 818 results. Subscribe to this search

Unhighlight Highlight
|
441.
ECSCW 2005 : Proceedings of the Ninth European Conference on Computer-Supported Cooperative Work, 18–22 September 2005, Paris, France / : [electronic resource] :

by Gellersen, Hans [editor.] | Schmidt, Kjeld [editor.] | Beaudouin-Lafon, Michel [editor.] | Mackay, Wendy [editor.] | SpringerLink (Online service).

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

Place hold Add to cart
442.
Human-Centered Software Engineering — Integrating Usability in the Software Development Lifecycle : [electronic resource] /

by Seffah, Ahmed [editor.] | Gulliksen, Jan [editor.] | Desmarais, Michel C [editor.] | SpringerLink (Online service).

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

Place hold Add to cart
443.
Information Technology and Lawyers : Advanced Technology in the Legal Domain, from Challenges to Daily Routine / : [electronic resource] :

by Lodder, Arno R [editor.] | Oskamp, Anja [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: IX, 198 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
444.
Informing Digital Futures : Strategies for Citizen Engagement / : [electronic resource] :

by Damodaran, Leela [author.] | Olphert, Wendy [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 226 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
445.
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
446.
Autonomy Oriented Computing : From Problem Solving to Complex Systems Modeling / : [electronic resource] :

by Liu, Jiming [author.] | Jin, Xiaolong [author.] | Tsui, Kwok Ching [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXXII, 216 p. 57 illus. 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
447.
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
448.
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
449.
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
450.
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
451.
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
452.
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
453.
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
454.
Multiobjective Evolutionary Algorithms and Applications : [electronic resource] /

by Tan, K.C [author.] | Khor, E.F [author.] | Lee, T.H [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 296 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
455.
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
456.
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
457.
Designing Virtual Reality Systems The Structured Approach : [electronic resource] /

by Kim, Gerard Jounghyun [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 233 p. 191 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
458.
Virtual Machines : [electronic resource] /

by Craig, Iain D [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XV, 269 p. 43 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
459.
Mobile Communications : Re-negotiation of the Social Sphere. : [electronic resource] :

by SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXVI, 454 p. 19 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
460.
Agile Software Construction : [electronic resource] /

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

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