Holdings
Item type	Current library	Call number	URL	Copy number	Status	Notes	Date due	Barcode
Libro Electrónico	Biblioteca Digital Colección Digital	QA76.9 F67 W36 2005 (Browse shelf(Opens below))	Link to resource	1	Available	SpringerLink		BDIG00009836

Previous								Next
Previous	QA76.9.F67 R66 2005 Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /	QA76.9.F67 S65 2007 Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /	QA76.9.F67 S99 2008 Formal Techniques for Networked and Distributed Systems – FORTE 2008	QA76.9 F67 W36 2005 Formal Techniques for Networked and Distributed Systems - FORTE 2005	QA76.9.H45 S36 2007 Foundations of Augmented Cognition	QA76.9.H85 A95 2007 Usability and Internationalization. Global and Local User Interfaces Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II /	QA76.9.H85 A95 2007 Usability and Internationalization. HCI and Culture Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I /	Next

There are no comments on this title.

to post a comment.