Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Application and Theory of Petri Nets 2002 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24-30, 2002 Proceedings / edited by Javier Esparza, Charles Lakos. by Esparza, Javier Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	2.	Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Javier Esparza, Rupak Majumdar. by Esparza, Javier Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

WELCOME TO THE ICCBS LIBRARIES CATALOG