Calmet jacques (43 Ergebnisse)

Hardcover. Zustand: Very Good. No Jacket. Hardcover 1996 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;1138.[viii, 379 p. : ill. ; 24 cm] Size: 8vo - over 7¾" - 9¾" tall. Book. …

Softcover. Zustand: Befriedigend. Nein. Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille France July 2002. Gebrauchsspuren, 341 Seiten. Nein.

Zustand: New. pp. 208 Illus.

8° Broschiert. Zustand: Sehr gut. 369 S. Leichte Lagerspuren, sonst wie neu. B02-03-02C Sprache: Englisch Gewicht in Gramm: 513.

8° Paperback. Zustand: Sehr gut. 369 S. This volume contains the conference proceedings of the Workshop on Global Integrability of Field Theories GIFT 2006 (Cockcroft Institute, Daresbury, UK, 11-01-06 11-03-06), which served as the final conference of the European NEST project GIFT. Within its scope, hitherto unrelated results from various domains including algebraic topology, computer algebra, differential Galois theory, integrable systems, formal theory of differential equations and physical field theories were combined. B02-04-06F Sprache: Englisch Gewicht in Gramm: 513.…

Paperback 23x16 cm, slightly rubbed, pp. 305 Gewicht in Gramm: 420.

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.

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.

Zustand: New. Brand New. Soft Cover International Edition. Different ISBN and Cover Image. Priced lower than the standard editions which is usually intended to make them more affordable for students abroad. The core content of the book is generally the same as the standard edition. The country selling restrictions may be printed on the book but is no problem for the self-use. This Item maybe shipped from US or any other country as we have multiple locations worldwide.…

Zustand: Very Good. 1995th Edition. 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.…

Zustand: Good. 1995th Edition. 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.

Zustand: Gut. XIII, 268 S., graph. Darst. Einband mit leichten Druckstellen. Kl. handschriftlicher Namenseintrag a. d. Vorsatz. Untere rechte Ecke leicht bestoßen, sonst tadellos erhalten. Lecture notes in computer science ; Vol. 4120 : Lecture notes in artificial intelligence. From the contents; Vorwort. Invited Presentations; Algebra and Geometry - Ineraction Between "Equations" and "Shapes"; Contributed Papers Artificial Intelligence and Theorem Proving; Symbolic Computation; Constraint Satisfaction/Solving; Mathematical Knowledge Management. Innen tadellos erhalten. deu B12-01-05B|GH52|8465DB Sprache: Deutsch Gewicht in Gramm: 444 24 cm. Original Broschur. Untere Ecke etwas bestoßen. …

1998. 316 S. sehr guter Zustand --- This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998.The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery. 9783540649601 Sprache: Deutsch Gewicht in Gramm: 550.…

Zustand: Very Good. 1998th Edition. 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.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 2008 edition. 189 pages. 9.50x6.25x0.50 inches. In Stock.

Zustand: New. In English.

Paperback. Zustand: Brand New. 280 pages. 9.25x6.10x0.64 inches. In Stock.

Paperback. Zustand: Brand New. 469 pages. 9.00x6.00x1.00 inches. In Stock.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of Thomas Beth. The themes of the conference reflected the many interests of Thomas Beth. Although, these interests might seem diverse, mathematical methods and especially algebra as a language constituted the common denominator of all of his scientific achievements. The 12 contributed talks presented were carefully selected from 30 submissions and cover the topics cryptography, designs, quantum computing, algorithms, and coding theory. Furthermore, this volume contains two invited talks held at the conference. One focuses on the area of coding theory and symbolic computation, an area especially appreciated by Thomas Beth, because it combines algebra and algorithmics. The other one discusses quantum information, which again was a focus of Thomas Beth's research.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018. The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected from 31 submissions. The AISC conference is an important forum when it comes to ensuring that ideas, theoretical insights, methods and results from traditional AI can be discussed and showcased, while fostering new links with other areas of AI such as probabilistic reasoning and deep learning.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. The goals were on one side to bind mathematical domains such as algebraic topology or algebraic geometry to AI but also to link AI to domains outside pure algorithmic computing. The papers address all current aspects in the area of symbolic computing and AI: basic concepts of computability and new Turing machines; logics including non-classical ones; reasoning; learning; decision support systems; and machine intelligence and epistemology and philosophy of symbolic mathematical computing.…

Kartoniert / Broschiert. Zustand: New.