Kutsia temur (21 Ergebnisse)

Zustand: New. pp. xiii + 379 Illus.

Zustand: Used. pp. xiii + 379.

Zustand: New. In.

Zustand: New. In.

Paperback. Zustand: Brand New. 364 pages. 9.25x6.10x0.76 inches. In Stock.

Zustand: New.

Paperback. Zustand: Brand New. 476 pages. 9.25x6.10x1.02 inches. In Stock.

Kartoniert / Broschiert. Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th International Conference on Intelligent Computer Mathematics, CICM 2022, held in Tbilisi, Georgia, in September 2022. The 17 full papers, 1 project/ survey paper, 4 short papers, and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on theoretical and practical solutions for these challenges including computation, deduction, narration, and data management.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference served as an interdisciplinary forum for the presentation of research on all aspects of the application of symbolic computation in biology, including computer algebra, computational logic, and related methods. Papers also examine solutions to problems in biology using symbolic methods.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017, held in Vienna, Austria, in November 2017.The 28 revised papers and 8 short papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in the following topical sections: foundation of algorithms in mathematics, engineering and scientific computation; combinatorics and codes in computer science; data modeling and analysis; and mathematical aspects of information security and cryptography.…

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

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

Taschenbuch. Zustand: Neu. Algebraic Biology | Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings | Hirokazu Anai (u. a.) | Taschenbuch | xiii | Englisch | 2007 | Springer | EAN 9783540734321 | 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. Mathematical Aspects of Computer and Information Sciences | 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings | Johannes Blömer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2017 | Springer | EAN 9783319724522 | 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. Intelligent Computer Mathematics | 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings | Kevin Buzzard (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2022 | Springer | EAN 9783031166808 | 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. 1st edition. 377 pages. 9.50x6.00x0.50 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1 4, 2025.The 39 full papers and 5 short papers included in this volume were carefully reviewed and selected from 108 submissions. They were organized in the following topics:Part I: Special Track: Logics for Explainable and Trustworthy AI; Argumentation; Constraint Satisfaction and Optimization; Deontic Reasoning; Description Logics and Ontological Reasoning; Higher-order and Non-classical Logics; Logic Programming and Answer Set Programming.Part II: Non-monotonic Reasoning and Belief Change; Propositional Reasoning, QBF, and Satisfiability Problems; Temporal Reasoning; Theorem Proving.…

Taschenbuch. Zustand: Neu. Logics in Artificial Intelligence | 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part II | Giovanni Casini (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiii | Englisch | 2025 | Springer | EAN 9783032045898 | 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. Logics in Artificial Intelligence | 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part I | Giovanni Casini (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiv | Englisch | 2025 | Springer | EAN 9783032045867 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 368 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 15th International Conference on Intelligent Computer Mathematics, CICM 2022, held in Tbilisi, Georgia, in September 2022. The 17 full papers, 1 project/ survey paper, 4 short papers, and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on theoretical and practical solutions for these challenges including computation, deduction, narration, and data management.…