PKK Library catalog › Results of search for 'su:{Computer Programming} and su-ut:Computer programming and su-to:Computer Science.'

Refine your search

Availability
- Limit to currently available items.
Authors
- Berztiss, A. T. (3)
- Dandamudi, Sivarama P. (3)
- Riolo, Rick. (4)
- Soule, Terence. (2)
- Worzel, Bill. (4)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (84)
Home libraries
- PK Kelkar Library, IIT Kanpur (83)
Item types
- Books (7)
- E books (68)
- EBK (3)
- EBK (5)
- Lect. Notes Comp. Sc. (Avl.Online) (1)
Series
Topics
- Algorithm Analysis and Problem Complexity. (11)
- Algorithms. (14)
- Artificial Intelligence (incl. Robotics). (18)
- Artificial intelligence. (18)
- Computer logic. (8)
- Computer programming. (68)
- Computer science (10)
- Computer science. (67)
- Computer Science. (66)
- Computers. (30)
- Information Systems Applications (incl. Internet). (9)
- Logics and Meanings of Programs. (8)
- Models and Principles. (8)
- Programming languages (Electronic computers). (25)
- Programming Languages, Compilers, Interpreters. (25)
- Programming Techniques. (68)
- Software engineering. (38)
- Software Engineering. (21)
- Software Engineering/Programming and Operating Systems. (33)
- Theory of Computation. (20)

	61.	Object-Oriented Programming Languages: Interpretation : [electronic resource] / by Craig, Iain D [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: VIII, 256 p. online resource.Publisher: London : Springer London, 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)
	62.	Essential RenderMan ® : [electronic resource] / by Stephenson, Ian [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 268 p. online resource.Publisher: London : Springer London, 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)
	63.	Web Development with Java : Using Hibernate, JSPs and Servlets / : [electronic resource] : by Downey, Tim [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 288 p. 93 illus. online resource.Publisher: London : Springer London, 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)
	64.	Classification and Learning Using Genetic Algorithms : Applications in Bioinformatics and Web Intelligence / : [electronic resource] : by Bandyopadhyay, Sanghamitra [author.] \| Pal, Sankar K [author.2] \| SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 311 p. 87 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 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)
	65.	Ontology Matching : [electronic resource] / by Euzenat, Jérôme [author.] \| Shvaiko, Pavel [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: IX, 333 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 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)
	66.	Parsing Techniques : A Practical Guide / : [electronic resource] : by Grune, Dick [author.] \| Jacobs, Ceriel J. H [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXIV, 662 p. online resource.Publisher: New York, NY : Springer New York, 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)
	67.	Genetic Programming Theory and Practice V : [electronic resource] / by Riolo, Rick [editor.] \| Soule, Terence [editor.] \| Worzel, Bill [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 279 p. online resource.Publisher: Boston, MA : Springer US, 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)
	68.	The Burrows-Wheeler Transform: Data Compression, Suffix Arrays, and Pattern Matching : [electronic resource] / by Adjeroh, Donald [author.] \| Bell, Tim [author.] \| Mukherjee, Amar [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 352 p. online resource.Publisher: Boston, MA : Springer US, 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)
	69.	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)
	70.	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)
	71.	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)
	72.	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)
	73.	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)
	74.	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)
	75.	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)
	76.	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)
	77.	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)
	78.	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)
	79.	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)
	80.	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)

PKK Library

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

Refine your search

Authors

Item types

Series

Topics