{"title":"Dang Van Hung","description":null,"products":[{"product_id":"theoretical-aspects-of-computing-ictac-2017-springer-international-publishing-ag-9783319677286-14th-international-colloquium-hanoi-vietnam-october-23-27-2017-proceedings-dang-van-hung","title":"Theoretical Aspects of Computing – ICTAC 2017","description":"\u003cp\u003eExplore the cutting-edge of computer science with \"Theoretical Aspects of Computing – ICTAC 2017,\" expertly edited by Dang Van Hung and published by Springer International Publishing AG. This first edition, released in 2017, compiles the refereed proceedings from the 14th International Colloquium on Theoretical Aspects of Computing held in Hanoi, Vietnam. Spanning 305 pages, this comprehensive volume features 17 meticulously selected and revised full papers, alongside three insightful invited talks, chosen from a competitive pool of 40 submissions. Ideal for academics, practitioners, and students alike, this book delves into the vital theoretical frameworks that shape modern computing. Enhance your understanding of the field and stay updated with the latest advancements in theoretical computing by adding this insightful work to your collection.\u003c\/p\u003e","brand":"Dang Van Hung","offers":[{"title":"Default Title","offer_id":52226781774166,"sku":"9783319677286","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319677286.jpg?v=1767740641"},{"product_id":"distributed-computing-and-internet-technology-springer-nature-switzerland-ag-9783030369866-16th-international-conference-icdcit-2020-bhubaneswar-india-january-9-12-2020-proceedings-dang-van-hung","title":"Distributed Computing and Internet Technology","description":"\u003cp\u003eExplore the cutting-edge insights of distributed computing with \u003cstrong\u003eDistributed Computing and Internet Technology\u003c\/strong\u003e by \u003cstrong\u003eDang Van Hung\u003c\/strong\u003e. Published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2019, this comprehensive paperback edition spans \u003cstrong\u003e438 pages\u003c\/strong\u003e and includes the proceedings of the esteemed \u003cstrong\u003e16th International Conference on Distributed Computing and Internet Technology (ICDCIT 2020)\u003c\/strong\u003e, held in Bhubaneswar, India, in January 2020. Within this volume, you will find \u003cstrong\u003e20 full papers\u003c\/strong\u003e and \u003cstrong\u003e3 short papers\u003c\/strong\u003e, all meticulously reviewed and selected from a competitive pool of \u003cstrong\u003e110 submissions\u003c\/strong\u003e. This book is an essential resource for researchers and practitioners looking to stay at the forefront of advancements in distributed computing and internet technologies. Dive into the latest findings and elevate your understanding of this dynamic field.\u003c\/p\u003e","brand":"Dang Van Hung","offers":[{"title":"Default Title","offer_id":52245844689238,"sku":"9783030369866","price":84.87,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030369866.jpg?v=1767770366"},{"product_id":"automated-technology-for-verification-and-analysis-springer-nature-switzerland-ag-9783030591519-18th-international-symposium-atva-2020-hanoi-vietnam-october-19-23-2020-proceedings-dang-van-hung","title":"Automated Technology for Verification and Analysis","description":"\u003cp\u003e\u003cstrong\u003eAutomated Technology for Verification and Analysis\u003c\/strong\u003e by Dang Van Hung, Mizuhito Ogawa.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer International Publishing AG, (2020), Paperback, 574 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Automatic theorem proving, Software engineering, Computer science, Computer Communication Networks.\u003c\/p\u003e","brand":"Dang Van Hung","offers":[{"title":"Default Title","offer_id":52279707926870,"sku":"9783030591519","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030591519.jpg?v=1767824087"}],"url":"https:\/\/www.englishbook.fi\/collections\/dang-van-hung.oembed","provider":"Bookshop","version":"1.0","type":"link"}