Montant total (1 article articles) :
Destination de la commande :
katz guy (66 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (65)
- Magazines & Périodiques (1)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
Particularités
- Ed. originale (3)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (1)
- Avec images (21)
- Sans impressions à la demande (34)
Langue (2)
Livraison gratuite
Pays
Evaluation du vendeur
-
EUR 2,85
Expédition à EUR 10
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Little Wrinkle's Surprise
Langue: anglais
Edité par New York: Random House Inc, 1987, New York, 1987
ISBN 10 : 0394885244 ISBN 13 : 9780394885247
Vendeur : Wabash Museum Books, Mount Carmel, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 9,01
Expédition à EUR 4,38
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPictorial Cover. Etat : Very Good. No Jacket. Guy Gilchrist (illustrateur). First Edition. Pictorial Cover. Very Good/No Jacket. First Edition. 4to - over 9¾" - 12" tall. Delightfully color illustrated children's story of dog family and Wrinkle's attempt to give his mother a gift for her birthday. Gardening is the answer as he grows a flower for her. Pages tight; crisp; clean; no markings in text. Glossy cover with Dog family gardening on front. Crayon markings on inside front cover.; poi on front endpaper.Otherwise book shows no shelf wear.
-
Little Wrinkle's Surprise
Langue: anglais
Edité par New York: Random House Inc,, 1987
Vendeur : Wabash Museum Books, Mount Carmel, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 9,01
Expédition à EUR 4,38
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Fair. Dust Jacket Included. Pictorial Cover. Very Good/No Jacket. First Edition. 4to - over 9¾" - 12" tall. Delightfully color illustrated children's story of dog family and Wrinkle's attempt to give his mother a gift for her birthday. Gardening is the answer as he grows a flower for her. Pages tight; crisp; clean; no markings in text. Glossy cover with Dog family gardening on front. Crayon markings on inside front cover.; poi on front endpaper.Otherwise book shows no shelf wear.
-
Bitterroot: Quarterly Poetry Magazine Fifth Year Number 19 Spring 1967
Langue: anglais
Edité par Bitterroot, Brooklyn, 1967
Vendeur : biblioboy, North Providence, RI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Magazine / Périodique Edition originale
EUR 9,01
Expédition à EUR 6,13
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Near Fine. First Edition. Decorated/pictorial wrappers [about 6" x 8.75"], saddle-stapled, 39+ pages. Near fine with light wear. whbx 17.
-
How It Works?: Build Houses & Dig Tunnels (with Bonus Build Treehouse and Playground)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 14,80
Expédition à EUR 13,89
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Alex Katz: An American Way of Seeing
Edité par Sara Hilden Art Museum, Tampere, 2009
ISBN 10 : 9516094058 ISBN 13 : 9789516094055
Vendeur : ANARTIST, New York, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 22,54
Expédition à EUR 4,38
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover with dustjacket, 136 pages, in English and Finnish; good condition; ex-gallery library copy with call number taped around bottom of d spine; stamps and stickers to first couple pages; no other internal marks. Foreign shipping may be extra.
-
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
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 54,55
Expédition à EUR 13,89
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop,
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 50,84
Expédition à EUR 17,96
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Alex Katz: An American Way of Seeing
Edité par Sara Hilden Art Museum, Tampere, 2009
ISBN 10 : 9516094058 ISBN 13 : 9789516094055
Vendeur : ANARTIST, New York, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 40,56
Expédition à EUR 4,38
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover with dustjacket, 136 pages, in English and Finnish; very good condition; small pen mark to dj; no internal marks. Foreign shipping may be extra.
-
Ai Verification: Second International Symposium, Saiv 2025, Zagreb, Croatia, July 2122, 2025, Proceedings
Langue: anglais
Edité par Springer-Nature New York Inc, 2025
ISBN 10 : 3031999908 ISBN 13 : 9783031999901
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,69
Expédition à EUR 11,59
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 200 pages. 9.25x6.10x8.90 inches. In Stock.
-
How It Works?
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 17,04
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierPAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
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)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 74,23
Expédition à EUR 3,49
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : 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)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 74,23
Expédition à EUR 3,49
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems (Lecture Notes in Computer Science)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 66,78
Expédition à EUR 13,89
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop,
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 63,32
Expédition à EUR 17,96
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
How It Works?
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 16,33
Expédition à EUR 3,81
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierPAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
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
Langue: anglais
Edité par Springer Nature Switzerland Ag, 2026
ISBN 10 : 3032227488 ISBN 13 : 9783032227485
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 78,31
Expédition à EUR 14,49
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : 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
Langue: anglais
Edité par Springer Nature Switzerland Ag, 2026
ISBN 10 : 3032227518 ISBN 13 : 9783032227515
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 79,47
Expédition à EUR 14,49
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 708 pages. 6.14x1.42x9.21 inches. In Stock.
-
Software Verification And Formal Methods
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
EUR 84,69
Expédition à EUR 10,50
Expédition depuis Irlande vers Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems (Lecture Notes in Computer Science)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 99,56
Expédition à EUR 3,49
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
-
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
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 98,92
Expédition à EUR 11,59
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 215 pages. 9.25x6.10x0.51 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 II
Langue: anglais
Edité par Springer, Palgrave Macmillan, 2026
ISBN 10 : 3032227488 ISBN 13 : 9783032227485
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 42,79
Expédition à EUR 64,72
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
-
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
Langue: anglais
Edité par Springer, Palgrave Macmillan, 2026
ISBN 10 : 3032227518 ISBN 13 : 9783032227515
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 42,79
Expédition à EUR 65,27
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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-16, 2026.The 52 full papers, 4 short papers and 16 SV-COMP papers included in the proceedings were carefully reviewed and selected from 177 submissions. They were organized in topical sections as follows:Part I: SAT/SMT; Proofs and QUantified Elimination; Automata; Verification of Probabilistic Systems; Cyber-Physical Systems;Part II: Software Verification; Program Verification; Java Analysis; Hardware Verification and Model Checking; Quantum; SV-COMP.
-
AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22â"23, 2024, Proceedings (Lecture Notes in Computer Science)
Vendeur : Books From California, Simi Valley, CA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 109,54
Expédition à EUR 4,37
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : Good.
-
EUR 41,35
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. 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 | Sebastian Junges (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxvii | Englisch | 2026 | Springer | EAN 9783032227485 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Software Verification And Formal Methods
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 106,71
Expédition à EUR 9,19
Expédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
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
Langue: anglais
Edité par Springer International Publishing, 2022
ISBN 10 : 3031212215 ISBN 13 : 9783031212215
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 69,54
Expédition à EUR 61,68
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
-
EUR 63,80
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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 (Paperback)
Langue: anglais
Edité par Springer International Publishing AG, Cham, 2024
ISBN 10 : 3031651111 ISBN 13 : 9783031651113
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 139,60
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. 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. 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 second group, artificial intelligence for formal methods, comprised: AI methods for formal verification; Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Ai Verification: First International Symposium, Saiv 2024, Montreal, Qc, Canada, July 2223, 2024, Proceedings
Langue: anglais
Edité par Springer-Nature New York Inc, 2024
ISBN 10 : 3031651111 ISBN 13 : 9783031651113
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 131,34
Expédition à EUR 11,59
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 270 pages. 9.25x6.10x9.25 inches. In Stock.
