Your search returned 2 results.

Results
	1.	Computer-Aided Innovation (CAI) [electronic resource] : IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy / edited by Gaetano Cascini. by Cascini, Gaetano SpringerLink (Online service) Series: The International Federation for Information Processing ; 277 Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer-Verlag US, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: T173.8 C37 2005. Place hold Add to cart (remove)
	2.	Principles of the Spin Model Checker [electronic resource] / by Mordechai Ben-Ari. by Ben-Ari, Mordechai SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: London : Springer-Verlag London Limited, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76 V47 B46 2008. Place hold Add to cart (remove)

Refine your search