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

Refine your search

Availability
- Limit to currently available items.
Authors
- Gries, David (6)
- Hansen, Per Brinch (4)
- Perlman, David M. (48)
- Price, Wilson T. (4)
- Schneider, G. Michael (48)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (376)
Home libraries
- PK Kelkar Library, IIT Kanpur (375)
Item types
- Books (281)
- E books (80)
- EBK (6)
- Lost (3)
- 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)

	301.	Theoretical Introduction to Programming : [electronic resource] / by Mills, Bruce [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XI, 358 p. 29 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)
	302.	Mathematical and Computer Programming Techniques for Computer Graphics : [electronic resource] / by Comninos, Peter [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XX, 548 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)
	303.	Developing Ambient Intelligence : Proceedings of the First International Conference on Ambient Intelligence Developments (AmID’06) / : [electronic resource] : by Maña, Antonio [author.] \| Lotz, Volkmar [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 160 p. online resource.Publisher: Paris : Springer Paris, 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)
	304.	Component-Based Software Testing with UML : [electronic resource] / by Gross, Hans-Gerhard [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 316 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 (remove)
	305.	Categories for Software Engineering : [electronic resource] / by Fiadeiro, José Luiz [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 250 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 (remove)
	306.	Complexity Theory : Exploring the Limits of Efficient Algorithms / : [electronic resource] : by Wegener, Ingo [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 308 p. 18 illus. 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 (remove)
	307.	Design and Analysis of Randomized Algorithms : Introduction to Design Paradigms / : [electronic resource] : by HromkoviČ, Juraj [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 277 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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)
	308.	Implementing Distributed Systems with Java and CORBA : [electronic resource] / by Aleksy, Markus [author.] \| Korthaus, Axel [author.] \| Schader, Martin [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 346 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 (remove)
	309.	Spatially Structured Evolutionary Algorithms : Artificial Evolution in Space and Time / : [electronic resource] : by Tomassini, Marco [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIII, 193 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 (remove)
	310.	Fundamentals of Algebraic Graph Transformation : [electronic resource] / by Ehrig, Hartmut [author.] \| Ehrig, Karsten [author.] \| Prange, Ulrike [author.] \| Taentzer, Gabriele [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIII, 390 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 (remove)
	311.	Software Engineering 1 : Abstraction and Modelling / : [electronic resource] : by Bj�rner, Dines [author.1] \| SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format: electronic available online ; Literary form: not fiction Description: XL, 714 p. 38 illus. online resource.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 (remove)
	312.	Concurrent Zero-Knowledge : With Additional Background by Oded Goldreich / : [electronic resource] : by Rosen, Alon [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 184 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 (remove)
	313.	Software Engineering 2 : Specification of Systems and Languages / : [electronic resource] : by Bj�rner, Dines [author.1] \| SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format: electronic available online ; Literary form: not fiction Description: XXIV, 780 p. 151 illus. online resource.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 (remove)
	314.	Software Engineering 3 : Domains, Requirements, and Software Design / : [electronic resource] : by Bjøner, Dines [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXX, 768 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 (remove)
	315.	Interactive Computation : The New Paradigm / : [electronic resource] : by Goldin, Dina [editor.] \| Smolka, Scott A [editor.] \| Wegner, Peter [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XV, 487 p. 84 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 (remove)
	316.	Software Agent-Based Applications, Platforms and Development Kits : [electronic resource] / by Unland, Rainer [editor.] \| Calisti, Monique [editor.] \| Klusch, Matthias [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 451 p. online resource.Publisher: Basel : Birkhäuser Basel, 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)
	317.	Ontologies for Agents: Theory and Experiences : [electronic resource] / by Tamma, Valentina [editor.] \| Cranefield, Stephen [editor.] \| Finin, Timothy W [editor.] \| Willmott, Steven [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 345 p. online resource.Publisher: Basel : Birkhäuser Basel, 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)
	318.	Applications of Agent Technology in Traffic and Transportation : [electronic resource] / by Kl�gl, Franziska [editor.1 ] \| [editor.1 ] \| [editor.2 ]. Material type: Book; Format: electronic available online ; Literary form: not fiction Description: VIII, 209 p. online resource.Basel : Birkh�user Basel, 2005. Availability: Items available for loan: (1). Place hold Add to cart (remove)
	319.	Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming : [electronic resource] / by Nowak, Ivo [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 213 p. online resource.Publisher: Basel : Birkhäuser Basel, 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)
	320.	Agent-based Supply Network Event Management : [electronic resource] / by Zimmermann, Roland [author.] \| SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 329 p. online resource.Publisher: Basel : Birkh�user Basel, 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