Taschenbuch. Zustand: Neu. Automated Technology for Verification and Analysis | 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings | Dang Van Hung (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2020 | Springer | EAN 9783030591519 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Theoretical Aspects of Computing - ICTAC 2017 | 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings | Dang Van Hung (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2017 | Springer | EAN 9783319677286 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Automated Technology for Verification and Analysis | 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings | Dang Van Hung (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2013 | Springer | EAN 9783319024431 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Integrated Uncertainty in Knowledge Modelling and Decision Making | 6th International Symposium, IUKM 2018, Hanoi, Vietnam, March 15-17, 2018, Proceedings | Van-Nam Huynh (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxii | Englisch | 2018 | Springer | EAN 9783319754284 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Distributed Computing and Internet Technology | 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings | Dang Van Hung (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2019 | Springer | EAN 9783030369866 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Specification Case Studies in RAISE | Hung Dang Van (u. a.) | Taschenbuch | xv | Englisch | 2002 | Springer | EAN 9781852333591 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Knowledge and Systems Engineering | Proceedings of the Fifth International Conference KSE 2013, Volume 1 | Van Nam Huynh (u. a.) | Taschenbuch | Advances in Intelligent Systems and Computing | xii | Englisch | 2013 | Springer | EAN 9783319027401 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Knowledge and Systems Engineering | Proceedings of the Fifth International Conference KSE 2013, Volume 2 | Van Nam Huynh (u. a.) | Taschenbuch | Advances in Intelligent Systems and Computing | xii | Englisch | 2013 | Springer | EAN 9783319028200 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.