Gesamtpreis (1 Artikel Artikel):
Versandziel:
hung dang (54 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (54)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (26)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,06
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Integrated Uncertainty in Knowledge Modelling and Decision Making: 6th International Symposium, IUKM 2018, Hanoi, Vietnam, March 15-17, 2018, Proceedings (Lecture Notes in Artificial Intelligence)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,06
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,06
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Theoretical Aspects of Computing - ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings (Theoretical Computer Science and General Issues)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,06
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Distributed Computing and Internet Technology
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Specification Case Studies in Raise
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Fair. No Jacket. Former library book; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
-
Distributed Computing and Internet Technology
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 72,88
EUR 6,79 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Theoretical Aspects of Computing - Ictac 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2017
ISBN 10: 3319677284 ISBN 13: 9783319677286
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,87
EUR 11,56 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 328 pages. 9.25x6.10x0.67 inches. In Stock.
-
Theoretical Aspects Of Computing Ict
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Distributed Computing and Internet Technology: 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings ... Applications, incl. Internet/Web, and HCI)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,73
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Integrated Uncertainty in Knowledge Modelling and Decision Making: 6th International Symposium, Iukm 2018, Hanoi, Vietnam, March 15-17, 2018, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2018
ISBN 10: 3319754289 ISBN 13: 9783319754284
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 80,55
EUR 14,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 500 pages. 9.25x6.10x1.13 inches. In Stock.
-
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture . / Programming and Software Engineering)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 81,21
EUR 14,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2013 edition. 542 pages. 9.20x6.10x1.23 inches. In Stock.
-
Automated Technology For Verification An
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 1923, 2020, Proceedings
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2020
ISBN 10: 3030591514 ISBN 13: 9783030591519
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 81,92
EUR 14,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 574 pages. 9.25x6.10x1.19 inches. In Stock.
-
Integrated Uncertainty in Knowledge Modelling and Decision Making
Sprache: Englisch
Verlag: Springer International Publishing, 2018
ISBN 10: 3319754289 ISBN 13: 9783319754284
EUR 48,37
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
-
Modeling in Mechanical and Civil Engineering
Sprache: Englisch
Verlag: LAP LAMBERT Academic Publishing, 2010
ISBN 10: 3838326768 ISBN 13: 9783838326764
EUR 63,42
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Theoretical Aspects of Computing ¿ ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319677284 ISBN 13: 9783319677286
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.
-
Distributed Computing And Internet Techn
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Integrated Uncertainty in Knowledge Modelling and Decision Making : 6th International Symposium, IUKM 2018, Hanoi, Vietnam, March 15-17, 2018, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319754289 ISBN 13: 9783319754284
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 2018.The 39 revised full papers presented in this book were carefully reviewed and selected from 76 initial submissions. The papers are organized in topical sections on uncertainty management and decision support; clustering and classification; machine learning applications; statistical methods; and econometric applications.
-
Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2013
ISBN 10: 3319024434 ISBN 13: 9783319024431
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 carefully selected from73 submissions.The papers are organized in topical, sections on analysis and verification of hardware circuits, systems-on-chip and embedded systems, analysis of real-time, hybrid, priced/weighted and probabilistic systems, deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification, analytical techniques for safety, security, and dependability, testing and runtime analysis based on verification technology, analysis and verification of parallel and concurrent hardware/software systems, verification in industrial practice, and applications and case studies.
-
Automated Technology for Verification and Analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19¿23, 2020, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2020
ISBN 10: 3030591514 ISBN 13: 9783030591519
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 selected from 75 submissions.The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems.
-
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. 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. 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.
-
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.
-
Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings (Lecture Notes in Computer Science, 3722)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 114,51
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Specification Case Studies in RAISE (Formal Approaches to Computing and Information Technology (FACIT))
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 114,51
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Công th?c chiên giòn và ngon ?? th?a mãn c?n thèm c?a b?n (Vietnamese Edition)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 40,96
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Specification Case Studies in RAISE.
Anbieter: CSG Onlinebuch GMBH, Darmstadt, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Gut. Gebraucht - Gut Zustand: Gut, Mängelexemplar, XV, 405 pp. About this book: 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 cover a wide range of application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. Additional resources and complete specifications for all of the case studies and the RAISE tools used to process them, are available on the World Wide Web. This book will be of particular interest to software engineers, especially those responsible for the initial stages of requirements engineering and software architecture and design. It will also be of interest to academics and students on advanced formal methods courses. Written for software engineers.
-
Distributed Computing and Internet Technology
Sprache: Englisch
Verlag: Springer International Publishing, 2019
ISBN 10: 3030369862 ISBN 13: 9783030369866
Zustand: New. 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 car.
