Dang Van Hung – författare
Visar alla böcker från författaren Dang Van Hung. Handla med fri frakt och snabb leverans.
10 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
Häftad, 2019
906 kr
Lägg i varukorg
This book constitutes the proceedings of the 16th International Conference on Distributed Computing and Internet Technology, ICDCIT 2020, held in Bhubaneswar, India, in January 2020. The 20 full and 3 short papers presented in this volume were carefully reviewed and selected from 110 submissions. …
Distributed Computing and Internet Technology
16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings
Av Meenakshi D'Souza, Dang Van Hung
E-bok, 2020
1175 kr
Lägg i varukorg
This book constitutes the proceedings of the 16th International Conference on Distributed Computing and Internet Technology, ICDCIT 2020, held in Bhubaneswar, India, in January 2020. The 20 full and 3 short papers presented in this volume were carefully reviewed and selected from 110 submissions. …
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, 2020
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020.The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and …
Automated Technology for Verification and Analysis
18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
Av Oleg Sokolsky, Dang Van Hung
E-bok, 2020
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and …
Automated Technology for Verification and Analysis
11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
Av Dang Van Hung, Mizuhito Ogawa
Häftad, 2013
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. The 27 regular papers, 3 short papers and 12 tool papers presented together with 3 invited talks were …
Automated Technology for Verification and Analysis
11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
Av Mizuhito Ogawa, Dang Van Hung
E-bok, 2013
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. The 27 regular papers, 3 short papers and 12 tool papers presented together with 3 invited talks were …
Theoretical Aspects of Computing – ICTAC 2017
14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Av Dang Van Hung, Deepak Kapur
Häftad, 2017
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 …
Theoretical Aspects of Computing - ICTAC 2017
14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Av Deepak Kapur, Dang Van Hung
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 …
Theoretical Aspects of Computing - ICTAC 2005
Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
Av Dang Van Hung, Martin Wirsing
Häftad, 2005
1128 kr
Lägg i varukorg
This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17–21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University …
Theoretical Aspects of Computing - ICTAC 2005
Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
Av Martin Wirsing, Dang Van Hung
E-bok, 2005
1470 kr
Lägg i varukorg
This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17–21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University …
