Importo totale (1 articolo articoli):
Destinazione ordine:
katz guy (64 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (64)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
Legatura
Ulteriori caratteristiche
- Prima ed. (3)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (1)
- Con foto (20)
- Non Print on Demand (37)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Little Wrinkle's Surprise
Lingua: Inglese
Editore: New York: Random House Inc, 1987, New York, 1987
ISBN 10: 0394885244 ISBN 13: 9780394885247
Da: Wabash Museum Books, Mount Carmel, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Pictorial Cover. Condizione: Very Good. No Jacket. Guy Gilchrist (illustratore). 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
Lingua: Inglese
Editore: New York: Random House Inc,, 1987
Da: Wabash Museum Books, Mount Carmel, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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.
-
EUR 3,37
Spedizione EUR 10,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
-
Bitterroot: Quarterly Poetry Magazine Fifth Year Number 19 Spring 1967
Editore: Bitterroot, Brooklyn, 1967
Da: biblioboy, North Providence, RI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Paperback. Condizione: Near Fine. First Edition. Decorated/pictorial wrappers [about 6" x 8.75"], saddle-stapled, 39+ pages. Near fine with light wear. 324.
-
How It Works?: Build Houses & Dig Tunnels (with Bonus Build Treehouse and Playground)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 14,67
Spedizione EUR 13,84
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Alex Katz: An American Way of Seeing
Editore: Sara Hilden Art Museum, Tampere, 2009
ISBN 10: 9516094058 ISBN 13: 9789516094055
Hardcover 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.
-
Alex Katz: An American Way of Seeing
Editore: Sara Hilden Art Museum, Tampere, 2009
ISBN 10: 9516094058 ISBN 13: 9789516094055
Hardcover with dustjacket, 136 pages, in English and Finnish; very good condition; small pen mark to dj; no 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
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 53,96
Spedizione EUR 13,84
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop,
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 50,66
Spedizione EUR 17,89
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
How It Works?
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 16,49
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Ai Verification: Second International Symposium, Saiv 2025, Zagreb, Croatia, July 2122, 2025, Proceedings
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2025
ISBN 10: 3031999908 ISBN 13: 9783031999901
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,48
Spedizione EUR 11,55
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: 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)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New.
-
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)
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 71,31
Spedizione EUR 7,51
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: 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)
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 71,31
Spedizione EUR 7,51
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New.
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems (Lecture Notes in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,06
Spedizione EUR 13,84
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop,
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 63,10
Spedizione EUR 17,89
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
How It Works?
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 15,45
Spedizione EUR 3,80
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: 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
Lingua: Inglese
Editore: Springer Nature Switzerland Ag, 2026
ISBN 10: 3032227488 ISBN 13: 9783032227485
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 75,91
Spedizione EUR 14,44
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: 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
Lingua: Inglese
Editore: Springer Nature Switzerland Ag, 2026
ISBN 10: 3032227518 ISBN 13: 9783032227515
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 77,05
Spedizione EUR 14,44
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 708 pages. 6.14x1.42x9.21 inches. In Stock.
-
Software Verification And Formal Methods
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 83,46
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems (Lecture Notes in Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: 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
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 95,92
Spedizione EUR 11,55
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: 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
Lingua: Inglese
Editore: Springer, Palgrave Macmillan, 2026
ISBN 10: 3032227488 ISBN 13: 9783032227485
EUR 42,79
Spedizione EUR 64,72
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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
Lingua: Inglese
Editore: Springer, Palgrave Macmillan, 2026
ISBN 10: 3032227518 ISBN 13: 9783032227515
EUR 42,79
Spedizione EUR 65,27
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
Software Verification And Formal Methods
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22â"23, 2024, Proceedings (Lecture Notes in Computer Science)
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
paperback. Condizione: Good.
-
EUR 41,15
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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 I | Sebastian Junges (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxvi | Englisch | 2026 | Springer | EAN 9783032227515 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
AI Verification (eng)
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 3 su 5 stelle
EUR 110,26
Spedizione EUR 5,50
Spedito da Italia a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloCondizione: new.
-
AI Verification (Paperback)
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2024
ISBN 10: 3031651111 ISBN 13: 9783031651113
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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.
