Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings: 9965 (Lecture Notes in Computer Science)
by Augusto Sampaio,Farn Wang
ISBN 13: 9783319467498
Format: Paperback (500 pages) Publisher: Springer Published: 22 Sep 2016
Save for later
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. ... 3299 (Lecture Notes in Computer Science)
by Farn Wang
ISBN 13: 9783540236108
Format: Paperback (524 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008