Gesamtpreis (1 Artikel Artikel):
Versandziel:
tsai jeffrey (51 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (51)
- 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
- Neu (39)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (5)
- Gut oder Befriedigend (3)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (4)
Weitere Eigenschaften
- Erstausgabe (2)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (9)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Advances in Machine Learning Applications in Software Engineering.
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verbandsmitglied: GIAQ ILAB VDA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 16,00
Währung umrechnenEUR 3,00 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den Warenkorb1st ed. 18 x 25 cm. 480 pages. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
-
Distributed Real-Time Systems : Monitoring, Visualization, Debugging, and Analysis
Verlag: Wiley & Sons, Incorporated, John, 1996
ISBN 10: 0471160075 ISBN 13: 9780471160076
Sprache: Englisch
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 19,30
Währung umrechnenEUR 9,10 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. 1st Edition. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Knowledge-Based Software Development for Real-Time Distributed Systems
Verlag: World Scientific Publishing Co Pte Ltd, 1993
ISBN 10: 9810211287 ISBN 13: 9789810211288
Sprache: Englisch
EUR 24,99
Währung umrechnenEUR 3,99 für den Versand von Frankreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbNo jacket. Zustand: Très bon. Ancien livre de bibliothèque. Sans jaquette. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. No dust jacket. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Machine Learning Applications in Software Engineering (Software Engineering and Knowledge Engineering).
Verlag: World Scientific Publishing Company., 2005
ISBN 10: 9812560947 ISBN 13: 9789812560940
Sprache: Englisch
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verbandsmitglied: GIAQ ILAB VDA
Verkäuferbewertung 5 von 5 Sternen
EUR 28,00
Währung umrechnenEUR 3,00 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbIllustrated. 22 x 28 cm. 368 pages. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
-
Game On: Leaders Who Last
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 29,74
Währung umrechnenEUR 6,46 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.01.
-
SECURITY MODELING AND ANALYSIS OF MOBILE AGENT SYSTEMS (Electrical and Computer Engineering)
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 39,39
Währung umrechnenEUR 4,51 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Developing a National Recruiting Difficulty Index
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 38,80
Währung umrechnenEUR 11,48 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 120 pages. 9.00x6.00x0.50 inches. In Stock.
-
Computational Methods with Applications in Bioinformatics Analysis
Verlag: World Scientific Publishing Company, 2017
ISBN 10: 9813207973 ISBN 13: 9789813207974
Sprache: Englisch
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 63,86
Währung umrechnenKostenlos für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Application of Omics, AI and Blockchain in Bioinformatics Research (Advanced Series in Electrical and Computer Engineering)
Verlag: CO-PUBLISHED WITH World Scientif, 2019
ISBN 10: 9811203571 ISBN 13: 9789811203572
Sprache: Englisch
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 56,38
Währung umrechnenEUR 12,35 für den Versand von USA nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Fine.
-
EUR 69,37
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Corporate Acquisitions and Mergers in Taiwan
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 65,93
Währung umrechnenEUR 5,72 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Security Modeling and Analysis of Mobile Agent Systems Series in Electrical and Computer Engineering: Volume 5
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 72,74
Währung umrechnenKostenlos für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
KNOWLEDGE BASED SOFTWARE DEVELOPMENT FOR REAL TIME DISTRIBUTED SYSTEMS (HB 1993)
Verlag: World Scientific Publishing Company, 1993
ISBN 10: 9810211287 ISBN 13: 9789810211288
Sprache: Englisch
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 73,62
Währung umrechnenKostenlos für den Versand von USA nach DeutschlandAnzahl: 5 verfügbar
In den WarenkorbZustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Advances in Machine Learning Applications in Software Engineering
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 66,65
Währung umrechnenEUR 10,16 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 500 68:B&W 7 x 10 in or 254 x 178 mm Case Laminate on White w/Gloss Lam.
-
Corporate Acquisitions and Mergers in Taiwan
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 75,40
Währung umrechnenEUR 5,72 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
HYBRID PARALLEL EXECUTION MODEL FOR LOGIC BASED SPECIFICATION LANGUAGES (HB 2001)
Verlag: World Scientific Publishing Company, 2001
ISBN 10: 9810240961 ISBN 13: 9789810240967
Sprache: Englisch
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 81,60
Währung umrechnenKostenlos für den Versand von USA nach DeutschlandAnzahl: 5 verfügbar
In den WarenkorbZustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Intrusion Detection
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 71,34
Währung umrechnenEUR 10,16 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. xii + 171 Illus.
-
EUR 85,87
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Computational Methods with Applications in Bioinformatics Analysis (Advanced Series in Electrical and Computer Engineering) (Advanced Electrical and Computer Engineering)
Verlag: World Scientific Publishing Company, 2017
ISBN 10: 9813207973 ISBN 13: 9789813207974
Sprache: Englisch
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,48
Währung umrechnenEUR 10,16 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Application Of Omics, Ai And Blockchain In Bioinformatics Research
Verlag: World Scientific Publishing Co Pte Ltd, 2019
ISBN 10: 9811203571 ISBN 13: 9789811203572
Sprache: Englisch
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 91,96
Währung umrechnenEUR 4,52 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Advances in Machine Learning Applications in Software Engineering
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 94,71
Währung umrechnenEUR 5,72 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Machine Learning Applications in Software Engineering
Verlag: WORLD SCIENTIFIC PUB CO INC, 2005
ISBN 10: 9812560947 ISBN 13: 9789812560940
Sprache: Englisch
EUR 97,99
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Computational Methods With Applications In Bioinformatics Analysis
Verlag: World Scientific Publishing Co Pte Ltd, 2017
ISBN 10: 9813207973 ISBN 13: 9789813207974
Sprache: Englisch
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 98,45
Währung umrechnenEUR 4,52 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Application of Omics, AI and Blockchain in Bioinformatics Research (Advanced Electrical and Computer Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 99,49
Währung umrechnenEUR 5,72 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Security Modeling and Analysis of Mobile Agent Systems
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 101,76
Währung umrechnenEUR 2,30 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. 212.
-
Machine Learning Applications in Software Engineering
Verlag: World Scientific Publishing Company, 2005
ISBN 10: 9812560947 ISBN 13: 9789812560940
Sprache: Englisch
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 107,91
Währung umrechnenKostenlos für den Versand von USA nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbZustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Security Modeling and Analysis of Mobile Agent Systems
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 97,89
Währung umrechnenEUR 10,16 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. 212.
-
Intrusion Detection: A Machine Learning Approach
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 103,85
Währung umrechnenEUR 4,52 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
COMPUTATIONAL METHODS WITH APPLICATIONS IN BIOINFORMATICS ANALYSIS (Advanced Electrical and Computer Engineering)
Verlag: World Scientific Publishing Company, 2017
ISBN 10: 9813207973 ISBN 13: 9789813207974
Sprache: Englisch
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 106,58
Währung umrechnenEUR 5,72 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Compositional Verification of Concurrent and Real-Time Systems
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 112,77
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on. Failure of safety-critical systems could result in great disasters and loss of human life. Therefore, software used for safety critical systems should preserve high assurance properties. In order to comply with high assurance properties, a safety-critical system often shares resources between multiple concurrently active computing agents and must meet rigid real-time constraints. However, concurrency and timing constraints make the development of a safety-critical system much more error prone and arduous. The correctness of software systems nowadays depends mainly on the work of testing and debugging. Testing and debugging involve the process of de tecting, locating, analyzing, isolating, and correcting suspected faults using the runtime information of a system. However, testing and debugging are not sufficient to prove the correctness of a safety-critical system. In contrast, static analysis is supported by formalisms to specify the system precisely. Formal verification methods are then applied to prove the logical correctness of the system with respect to the specification. Formal verifica tion gives us greater confidence that safety-critical systems meet the desired assurance properties in order to avoid disastrous consequences.
