Cărți de Dang Van Hung

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

Preț: 346^.90 lei 433^.62 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

Preț: 539^.34 lei 674^.18 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

Preț: 333^.88 lei 417^.34 lei

6-8 săpt.

-20%

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8172

Editat de Dang Van Hung et al.

11 sep 2013

Preț: 344^.60 lei 430^.75 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3722

Editat de Dang Van Hung et al.

4 oct 2005

Preț: 662^.11 lei 827^.63 lei

6-8 săpt.

-20%