Theoretical Aspects of Computing - ICTAC 2005 Editat de Dang Van Hung et al. 4 oct 2005 Paperback Preț: 638.90 lei 798.63 lei 6-8 săpt. -20%
Automated Technology for Verification and Analysis Editat de Dang Van Hung et al. 11 sep 2013 Paperback Preț: 333.61 lei 417.02 lei 6-8 săpt. -20%
Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings Lecture Notes in Computer Science, nr. 10580 Editat de Dang Van Hung et al. 17 sep 2017 Paperback Preț: 321.17 lei 401.46 lei 6-8 săpt. -20%
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings Lecture Notes in Computer Science, nr. 12302 Editat de Dang Van Hung et al. 12 oct 2020 Paperback Preț: 333.68 lei 417.09 lei 6-8 săpt. -20%
Distributed Computing and Internet Technology: 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings Lecture Notes in Computer Science, nr. 11969 Editat de Dang Van Hung et al. 3 dec 2019 Paperback Preț: 496.73 lei 620.91 lei 3-5 săpt. | 6-10 zile -20%