Your search returned 14 results.

Results
	1.	Algorithms unplugged by Vocking, Berthold [et al.] [Editors] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin : Springer-verlog, ©2011 Availability: Items available for loan: IIT - Dharwad (1)Call number: 004.0151 VOC / B. Place hold Add to cart (remove)
	2.	The design and analysis of algorithms by Kozen, Dexter [Author] Series: Texts and monographs in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, ©1992 Online resources: Table of contents only Availability: Items available for loan: IIT - Dharwad (1)Call number: 005.1 KOZ / B. Place hold Add to cart (remove)
	3.	Hit refresh : the quest to rediscover Microsoft's soul and imagine a better future for everyone by Nadella, Satya [Author] Nichols, Jill Tracie [Author] Shaw, Greg [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: New york : Harper business, ©2017 Availability: Items available for loan: IIT - Dharwad (1)Call number: 338.761 005 NAD / B. Place hold Add to cart (remove)
	4.	Zero to one : notes on startups, or how to build the future by Thiel, Peter [Author] Masters, Blake [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Virgin Books, © 2014 Availability: Items available for loan: IIT - Dharwad (1)Call number: 658.11 THI / B. Place hold Add to cart (remove)
	5.	Zero to one : notes on startups, or how to build the future by Thiel, Peter [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Penguin Random House UK, ©2014 Availability: Items available for loan: IIT - Dharwad (1)Call number: 658.11 THI / B. Place hold Add to cart (remove)
	6.	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 [Author] Auler, Rafael [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Birmingham : Packt Publishing, ©2014 Availability: Items available for loan: IIT - Dharwad (1)Call number: 005.1 LOP / B. Place hold Add to cart (remove)
	7.	Post-silicon and runtime verification for modern processors by Wagner, Ilya [Author] Bertacco, Valeria [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer Science+Business Media, ©2011 Availability: Not available: IIT - Dharwad: Costly Reference (1). Add to cart (remove)
	8.	Computational geometry by Berg, Mark de [Author] Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin : Springer-verlog, ©2008 Availability: Items available for loan: IIT - Dharwad (1)Call number: 516.002 BER / B. Not available: IIT - Dharwad: Course Reserved Book (1). Place hold Add to cart (remove)
	9.	Formal verification of control system software by Garoche, Pierre-Loic [Author] Series: Princeton series in applied mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: Princeton : Princeton University Press, ©2019 Availability: Not available: IIT - Dharwad: Checked out (1). Place hold Add to cart (remove)
	10.	Structured development of parallel programs by Pelagatti, Susanna [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Taylor & Francis Ltd, ©1998 Availability: Items available for loan: IIT - Dharwad (1)Call number: 005.275 PEL / G. Place hold Add to cart (remove)
	11.	Principles of model checking by Baier, Christel [Author] Katoen, Joost-Pieter [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Massachusetts : The MIT Press, ©2008 Availability: Items available for loan: IIT - Dharwad (4)Call number: 004.24 BAI / B, ... Not available: IIT - Dharwad: Checked out (1). IIT - Dharwad: Course Reserved Book (1). Place hold Add to cart (remove)
	12.	Foundations of software testing : ISTQB certification by Graham, Dorothy [Author] Veenendaal, Erik van [Author] Evans, Isabel [Author] Black, Rex [Author] Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Cengage Learning, ©2008 Availability: Items available for loan: IIT - Dharwad (1)Call number: 005.14 GRA / G. Place hold Add to cart (remove)
	13.	Guide to advanced software testing by Hass, Anne Mette Jonassen [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston - London : Artech House, ©2008 Availability: Items available for loan: IIT - Dharwad (1)Call number: 005.14 HAS / G. Place hold Add to cart (remove)
	14.	CMM in practice : processes for executing software projects at Infosys by Jalote, Pankaj [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Delhi : Pearson Education Asia, ©2002 Availability: Items available for loan: IIT - Dharwad (1)Call number: 005.10685 JAL / G. Place hold Add to cart (remove)

This Site Maintained by Central Library, IIT DharwadFor any Queries / Suggestions Please Contact us @Phone: (0836) 221 2824; e-mail: librarian@iitdh.ac.in

This Site is Best Viewed with Mozilla Firefox.