Search results › Indraprastha Institute of Information Technology, Delhi catalog

Results
	81.	Principles of the spin model checker by Ben-Ari, Mordechai Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Springer, ©2008 Online access: Publisher description Table of contents only Availability: Items available for loan: IIITD (1)Call number: REF 005.14 BEN-P. Place hold Add to cart (remove)
	82.	Code complete by McConnell, Steve Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi: Microsoft Press, ©2004 Availability: Items available for loan: IIITD (9)Call number: 005.1 MCC-C, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 005.1 MCC-C. Place hold Add to cart (remove)
	83.	No cover image available Pragmatic project automation : how to build, deploy, and monitor Java applications by Clark, Mike Series: Pragmatic starter kit series ; v. 3 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Shroff Publishers, ©2004 Online access: Publisher description Contributor biographical information Availability: Items available for loan: IIITD (2)Call number: 005.1 CLA-P, ... Place hold Add to cart (remove)
	84.	No cover image available Pragmatic version control : using subversion by Mason, Mike Series: Pragmatic starter kit series ; v. 1. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : SPD, ©2005 Online access: Contributor biographical information Publisher description Availability: Items available for loan: IIITD (2)Call number: 005.1 MAS-P, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 005.1 MAS-P. Place hold Add to cart (remove)
	85.	Thoughtful machine learning: a test-driven approach by Kirk, Matthew Material type: Text; Format: electronic available online Publication details: New Delhi: O'Reilly, ©2015 Online access: Click here to access online Availability: Items available for loan: IIITD (2)Call number: 006.31 KIR-T, ... Place hold Add to cart (remove)
	86.	Getting started with LLVM core libraries: get to grips with LLVM essentials and use the core libraries to build advanced tools by Lopes, Bruno Cardoso Auler, Rafael Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi: Packt Publishing, ©2014 Availability: Items available for loan: IIITD (2)Call number: REF 005.1 LOP-G, ... Place hold Add to cart (remove)
	87.	Developing software with UML : object-oriented analysis and design in practice by Oestereich, Bernd Series: Addison-Wesley object technology series Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: German Publication details: England ; Addison-Wesley, ©1999 Availability: Items available for loan: IIITD (1)Call number: 005.117 OES-D. Place hold Add to cart (remove)
	88.	CMMI : guidelines for process integration and product improvement by Chrissis, Mary Beth Konrad, Mike Shrum, Sandy Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Addison-Wesley, ©2003 Availability: Items available for loan: IIITD (1)Call number: 005.106 CHR-C. Place hold Add to cart (remove)
	89.	Learning Android : developed mobile apps using java and eclipse by Gargenta, Marko Nakamura, Masumi Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Mumbai : O'Reilly, ©2014 Availability: Items available for loan: IIITD (1)Call number: 005.26 GAR-L. Place hold Add to cart (remove)
	90.	Secure programming with static analysis by Chess, Brian West, Jacob Series: Addison-Wesley software security series Material type: Text; Format: print ; Literary form: Not fiction Publication details: Upper Saddle River, NJ : Addison-Wesley, c2007 Online access: Table of contents only Availability: Items available for loan: IIITD (1)Call number: REF 005.8 CHE-S. Place hold Add to cart (remove)
	91.	Embedded systems security : practical methods for safe and secure software and systems development by Kleidermacher, David Kleidermacher, Mike Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : Elsevier, ©2012 Availability: Items available for loan: IIITD (1)Call number: REF 005.8 KLE-E. Place hold Add to cart (remove)
	92.	Common system and software testing pitfalls : how to prevent and mitigate them : descriptions, symptoms, consequences, causes, and recommendations by Firesmith, Donald G Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Pearson, ©2014 Availability: Items available for loan: IIITD (1)Call number: REF 005.302 FIR-C. Place hold Add to cart (remove)
	93.	The art of software security testing : identifying software security flaws by Wysopal, Chris Material type: Text; Format: print ; Literary form: Not fiction Publication details: Upper Saddle River: Addison-Wesley, c2007 Online access: Table of contents only Availability: Items available for loan: IIITD (1)Call number: REF 005.8 WYS-A. Place hold Add to cart (remove)
	94.	Managing software projects by Tsui, Frank F Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Jones and Bartlett Publishers, ©2004 Online access: Table of contents Availability: Items available for loan: IIITD (2)Call number: 005.10 TSU-M, ... Place hold Add to cart (remove)
	95.	Introduction to software testing by Ammann, Paul Offutt, Jeff Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Cambridge University Press, 2008 Online access: Table of contents only Publisher description Contributor biographical information Availability: Items available for loan: IIITD (1)Call number: 004.2 AMM-I. Place hold Add to cart (remove)
	96.	Automatic malware analysis : an emulator based approach by Yin, Heng Song, Dawn Series: SpringerBriefs in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York, NY : Springer, ©2013 Availability: Items available for loan: IIITD (1)Call number: REF 005.84 YIN-A. Place hold Add to cart (remove)
	97.	Path-oriented program analysis by Huang, J. C Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge ; New York : Cambridge University Press, ©2008 Online access: Contributor biographical information Publisher description Table of contents only Availability: Items available for loan: IIITD (1)Call number: REF 005.1 HUA-P. Place hold Add to cart (remove)
	98.	Software testing : principles and practice by Desikan, Srinivasan Ramesh, Gopalaswany Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore : Pearson, ©2006 Availability: Items available for loan: IIITD (2)Call number: 005.14 DES-S, ... Place hold Add to cart (remove)
	99.	Automated software testing : introduction, management, and performance by Dustin, Elfriede Rashka, Jeff Paul, John Material type: Text; Format: print ; Literary form: Not fiction Publication details: Reading, Mass. : Addison-Wesley, ©1999 Availability: Items available for loan: IIITD (1)Call number: REF 005.14 DUS-A. Place hold Add to cart (remove)
	100.	Introducing microsoft .NET by Platt, David S Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Redmond, Wash. : Microsoft Press, ©2003 Online access: Publisher description Contributor biographical information Availability: Items available for loan: IIITD (1)Call number: 005.276 PLA-I. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 137 results.