PKK Library catalog › Results of search for 'su:{Software engineering}'

Refine your search

Availability
- Limit to currently available items.
Authors
- Anderson, Tom. (4)
- Elleithy, Khaled. (4)
- Jalote,Pankaj (7)
- Pressman,Roger S. (4)
- Redmill, Felix. (4)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (315)
Home libraries
- PK Kelkar Library, IIT Kanpur (313)
Item types
- Books (82)
- E books (218)
- EBK (3)
- EBK (12)
- Faculty Publications (2)
- Show more
Locations
- General Stacks (1)
Series
Topics
- Computer science. (168)
- Computer Science. (164)
- Software engineering. (211)
- Software Engineering. (120)
- Software Engineering/Programming and Operating Systems. (124)
- Show more
Titles
- Software engineering (1)

	181.	Software Verification and Validation : An Engineering and Scientific Approach / : [electronic resource] : by Fisher, Marcus S [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 172 p. 20 illus. 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)
	182.	Genetic Programming Theory and Practice IV : [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: XVI, 338 p. 200 illus. 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)
	183.	Visual Languages and Applications : [electronic resource] / by Zhang, Kang [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 246 p. 109 illus. 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)
	184.	Distributed and Parallel Systems : From Cluster to Grid Computing / : [electronic resource] : by Kacsuk, P�ter [editor.1 ] \| [editor.1 ] \| [editor.2 ] \| . Material type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 223 p. 64 illus. online resource.Boston, MA : Springer US, 2007. Online access: Click here to access online Availability: Items available for loan: (1). Place hold Add to cart (remove)
	185.	Open Source Development, Adoption and Innovation : IFIP Working Group 2.13 on Open Source Software, June 11–14, 2007, Limerick, Ireland / : [electronic resource] : by Feller, Joseph [editor.] \| Fitzgerald, Brian [editor.] \| Scacchi, Walt [editor.] \| Sillitti, Alberto [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXVIII, 392 p. 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)
	186.	Computer-Aided Design of User Interfaces V : [electronic resource] / by Calvary, Ga�lle [editor.1 ] \| Pribeanu, Costin [editor.1 ] \| Santucci, Giuseppe [editor.1 ] \| Vanderdonckt, Jean [editor.2 ] \| SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 298 p. online resource.Dordrecht : Springer Netherlands, 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)
	187.	Evolving Connectionist Systems : The Knowledge Engineering Approach / : [electronic resource] : by Kasabov, Nikola [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXII, 451 p. 185 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)
	188.	An Introduction to Network Programming with Java : [electronic resource] / by Graba, Jan [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 416 p. 104 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)
	189.	Semantic Web: Concepts, Technologies and Applications : [electronic resource] / by Breitman, Karin Koogan [author.] \| Casanova, Marco Antonio [author.] \| Truszkowski, Walter [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 327 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)
	190.	Embedded Java Security : Security for Mobile Devices / : [electronic resource] : by Debbabi, Mourad [author.] \| Saleh, Mohamed [author.] \| Talhi, Chamseddine [author.] \| Zhioua, Sami [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 246 p. 38 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)
	191.	Formal Models of Operating System Kernels : [electronic resource] / by Craig, Iain D [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIII, 333 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)
	192.	Forensic Computing : [electronic resource] / by Sammes, Tony [author.] \| Jenkinson, Brian [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 470 p. 196 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)
	193.	Java Methods for Financial Engineering : Applications in Finance and Investment / : [electronic resource] : by Barker, Philip [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 568 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)
	194.	The Safety of Systems : Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007 / : [electronic resource] : by Redmill, Felix [editor.] \| Anderson, Tom [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 262 p. 61 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)
	195.	Formal Refinement for Operating System Kernels : [electronic resource] / by Craig, Iain D [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XV, 332 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)
	196.	Guerrilla Capacity Planning : A Tactical Approach to Planning for Highly Scalable Applications and Services / : [electronic resource] : by Gunther, Neil J [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XX, 253 p. 108 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)
	197.	Web Component Development with Zope 3 : [electronic resource] / by Weitershausen, Philipp von [author.] \| SpringerLink (Online service). Edition: Second Revised and Enlarged Edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 564 p. 48 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)
	198.	Enabling Semantic Web Services : The Web Service Modeling Ontology / : [electronic resource] : by Fensel, Dieter [author.] \| Lausen, Holger [author.] \| Bruijn, Jos de [author.] \| Stollberg, Michael [author.] \| Roman, Dumitru [author.] \| Polleres, Axel [author.] \| Domingue, John [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 188 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)
	199.	Distributed Services with OpenAFS : for Enterprise and Education / : [electronic resource] : by Milicchio, Franco [author.] \| Gehrke, Wolfgang A [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 395 p. 67 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)
	200.	Services Computing : [electronic resource] / by Zhang, Liang-Jie [author.] \| Zhang, Jia [author.] \| Cai, Hong [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XV, 349 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)

PKK Library

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

Refine your search

Authors

Item types

Locations

Series

Topics

Titles