|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Automated Technology for Verification and Analysis: Second International Conference, Atva 2004, Taipei, Taiwan, Roc, October 31 - November 3, 2004. Pr 2004 Edition (Lecture Notes in Computer Science) | Wang, Farn | Paperback | 3540236104 /
9783540236108 | 10/2004 | $104.49 |
|  | Formal Techniques for Networked and Distributed Systems - Forte 2005: 25th Ifip Wg 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Pr 2005 Edition (Lecture Notes in Computer Science) | Wang, Farn | Paperback | 354029189X /
9783540291893 | 09/2005 | $104.49 |
|  | Theoretical Aspects of Computing - Ictac 2016: 13th International Colloquium, Taipei, Taiwan, Roc, October 24-31, 2016, Proceedings 2016 Edition (Lecture Notes in Computer Science) | Sampaio, Augusto | Paperback | 3319467492 /
9783319467498 | 09/2016 | $52.24 |
|
|
|