dang van hung

Grid   List

  1. Knowledge and Systems Engineering
    Knowledge and Systems Engineering
    Van Nam Huynh
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The field of Knowledge and Systems Engineering (KSE) has experienced rapid development and inspired many applications in the world of information technology during the last decade. The KSE conferen...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Knowledge and Systems Engineering
    Knowledge and Systems Engineering
    Van Nam Huynh
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The field of Knowledge and Systems Engineering (KSE) has experienced rapid development and inspired many applications in the world of information technology during the last decade. The KSE conferen...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Dang Van Hung
    Springer International Publishing
    Ebook
    Sofort lieferbar
    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 r...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Theoretical Aspects of Computing - ICTAC 2005
    Theoretical Aspects of Computing - ICTAC 2005
    Dang Van Hung
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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. ICT...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Theoretical Aspects of Computing - ICTAC 2017
    Theoretical Aspects of Computing - ICTAC 2017
    Dang Van Hung
    Springer International Publishing
    Ebook
    Sofort lieferbar
    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.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Distributed Computing and Internet Technology
    Distributed Computing and Internet Technology
    Dang Van Hung
    Springer International Publishing
    Ebook
    Sofort lieferbar
    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.
    85,59 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Integrated Uncertainty in Knowledge Modelling and Decision Making
    Integrated Uncertainty in Knowledge Modelling and Decision Making
    Van-Nam Huynh
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 6th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2018, held in Hanoi, Vietnam, in March 2...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Dang Van Hung
    Springer International Publishing
    Ebook
    Sofort lieferbar
    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 ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Theoretical Aspects of Computing - ICTAC 2005
    Theoretical Aspects of Computing - ICTAC 2005
    Martin Wirsing
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    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. ICT...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Specification Case Studies in RAISE
    Specification Case Studies in RAISE
    Hung Dang Van
    Springer London, Springer London
    Taschenbuch
    Bezug 11-15
    This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cov...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Mizuhito Ogawa
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    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 r...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Knowledge and Systems Engineering
    Knowledge and Systems Engineering
    Van Nam Huynh
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    The field of Knowledge and Systems Engineering (KSE) has experienced rapid development and inspired many applications in the world of information technology during the last decade. The KSE confe...
    160,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>