Lingua: Inglese
Editore: Sri Ramanasramam, Tamil Nadu, 2014
ISBN 10: 8188018716 ISBN 13: 9788188018710
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Condizione: 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.
Editore: T. N. Venkataraman, 1983
Da: Squeaky Trees Books, Greenfield TWP, ME, U.S.A.
Paperback. Condizione: Very Good. Light wear to wraps, very clean, no markings; 8vo 8" - 9" tall; 165 pages.
EUR 9,25
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 322.
Condizione: New. pp. 322.
EUR 9,91
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 322.
hardcover. Condizione: 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!
Editore: sri Aurobindo Ashram Pondicherry, 1974
Da: Suibhne's Rare and Collectible Books, Newbury, OH, U.S.A.
Hardcover. Condizione: Good. Condizione sovraccoperta: Fair. 2nd Edition. 2nd edition, hinge is sprung at copyright page, otherwise clean and unmarked, dj has losses to edges.
Editore: Dipti Publications, Pondicherry, 1973
Da: G. F. Wilkinson Books, member IOBA, GRASS VALLEY, CA, U.S.A.
Membro dell'associazione: IOBA
Hardcover. Condizione: Very Good. Condizione sovraccoperta: 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
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. second edition. 146 pages. 8.40x5.50x0.30 inches. In Stock.
Condizione: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2025.
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2025
ISBN 10: 3031827023 ISBN 13: 9783031827020
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condizione: 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.
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2025
ISBN 10: 303182699X ISBN 13: 9783031826993
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condizione: 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.
Hardcover. Condizione: 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.
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2025
ISBN 10: 303182699X ISBN 13: 9783031826993
Da: Revaluation Books, Exeter, Regno Unito
EUR 98,50
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 252 pages. 9.25x6.10x9.24 inches. In Stock.
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2025
ISBN 10: 3031827023 ISBN 13: 9783031827020
Da: Revaluation Books, Exeter, Regno Unito
EUR 98,70
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 268 pages. 9.25x6.10x9.25 inches. In Stock.
Editore: Macmillan India Limited, 1996
Da: Tombland Bookshop, Norwich, NFLK, Regno Unito
Copia autografata
EUR 14,91
Quantità: 1 disponibili
Aggiungi al carrelloSoft Cover. Condizione: 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.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 69,54
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 69,54
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: preigu, Osnabrück, Germania
EUR 63,80
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: preigu, Osnabrück, Germania
EUR 63,80
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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
Quantità: 1 disponibili
Aggiungi al carrelloSamata Books, India, 2002, in-8º major, softcover binding, 122 p., 170 g., illustrations inside page. Very good condition. [Hinduismo, tantra, diagrama místico].
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 58,23
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 58,23
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer, Springer Jan 2025, 2025
ISBN 10: 303182699X ISBN 13: 9783031826993
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 69,54
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Inglese
Editore: Springer, Springer Jan 2025, 2025
ISBN 10: 3031827023 ISBN 13: 9783031827020
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 69,54
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: Majestic Books, Hounslow, Regno Unito
EUR 91,07
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 92,47
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.
Da: Majestic Books, Hounslow, Regno Unito
EUR 98,56
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.