heule (33 Ergebnisse)

Zustand: Very Good. Jon Post Marianna Heule (illustrator). Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.

Zustand: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.

Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

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

Zustand: Good. Gil Dellinger (illustrator). Used book that is in clean, average condition without any missing pages.

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

Original publisher's paperback, title spine and frontcover, 8vo: 112pp., 9 contributions, list contributors, chapter notes, bibliographical notes, references. - as new.

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

Nijkerk, Callenbach, 1977. 1e druk 73 pp. Pb . Politiek en religieus zionisme vanuit de zienswijze van 3 rabbijnen. mooie staat.

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

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

Taschenbuch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.

Hardcover. Zustand: Sehr gut. Das Buch \ Disteln im Weinberg - Tagebuch aus Palästina\ von Sumaya Farhat-Naser bietet einen Einblick in das tägliche Leben in Palästina. Es dokumentiert die Herausforderungen und Hoffnungen einer Frau, die sich für den Frieden einsetzt und die kulturellen und politischen Spannungen der Region beschreibt. Zustand: Einband mit geringfügigen Gebrauchsspuren, insgesamt SEHR GUTER Zustand! Stichworte: Genres: Biografie, Gesellschaft, Politik; Schlagworte: Palästina, Tagebuch, Identität, Frieden, Kultur, Gerechtigkeit, Konflikt, Israel, Lebenserfahrung, Gesellschaft. 320 Seiten Deutsch 412g.

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.

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

Paperback. Zustand: Brand New. 456 pages. 9.25x6.10x0.94 inches. In Stock.

Zustand: Gut. 1. 320 Seiten Innerhalb Deutschlands Versand je nach Größe/Gewicht als Großbrief bzw. Bücher- und Warensendung mit der Post oder per DHL. Rechnung mit MwSt.-Ausweis liegt jeder Lieferung bei. Sprache: Deutsch Gewicht in Gramm: 422 Gebundene Ausgabe, Größe: 12.5 x 3.1 x 19.5 cm.

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.

Paperback. Zustand: Brand New. 439 pages. 9.25x6.10x9.21 inches. In Stock.

Zustand: Gut. Zustand: Gut | Seiten: 500 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers addressdifferent aspects ofSAT, including theoretical advances (exact algorithms,proof complexity, and other complexity issues), practical search algorithms,knowledge compilation, implementation-level details of SAT solvers andSAT-based systems, problem encodings and reformulations, and applications, as wellas case studies and reports on insightful findings based on rigorous experimentation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

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

Taschenbuch. Zustand: Neu. Neuware -Infotext (nur auf Basis des Vorgängers):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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Infotext (nur auf Basis des Vorgängers): 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. ppp. 1465.

Hardcover. Zustand: Brand New. 2nd edition. 1465 pages. 9.50x6.75x3.75 inches. In Stock.

Zustand: Very good.