Gesamtpreis (1 Artikel Artikel):
Versandziel:
tsai jeffrey j p (38 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (38)
- 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 (28)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (5)
- Gut oder Befriedigend (1)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (4)
Einband
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (10)
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
1st 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.
-
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
SonderangebotEUR 24,99
EUR 22,50 für den Versand von Frankreich nach USAAnzahl: 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.
-
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,67
EUR 12,11 für den Versand von Vereinigtes Königreich nach USAAnzahl: 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.
-
Application of Omics, AI and Blockchain in Bioinformatics Research (Advanced Series in Electrical and Computer Engineering)
Buch 6 von 7: Advanced Series in Electrical and Computer EngineeringVerlag: 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
Hardcover. Zustand: Fine.
-
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
Illustrated. 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.
-
Computational Methods with Applications in Bioinformatics Analysis
Buch 4 von 7: Advanced Series in Electrical and Computer EngineeringVerlag: 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
Zustand: 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 Series in Electrical and Computer Engineering: Volume 5
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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
Zustand: 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 4 von 5 Sternen
EUR 70,03
EUR 7,40 für den Versand von Vereinigtes Königreich nach USAAnzahl: 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.
-
Intrusion Detection: A Machine Learning Approach
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 72,09
EUR 7,40 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. xii + 171 Illus.
-
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
Zustand: 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.
-
Computational Methods with Applications in Bioinformatics Analysis (Advanced Series in Electrical and Computer Engineering) (Advanced Electrical and Computer Engineering)
Buch 4 von 7: Advanced Series in Electrical and Computer EngineeringVerlag: World Scientific Publishing Company, 2017
ISBN 10: 9813207973 ISBN 13: 9789813207974
Sprache: Englisch
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 82,03
EUR 7,40 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Application Of Omics, Ai And Blockchain In Bioinformatics Research
Buch 6 von 7: Advanced Series in Electrical and Computer EngineeringVerlag: 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 90,04
EUR 5,71 für den Versand von Vereinigtes Königreich nach USAAnzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Computational Methods With Applications In Bioinformatics Analysis
Buch 4 von 7: Advanced Series in Electrical and Computer EngineeringVerlag: 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 96,47
EUR 5,71 für den Versand von Vereinigtes Königreich nach USAAnzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Intrusion Detection: A Machine Learning Approach
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 101,83
EUR 5,71 für den Versand von Vereinigtes Königreich nach USAAnzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
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
Zustand: 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 4 von 5 Sternen
EUR 102,98
EUR 7,40 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. 212.
-
Security Modeling and Analysis of Mobile Agent Systems
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used. pp. 212.
-
Application of Omics, Ai and Blockchain in Bioinformatics Research
Buch 6 von 7: Advanced Series in Electrical and Computer EngineeringVerlag: World Scientific Pub Co Inc, 2019
ISBN 10: 9811203571 ISBN 13: 9789811203572
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 124,47
EUR 11,38 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 200 pages. 9.00x6.00x0.50 inches. In Stock.
-
Machine Learning Applications in Software Engineering
Verlag: World Scientific Publishing Company, Incorporated, 2005
ISBN 10: 9812560947 ISBN 13: 9789812560940
Sprache: Englisch
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 130,60
EUR 7,40 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 368 Illus.
-
Computational Methods With Applications in Bioinformatics Analysis
Buch 4 von 7: Advanced Series in Electrical and Computer EngineeringVerlag: World Scientific Pub Co Inc, 2017
ISBN 10: 9813207973 ISBN 13: 9789813207974
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 139,13
EUR 11,38 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 1st edition. 212 pages. 9.00x6.00x1.00 inches. In Stock.
-
Intrusion Detection: A Machine Learning Approach: Vol 3
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 154,32
EUR 11,38 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 3rd edition. 184 pages. 9.50x6.25x0.50 inches. In Stock.
-
Taschenbuch. Zustand: Neu. Compositional Verification of Concurrent and Real-Time Systems | Jeffrey J. P. Tsai (u. a.) | Taschenbuch | xix | Englisch | 2012 | Springer US | EAN 9781461353492 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Machine Learning in Cyber Trust
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 172,28
EUR 5,71 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Machine Learning in Cyber Trust: Security, Privacy, and Reliability
Verlag: Springer-Verlag New York Inc, 2009
ISBN 10: 0387887342 ISBN 13: 9780387887340
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 164,10
EUR 14,23 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 1st edition. 378 pages. 9.50x6.25x1.00 inches. In Stock.
-
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Compositional Verification of Concurrent and Real-Time Systems
Buch 86 von 260: The Springer International Series in Engineering and Computer ScienceAnbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. 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.
-
Compositional Verification of Concurrent and Real-Time Systems
Buch 86 von 260: The Springer International Series in Engineering and Computer ScienceVerlag: Springer US, Springer New York, 2002
ISBN 10: 140207025X ISBN 13: 9781402070259
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. 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.
-
Ubiquitous Intelligence and Computing
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 186,20
EUR 7,40 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. xxii + 1190 Illus.
