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)
- Perlman, David M. (48)
- Price, Wilson T. (4)
- Riolo, Rick. (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)
- Text Books (5)
- Written-off (3)
- 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)

	341.	Automatic Program Development : A Tribute to Robert Paige / : [electronic resource] : by Danvy, Olivier [editor.] \| Mairson, Harry [editor.] \| Henglein, Fritz [editor.] \| Pettorossi, Alberto [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 272 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	342.	Principles of the Spin Model Checker : [electronic resource] / by Ben-Ari, Mordechai [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 220 p. 17 illus. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	343.	Object-Oriented Programming and Java : [electronic resource] / by Poo, Danny [author.] \| Kiong, Derek [author.] \| Ashok, Swarnalatha [author.] \| SpringerLink (Online service). Edition: Second edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIX, 322 p. 86 illus. online resource.Publisher: London : Springer London : Imprint: Springer, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	344.	The Algorithm Design Manual : [electronic resource] / by Skiena, Steven S [author.] \| SpringerLink (Online service). Edition: 2.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 730 p. 115 illus. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	345.	Introduction to PHP for Scientists and Engineers : Beyond JavaScript / : [electronic resource] : by Brooks, David R [author.] \| SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 141 p. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	346.	Time-Dependent Scheduling : [electronic resource] / by Gawiejnowicz, Stanisław [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 380 p. 26 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	347.	Objects, Components, Models and Patterns : 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings / : [electronic resource] : by Paige, Richard F [editor.] \| Meyer, Bertrand [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 413 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	348.	Software and Data Technologies : First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers / : [electronic resource] : by Filipe, Joaquim [editor.] \| Shishkov, Boris [editor.] \| Helfert, Markus [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIII, 389 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	349.	Implementing Semantic Web Services : The SESA Framework / : [electronic resource] : by Fensel, Dieter [editor.] \| Kerrigan, Mick [editor.] \| Zaremba, Michal [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 322 p. 59 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	350.	Algorithms and Data Structures : The Basic Toolbox / : [electronic resource] : by Mehlhorn, Kurt [author.] \| Sanders, Peter [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 300 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	351.	Software Process Improvement : 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings / : [electronic resource] : by O’Connor, Rory V [editor.] \| Baddoo, Nathan [editor.] \| Smolander, Kari [editor.] \| Messnarz, Richard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 213 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	352.	Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / : [electronic resource] : by Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 869 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	353.	Emerging Web Services Technology, Volume II : [electronic resource] / by Gschwind, Thomas [editor.] \| Pautasso, Cesare [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 188 p. online resource.Publisher: Basel : Birkhäuser Basel, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	354.	Java for Bioinformatics and Biomedical Applications : [electronic resource] / by Bal, Harshawardhan [author.] \| Hujol, Johnny [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 342 p. 108 illus., 16 illus. in color. 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 (remove)
	355.	Reasoning Robots : The Art and Science of Programming Robotic Agents / : [electronic resource] : by Thielscher, Michael [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 328 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)
	356.	Reconfigurable Computing : Accelerating Computation with Field-Programmable Gate Arrays / : [electronic resource] : by Gokhale, Maya [author.] \| Graham, Paul S [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 238 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)
	357.	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; Format: electronic available online ; 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 (remove)
	358.	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; Format: electronic available online ; 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 (remove)
	359.	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; Format: electronic available online ; 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 (remove)
	360.	Differential Evolution : In Search of Solutions / : [electronic resource] : by Feoktistov, Vitaliy [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; 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 (remove)

PKK Library

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

Refine your search

Authors

Item types

Series

Topics

Titles