PKK Library catalog › Results of search for 'su:{Computer Programming} and su-ut:Computer programming and homebranch:IITK'

Refine your search

Availability
- Limit to currently available items.
Authors
- Cormen, Thomas H. (4)
- Gries, David (6)
- Perlman, David M. (48)
- Price, Wilson T. (4)
- Schneider, G. Michael (48)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (375)
Home libraries
- PK Kelkar Library, IIT Kanpur (375)
Item types
- Books (281)
- E books (80)
- EBK (3)
- EBK (5)
- Text Books (5)
- Show more
Series
Topics
- Computer programming. (79)
- Computer science. (67)
- Computer Science. (66)
- Pascal (Computer Program Language) (49)
- Programming Techniques. (75)
- Show more
Titles
- MATLAB. (1)

	281.	Reverse Engineering of Object Oriented Code : [electronic resource] / by Tonella, Paolo [author.] \| Potrich, Alessandra [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 208 p. 80 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	282.	Software Process Modeling : [electronic resource] / by Acu�a, Silvia T [editor.1 ] \| Juristo, Natalia [editor.2 ] \| SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format: electronic available online ; Literary form: not fiction Description: XXIV, 208 p. 59 illus. online resource.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 (remove)
	283.	Principles of Computer Graphics : Theory and Practice Using OpenGL and Maya® / : [electronic resource] : by Govil-Pai, Shalini [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 296 p. 245 illus., 20 illus. in color. 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 (remove)
	284.	A Software Process Model Handbook for Incorporating People’s Capabilities : [electronic resource] / by Acuña, Silvia Teresita [author.] \| Juristo, Natalia [author.] \| Moreno, Ana María [author.] \| Mon, Alicia [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXVIII, 324 p. 90 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 (remove)
	285.	Security in E-Learning : [electronic resource] / by Weippl, Edgar [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 185 p. 43 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 (remove)
	286.	Guide to Assembly Language Programming in Linux : [electronic resource] / by Dandamudi, Sivarama P [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 545 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 (remove)
	287.	Multi-Agent Programming : Languages, Platforms and Applications / : [electronic resource] : by Bordini, Rafael H [editor.] \| Dastani, Mehdi [editor.] \| Dix, Jürgen [editor.] \| Fallah Seghrouchni, Amal El [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXXIV, 296 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 (remove)
	288.	Multimedia Introduction to Programming Using Java : [electronic resource] / by Gries, David [author.] \| Gries, Paul [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 536 p. 420 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	289.	Abstraction, Refinement and Proof for Probabilistic Systems : [electronic resource] / by McIver, Annabelle [author.] \| Morgan, Carroll [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XX, 388 p. 63 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	290.	Introduction to Assembly Language Programming : For Pentium and RISC Processors / : [electronic resource] : by Dandamudi, Sivarama P [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXIV, 692 p. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	291.	Guide to RISC Processors : for Programmers and Engineers / : [electronic resource] : by Dandamudi, Sivarama P [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 388 p. 80 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	292.	Semantic Management of Middleware : [electronic resource] / by Oberle, Daniel [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXV, 268 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 (remove)
	293.	Genetic Programming Theory and Practice III : [electronic resource] / by Yu, Tina [editor.] \| Riolo, Rick [editor.] \| Worzel, Bill [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 310 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 (remove)
	294.	Adapting Proofs-as-Programs : The Curry-Howard Protocol / : [electronic resource] : by Poernomo, Iman Hafiz [author.] \| Wirsing, Martin [author.] \| Crossley, John Newsome [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 420 p. 54 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	295.	Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 / : [electronic resource] : by Broy, Manfred [editor.] \| Grünbauer, Johannes [editor.] \| Harel, David [editor.] \| Hoare, Tony [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 404 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 (remove)
	296.	Data Mining in Bioinformatics : [electronic resource] / by Wu, Xindong [editor.] \| Jain, Lakhmi [editor.] \| Wang, Jason T.L [editor.] \| Zaki, Mohammed J [editor.] \| Toivonen, Hannu T.T [editor.] \| Shasha, Dennis [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 340 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 (remove)
	297.	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; Format: electronic available online ; 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 (remove)
	298.	Logic Programming with Prolog : [electronic resource] / by Bramer, Max [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 223 p. 6 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 (remove)
	299.	Fundamental Networking in Java : [electronic resource] / by Pitt, Esmond [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 382 p. 23 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 (remove)
	300.	Agile Software Construction : [electronic resource] / by Hunt, John [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; 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 (remove)

PKK Library

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

Refine your search

Authors

Item types

Series

Topics

Titles