Gesamtpreis (1 Artikel Artikel):
Versandziel:
katz guy (23 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (23)
- 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 (19)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Gut oder Befriedigend (2)
- Ausreichend oder Schlecht (1)
- Wie beschrieben (1)
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (22)
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (8)
Sprache (2)
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
How It Works?: Build Houses & Dig Tunnels (with Bonus Build Treehouse and Playground)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 14,71
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, ... - August 1, and August 11, 2022, Proceedings
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 54,10
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Ai Verification: Second International Symposium, Saiv 2025, Zagreb, Croatia, July 2122, 2025, Proceedings
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2025
ISBN 10: 3031999908 ISBN 13: 9783031999901
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,64
EUR 11,58 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 200 pages. 9.25x6.10x8.90 inches. In Stock.
-
Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, TACAS 2026, Held as Part of the International Joint . II (Lecture Notes in Computer Science, 16506)
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 71,56
EUR 7,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New.
-
Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, TACAS 2026, Held as Part of the International Joint . I (Lecture Notes in Computer Science, 16505)
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 71,56
EUR 7,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New.
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems (Lecture Notes in Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 66,23
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Tools And Algorithms For The Construction And Analysis Of Systems: 32Nd International Conference, Tacas 2026, Held As Part Of The International Joint Conferences On Theory And Practice Of Software, Etaps 2026, Turin, Italy, April 11Â"16, 2026, Proceedings, Part Ii
Sprache: Englisch
Verlag: Springer Nature Switzerland Ag, 2026
ISBN 10: 3032227488 ISBN 13: 9783032227485
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 76,39
EUR 14,48 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 630 pages. 6.14x1.28x9.21 inches. In Stock.
-
Tools And Algorithms For The Construction And Analysis Of Systems: 32Nd International Conference, Tacas 2026, Held As Part Of The International Joint Conferences On Theory And Practice Of Software, Etaps 2026, Turin, Italy, April 11Â"16, 2026, Proceedings, Part I
Sprache: Englisch
Verlag: Springer Nature Switzerland Ag, 2026
ISBN 10: 3032227518 ISBN 13: 9783032227515
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,53
EUR 14,48 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 708 pages. 6.14x1.42x9.21 inches. In Stock.
-
Software Verification and Formal Methods for Ml-enabled Autonomous Systems: 5th International Workshop, Fomlas 2022, and 15th International Workshop, Nsv 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceeding
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 96,50
EUR 11,58 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 215 pages. 9.25x6.10x0.51 inches. In Stock.
-
EUR 59,46
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
EUR 60,32
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Software Verification And Formal Methods
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22â"23, 2024, Proceedings (Lecture Notes in Computer Science)
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
paperback. Zustand: Good.
-
Tools and Algorithms for the Construction and Analysis of Systems : 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II
Sprache: Englisch
Verlag: Springer, Berlin, Springer Nature Switzerland, Springer, 2026
ISBN 10: 3032227488 ISBN 13: 9783032227485
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16m 2026.
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, 2022
ISBN 10: 3031212215 ISBN 13: 9783031212215
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 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022.The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the NSV 2022 workshop. The FoMLAS workshop is dedicated to the development of novel formal methodstechniques to discussing on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabledautonomous systems. NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components.
-
AI Verification (eng)
Anbieter: Brook Bookstore, Milano, MI, Italien
Verkäuferbewertung 4 von 5 Sternen
Zustand: new.
-
Taschenbuch. Zustand: Neu. Software Verification and Formal Methods for ML-Enabled Autonomous Systems | 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings | Omri Isac (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2022 | Springer | EAN 9783031212215 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Ai Verification: First International Symposium, Saiv 2024, Montreal, Qc, Canada, July 2223, 2024, Proceedings
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031651111 ISBN 13: 9783031651113
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 131,22
EUR 11,58 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 270 pages. 9.25x6.10x9.25 inches. In Stock.
-
Taschenbuch. Zustand: Neu. AI Verification | First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings | Guy Avni (u. a.) | Taschenbuch | Lecture Notes in Computer Science | ix | Englisch | 2024 | Springer | EAN 9783031651113 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
AI Verification : First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer International Publishing, 2024
ISBN 10: 3031651111 ISBN 13: 9783031651113
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal specifications for systems with AI components; formal methods for analyzing systems with AI components; formal synthesis methods of AI components; testing approaches for systems with AI components; statistical approaches for analyzing systems with AI components; and approaches for enhancing the explainability of systems with AI components. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification; AI methods for formal synthesis; AI methods for safe control; and AI methods for falsification.
-
Verlag: PROMETHEE, n° 32-33, Paris, janvier-avril 1978. In-8, broché., 1978
Anbieter: Librairie Dhouailly, Paris, Frankreich
Verbandsmitglied: ILAB
Verkäuferbewertung 5 von 5 Sternen
[6057].
-
Maclean's Magazine, 4 August 1956 - Leo Koerner / The Private Lives of Byng Whitteker
Verlag: Maclean's Magazine, Canada, 1956
Anbieter: RareNonFiction, IOBA, Ladysmith, BC, Kanada
Verbandsmitglied: IOBA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Paperback. Zustand: Fair. First Edition. Features: Banff tea house survives roaring avalanche (ad); Leon Koerner's one-man giveaway program - Canada's happiest spender is this Czech millionaire who arrived here 17 years ago; A blueprint to stop our cities' decay - one in every 8 Canadian homes is slowly falling apart, soon to become part of a slum with its by-products of disease and distress - here's what Baltimore, Maryland found; Can science beat the virus diseases?; We're wasting millions on an obsolete air force - Guy Simonds charges that in this atomic age of guided missiles we're still committed to a costly, outdated concept of military strategy based on the airplane; We gambled our love on freedom - James Pegg, a British soldier, met Olga, a Ukrainian slave worker in a German prison camp - they had to choose. stay and be parted, or escape together into unknown dangers; The town that wants to stay old fashioned - Niagara-on-the-Lake; The secondhand love letter, by Edward Kaylin; The private lives of Byng Whitteker; Throw out our cruel divorce law - Kent Power, QC. Nice colour Chevrolet ad on page 5. Front cover heavily torn with chunks missing - it illustrated the construction of the Queen Elizabeth Hotel in Montreal. Colour Coke ad on back cover.; Magazine; Folio - over 12" - 15" tall; Maclean's Magazine, 4 August 1956 Banff tea house survives roaring avalanche; Leon Koerner's one-man giveaway program - Canada's happiest spender is this Czech millionaire who arrived here 17 years ago; A blueprint to stop our cities' decay - one in eve.
