Wang, Farn books & textbook
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. ... (Lecture Notes in Computer Science, 3299)
Springer /2004-10-19 Paperback / 522 Pages
isbn-10: 3540236104 / isbn-13: 9783540236108
Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, ... (Lecture Notes in Computer Science, 3731)
Springer /2005-09-26 Paperback / 570 Pages
isbn-10: 354029189X / isbn-13: 9783540291893
Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings (Theoretical Computer Science and General Issues)
Springer /2016-09-22 Paperback / 496 Pages
isbn-10: 3319467492 / isbn-13: 9783319467498
