Your search returned 2 results.

Results
	1.	Principles of Distributed Systems [electronic resource] : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers / edited by Teruo Higashino. by Higashino, Teruo SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3544 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D5 H54 2005. Place hold Add to cart (remove)
	2.	Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings / edited by Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura. by Namjoshi, Kedar S Yoneda, Tomohiro Higashino, Teruo Okamura, Yoshio SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4762 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A96 N36 2007. Place hold Add to cart (remove)

Refine your search