Heule (46 Ergebnisse)

Zustand: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.

Zustand: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.

Zustand: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Jon Post Marianna Heule (illustrator).

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Jon Post Marianna Heule (illustrator).…

Zustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Zustand: As New. Signed Copy . Inscribed by author on title page. Jon Post Marianna Heule (illustrator).

15pp, 1 figs, Printed Card Cover, VGC.

paperback. Zustand: Very Good.

Gron., 1971. (Herdruk van de uitgave 1953). Omslag. 119 pp. (Trivium I,2). Nieuw exemplaar.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Paperback. Zustand: Brand New. 300 pages. 9.26x6.11x9.25 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada.The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as follows:Part I: Program analysis, ATP and rewriting; model checking; LTL; verification;Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games;Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada.The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as follows:Part I: Program analysis, ATP and rewriting; model checking; LTL; verification;Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games;Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada.The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as follows:Part I: Program analysis, ATP and rewriting; model checking; LTL; verification;Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games;Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.This book is open access.…

Paperback. Zustand: Brand New. 370 pages. 9.26x6.11x9.21 inches. In Stock.

Zustand: Very Good.

Zustand: New. In English.

Groningen 1971. lvi,111 p. (Trivium I/1).

Zustand: NEW.

Taschenbuch. Zustand: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I | Arie Gurfinkel (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxvii | Englisch | 2025 | Springer | EAN 9783031906428 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II | Arie Gurfinkel (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2025 | Springer | EAN 9783031906527 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III | Arie Gurfinkel (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxi | Englisch | 2025 | Springer | EAN 9783031906596 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Automated Reasoning | 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I | Christoph Benzmüller (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2024 | Springer | EAN 9783031634970 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.

LVI, 111 / 117 pp. -TEXT IN DUTCH- Sprache: Niederländisch Gewicht in Gramm: 700 8vo. Bound in private half cloth, ex-library copy with back label, library signs and stamps, bindings a bit stained, right edges closely cropped (partially a few letters are missing), else inside fine.

Zustand: Gut. Zustand: Gut | Seiten: 500 | Sprache: Englisch | Produktart: Bücher | This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.This book is open access.…

Zustand: New. Infotext (nur auf Basis des Vorgaengers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 202.