J marijn (39 Ergebnisse)

131 p. Hardcover met stofomslag (Mooi exemplaar.).

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

Zustand: New. In English.

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

Zustand: New.

Zustand: Very Good. Vervaeke, Geert (illustrator).

hardcover. Zustand: Used; Like New. Dispatched, from the UK, within 48 hours of ordering. This book is in mint condition. Both the pages and the cover are completely intact, without zero sign of previous usage.

Zustand: New. In English.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: fine. Gebunden. Sofortversand aus Deutschland. Artikel wiegt maximal 500g. Schutzumschlag. 169 Seiten.

Zustand: New.

Paperback. Zustand: Brand New. 414 pages. 9.25x6.10x1.00 inches. In Stock.

Zustand: New. In English.

Zustand: New. pp. 200.

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.…

Zustand: NEW.

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. Neuware - A basal reinforced piled embankment can be used for the construction of a road or a railway when a traditional construction method would require too much construction time. This publication provides a guideline for the design of basal reinforced piled embankments, including many practical directions for the design. The guideline consists of the.…

Zustand: New. Dr. Suzanne J.M. van Eekelen is a researcher in geotechnical engineering and an expert in the field of geosynthetic reinforcement, in particular piled embankments.She has reviewed or advised many piled embankment projects and she specialises in la.

Taschenbuch. Zustand: Neu. Electronic Government | 16th IFIP WG 8.5 International Conference, EGOV 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings | Marijn Janssen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2017 | Springer | EAN 9783319646763 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

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

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.

Paperback. Zustand: Brand New. 348 pages. 9.25x6.10x0.73 inches. In Stock.

Zustand: New.

Taschenbuch. Zustand: Neu. Automated Reasoning | 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II | Christoph Benzmüller (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2024 | Springer | EAN 9783031635007 | 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. Electronic Government | 20th IFIP WG 8.5 International Conference, EGOV 2021, Granada, Spain, September 7-9, 2021, Proceedings | Hans Jochen Scholl (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 2021 | Springer | EAN 9783030847883 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: New. In English.

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

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.…