Dang Van Hung - Böcker

Visar alla böcker från författaren Dang Van Hung.

5 produkter

Kategorier

5 produkter

Distributed Computing and Internet Technology

16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings

Av Dang Van Hung, Meenakshi D´Souza m. fl

Häftad, Engelska, 2019

1 169 kr

Skickas måndag 1/12

Automated Technology for Verification and Analysis

18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

Av Dang Van Hung, Oleg Sokolsky

Häftad, Engelska, 2020

739 kr

Skickas inom 10-15 vardagar

Automated Technology for Verification and Analysis

11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Av Dang Van Hung, Mizuhito Ogawa m. fl

Häftad, Engelska, 2013

739 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing – ICTAC 2017

14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Av Dang Van Hung, Deepak Kapur

Häftad, Engelska, 2017

739 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing - ICTAC 2005

Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Av Dang Van Hung, Martin Wirsing

Häftad, Engelska, 2005

1 459 kr

Skickas inom 10-15 vardagar