Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings Lecture Notes in Computer Science, nr. 9965 Editat de Augusto Sampaio et al. 22 sep 2016 Paperback Preț: 342.46 lei 428.07 lei 6-8 săpt. -20%
Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings Lecture Notes in Computer Science, nr. 3731 Editat de Farn Wang 26 sep 2005 Paperback Preț: 659.17 lei 823.97 lei 6-8 săpt. -20%
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings Lecture Notes in Computer Science, nr. 3299 Editat de Farn Wang 19 oct 2004 Paperback Preț: 658.33 lei 822.91 lei 6-8 săpt. -20%