Idioma: Inglés
Publicado por Sri Ramanasramam, Tamil Nadu, 2014
ISBN 10: 8188018716 ISBN 13: 9788188018710
Librería: -OnTimeBooks-, Phoenix, AZ, Estados Unidos de America
EUR 8,30
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.
Publicado por T. N. Venkataraman, 1983
Librería: Squeaky Trees Books, Greenfield TWP, ME, Estados Unidos de America
EUR 3,54
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Light wear to wraps, very clean, no markings; 8vo 8" - 9" tall; 165 pages.
EUR 9,22
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 322.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 14,11
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 322.
EUR 9,91
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 322.
EUR 25,73
Cantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Very Good. This Book is in Very Good condition. See our picture for exact item you will receive. All items ship within 24 hours. Packaging is 100% Recyclable. Most items purchased from Charitable organizations. A portion of each sale is also donated to a monthly charity, check your package for this month's charity. Reuse-Recycle-Rebook!
Publicado por Dipti Publications, Pondicherry, 1973
Librería: G. F. Wilkinson Books, member IOBA, GRASS VALLEY, CA, Estados Unidos de America
Miembro de asociación: IOBA
EUR 22,12
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. Estado de la sobrecubierta: Good. Second Edition. Light offset tanning to endpapers; ocassional light pencil notes & marks by Narayan, the previous owner; circular handstamp of Motilal Bunarsidas lower corner front endpaper near hinge. Jacket with chips & rubbing at edges, 1" closed tear top front edge; tape reinforcement inside jacket at spine top and inside front lower flap fold. In protective mylar wrap. ; Red cloth; portrait photo of the author on front flap. Text phrases Sanskrit with accompanying translation in English. From the extensive collection of Narayan, a spiritual traveler & seeker in India, finally coming to rest in Nevada City, California to teach and practice Yoga & Mindfulness. ; 8vo 8" - 9" tall; 328 pages.
EUR 30,00
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. second edition. 146 pages. 8.40x5.50x0.30 inches. In Stock.
Librería: Marlton Books, Bridgeton, NJ, Estados Unidos de America
EUR 54,84
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2025.
Idioma: Inglés
Publicado por Springer International Publishing AG, Cham, 2025
ISBN 10: 3031827023 ISBN 13: 9783031827020
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 82,73
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 2021, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Idioma: Inglés
Publicado por Springer International Publishing AG, Cham, 2025
ISBN 10: 303182699X ISBN 13: 9783031826993
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 82,73
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 2021, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Publicado por Dipti Publications, 1979
Librería: HM Books, Kingston, NY, Estados Unidos de America
EUR 48,66
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. Third Edition (1979). Stated Third Edition (1979). Dust jacket shows some light rubbing, scuffing and shelf wear and it's edges show some light chipping, rubbing and scuffing. Book itself shows some light edge rubbing and fading consistent with age.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 96,97
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 97,04
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2025
ISBN 10: 303182699X ISBN 13: 9783031826993
Librería: Revaluation Books, Exeter, Reino Unido
EUR 98,51
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 252 pages. 9.25x6.10x9.24 inches. In Stock.
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2025
ISBN 10: 3031827023 ISBN 13: 9783031827020
Librería: Revaluation Books, Exeter, Reino Unido
EUR 98,71
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 268 pages. 9.25x6.10x9.25 inches. In Stock.
Publicado por Macmillan India Limited, 1996
Librería: Tombland Bookshop, Norwich, NFLK, Reino Unido
Ejemplar firmado
EUR 14,91
Cantidad disponible: 1 disponibles
Añadir al carritoSoft Cover. Condición: Very Good. 8vo. 180 pp. long presentation inscription signed by translator, light foxing and browning on foredges, otherwise very good in original card covers, soine sun faded, light shelfwear, very good. Size: 8vo - over 7¾" - 9¾" Tall. Signed By Translator.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 69,54
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20 21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 69,54
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20 21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas.
Librería: preigu, Osnabrück, Alemania
EUR 63,80
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Verification, Model Checking, and Abstract Interpretation | 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I | Krishna Shankaranarayanan (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2025 | Springer | EAN 9783031826993 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: preigu, Osnabrück, Alemania
EUR 63,80
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Verification, Model Checking, and Abstract Interpretation | 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II | Krishna Shankaranarayanan (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2025 | Springer | EAN 9783031827020 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
EUR 36,00
Cantidad disponible: 1 disponibles
Añadir al carritoSamata Books, India, 2002, in-8º major, softcover binding, 122 p., 170 g., illustrations inside page. Very good condition. [Hinduismo, tantra, diagrama místico].
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 58,23
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 58,23
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Idioma: Inglés
Publicado por Springer, Springer Jan 2025, 2025
ISBN 10: 303182699X ISBN 13: 9783031826993
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 69,54
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20 21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas. 252 pp. Englisch.
Idioma: Inglés
Publicado por Springer, Springer Jan 2025, 2025
ISBN 10: 3031827023 ISBN 13: 9783031827020
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 69,54
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20 21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas. 268 pp. Englisch.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 92,47
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 98,26
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 98,33
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 99,37
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND.