mehr als bücher

Grid  List

  1. Advances in Knowledge and Systems Engineering
    Advances in Knowledge and Systems Engineering
    Van Nam Huynh
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabePart I Workshop Invited Talks.- Part II KSE 2013 Special Sessions and Workshop.

    160,49 €*
  2. Knowledge and Systems Engineering
    Knowledge and Systems Engineering
    Van Nam Huynh
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    The field of Knowledge and Systems Engineering (KSE) has experienced rapid development and inspir...

    160,49 €*
  3. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Dang Van Hung
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeInvited Papers.-Acceleration for Petri Nets.- Automated Verification and Strategy Sy...

    53,49 €*
  4. Specification Case Studies in RAISE
    Specification Case Studies in RAISE
    Hung Dang Van
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Softwar...

    106,99 €*
  5. Theoretical Aspects of Computing - ICTAC 2017
    Theoretical Aspects of Computing - ICTAC 2017
    Dang Van Hung
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretica...

    53,49 €*
  6. Integrated Uncertainty in Knowledge Modelling and Decision Making
    Integrated Uncertainty in Knowledge Modelling and Decision Making
    Van-Nam Huynh
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the 6th International Symposium on Integrated U...

    53,49 €*
  7. Distributed Computing and Internet Technology
    Distributed Computing and Internet Technology
    Dang Van Hung
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the proceedings of the 16th International Conference on Distributed Computi...

    85,59 €*
  8. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Dang Van Hung
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the 18th International Symposium on Automated T...

    53,49 €*
  1. 1