Importe total (1 artículo artículos):
Destino del pedido:
katz guy (40 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (40)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
Encuadernación
Más atributos
- Primera edición (3)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (1)
- Con imágenes (12)
- No impresión bajo demanda (30)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
EUR 2,87
Envío por EUR 5,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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
Idioma: Inglés
Publicado por New York: Random House Inc, 1987, New York, 1987
ISBN 10: 0394885244 ISBN 13: 9780394885247
Librería: Wabash Museum Books, Mount Carmel, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 8,87
Envío por EUR 4,31
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPictorial Cover. Condición: Very Good. No Jacket. Guy Gilchrist Ilustrador. 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
Idioma: Inglés
Publicado por New York: Random House Inc,, 1987
Librería: Wabash Museum Books, Mount Carmel, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 8,87
Envío por EUR 4,31
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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
Publicado por Bitterroot, Brooklyn, 1967
Librería: biblioboy, North Providence, RI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 8,87
Envío por EUR 6,03
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: 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)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 14,12
Envío por EUR 13,79
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Alex Katz: An American Way of Seeing
Publicado por Sara Hilden Art Museum, Tampere, 2009
ISBN 10: 9516094058 ISBN 13: 9789516094055
Librería: ANARTIST, New York, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 22,18
Envío por EUR 4,31
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover 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
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 52,86
Envío por EUR 13,79
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
How It Works?: Build Houses & Dig Tunnels (with Bonus Build Treehouse and Playground)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 15,97
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Print on Demand.
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop,
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 50,46
Envío por EUR 17,82
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Alex Katz: An American Way of Seeing
Publicado por Sara Hilden Art Museum, Tampere, 2009
ISBN 10: 9516094058 ISBN 13: 9789516094055
Librería: ANARTIST, New York, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 39,93
Envío por EUR 4,31
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover with dustjacket, 136 pages, in English and Finnish; very good condition; small pen mark to dj; no internal marks. Foreign shipping may be extra.
-
How It Works?
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 16,84
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: 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
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2025
ISBN 10: 3031999908 ISBN 13: 9783031999901
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,25
Envío por EUR 11,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 200 pages. 9.25x6.10x8.90 inches. In Stock.
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems (Lecture Notes in Computer Science)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 64,72
Envío por EUR 13,79
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop,
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 62,85
Envío por EUR 17,82
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
How It Works?
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 15,38
Envío por EUR 3,79
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Software Verification And Formal Methods
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
EUR 84,78
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
-
Ai Verification: Second International Symposium, Saiv 2025, Zagreb, Croatia, July 2122, 2025, Proceedings
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2025
ISBN 10: 3031999908 ISBN 13: 9783031999901
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 93,21
Envío por EUR 11,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 200 pages. 9.25x6.10x8.90 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
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 97,74
Envío por EUR 11,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 215 pages. 9.25x6.10x0.51 inches. In Stock.
-
Software Verification And Formal Methods
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 105,65
Envío por EUR 9,05
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
-
AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22â"23, 2024, Proceedings (Lecture Notes in Computer Science)
Librería: Books From California, Simi Valley, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 111,03
Envío por EUR 4,30
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Good.
-
AI Verification (eng)
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 5 de 5 estrellas
EUR 110,26
Envío por EUR 5,50
Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoCondición: new.
-
AI Verification (Paperback)
Idioma: Inglés
Publicado por Springer International Publishing AG, Cham, 2024
ISBN 10: 3031651111 ISBN 13: 9783031651113
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 122,68
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: 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.
-
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
Idioma: Inglés
Publicado por Springer International Publishing, 2022
ISBN 10: 3031212215 ISBN 13: 9783031212215
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 69,54
Envío por EUR 61,68
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Idioma: Inglés
Publicado por Springer Nature Switzerland, Springer International Publishing Dez 2022, 2022
ISBN 10: 3031212215 ISBN 13: 9783031212215
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 69,54
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.
-
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
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 63,90
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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 | 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 (eng)
Librería: Brook Bookstore, Milano, MI, Italia
Calificación del vendedor: 5 de 5 estrellas
EUR 105,52
Envío por EUR 27,99
Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoCondición: new.
-
Ai Verification: First International Symposium, Saiv 2024, Montreal, Qc, Canada, July 2223, 2024, Proceedings
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2024
ISBN 10: 3031651111 ISBN 13: 9783031651113
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 130,36
Envío por EUR 11,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 270 pages. 9.25x6.10x9.25 inches. In Stock.
-
AI Verification | First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 123,00
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. AI Verification | First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings | Guy Avni (u. a.) | Taschenbuch | 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
Idioma: Inglés
Publicado por Springer Nature Switzerland, Springer International Publishing, 2024
ISBN 10: 3031651111 ISBN 13: 9783031651113
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 139,09
Envío por EUR 61,56
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
-
AI Verification
Idioma: Inglés
Publicado por Springer Nature Switzerland, Springer Nature Switzerland Jul 2024, 2024
ISBN 10: 3031651111 ISBN 13: 9783031651113
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 139,09
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.
