Language: English
Published by Sri Ramanasramam, Tamil Nadu, 2014
ISBN 10: 8188018716 ISBN 13: 9788188018710
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Condition: 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.
Published by T. N. Venkataraman, 1983
Seller: Squeaky Trees Books, Greenfield TWP, ME, U.S.A.
Paperback. Condition: Very Good. Light wear to wraps, very clean, no markings; 8vo 8" - 9" tall; 165 pages.
Condition: New. pp. 322.
Condition: New. pp. 322.
Condition: New. pp. 322.
hardcover. Condition: 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!
Published by sri Aurobindo Ashram Pondicherry, 1974
Seller: Suibhne's Rare and Collectible Books, Newbury, OH, U.S.A.
Hardcover. Condition: Good. Dust Jacket Condition: Fair. 2nd Edition. 2nd edition, hinge is sprung at copyright page, otherwise clean and unmarked, dj has losses to edges.
Published by Dipti Publications, Pondicherry, 1973
Seller: G. F. Wilkinson Books, member IOBA, GRASS VALLEY, CA, U.S.A.
Association Member: IOBA
Hardcover. Condition: Very Good. Dust Jacket Condition: 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.
US$ 34.82
Quantity: 1 available
Add to basketPaperback. Condition: Brand New. second edition. 146 pages. 8.40x5.50x0.30 inches. In Stock.
Condition: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2025.
Language: English
Published by Springer International Publishing AG, Cham, 2025
ISBN 10: 3031827023 ISBN 13: 9783031827020
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: 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.
Language: English
Published by Springer International Publishing AG, Cham, 2025
ISBN 10: 303182699X ISBN 13: 9783031826993
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: 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. Condition: 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.
Language: English
Published by Springer-Nature New York Inc, 2025
ISBN 10: 303182699X ISBN 13: 9783031826993
Seller: Revaluation Books, Exeter, United Kingdom
US$ 114.33
Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 252 pages. 9.25x6.10x9.24 inches. In Stock.
Language: English
Published by Springer-Nature New York Inc, 2025
ISBN 10: 3031827023 ISBN 13: 9783031827020
Seller: Revaluation Books, Exeter, United Kingdom
US$ 114.56
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 268 pages. 9.25x6.10x9.25 inches. In Stock.
Published by Macmillan India Limited, 1996
Seller: Tombland Bookshop, Norwich, NFLK, United Kingdom
Signed
US$ 17.31
Quantity: 1 available
Add to basketSoft Cover. Condition: 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.
Taschenbuch. Condition: 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.
Taschenbuch. Condition: 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.
Taschenbuch. Condition: 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.
Taschenbuch. Condition: 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.
Samata Books, India, 2002, in-8º major, softcover binding, 122 p., 170 g., illustrations inside page. Very good condition. [Hinduismo, tantra, diagrama místico].
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand.
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer, Springer Jan 2025, 2025
ISBN 10: 303182699X ISBN 13: 9783031826993
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: 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.
Language: English
Published by Springer, Springer Jan 2025, 2025
ISBN 10: 3031827023 ISBN 13: 9783031827020
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: 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.
Seller: Majestic Books, Hounslow, United Kingdom
US$ 102.57
Quantity: 4 available
Add to basketCondition: New. Print on Demand.
Seller: Majestic Books, Hounslow, United Kingdom
US$ 102.63
Quantity: 4 available
Add to basketCondition: New. Print on Demand.
Condition: New. PRINT ON DEMAND.