Your search returned 4 results.

Results
	1.	Spin model checker : primer and reference manual by Holzmann, Gerard J Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston : Addison-Wesley, ©2004 Availability: Items available for loan: IIITD (1)Call number: REF 620.001 HOL-S. Place hold Add to cart (remove)
	2.	Mathematical modeling in science and engineering : an axiomatic approach by Herrera, Ismael Pinder, George Francis Material type: Text; Format: print ; Literary form: Not fiction Publication details: Hoboken, N.J. : John Wiley, ©2012 Online access: Publisher description Table of contents only Contributor biographical information Availability: Items available for loan: IIITD (1)Call number: REF 501.51 HER-M. Place hold Add to cart (remove)
	3.	Optimization concepts and applications in engineering by Belegundu, Ashok D Chandrupatla, Tirupathi R Edition: 2nd ed. Publication details: Delhi : Cambridge University Press, ©1999 Availability: Items available for loan: IIITD (1)Call number: 519.6024 BEL-O. Place hold Add to cart (remove)
	4.	A functional analysis framework for modeling, estimation, and control in science and engineering by Banks, H. T Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boca Raton : CRC Press, ©2012 Availability: Items available for loan: IIITD (1)Call number: 515.7 BAN-F. Place hold Add to cart (remove)

Refine your search