Carette jacques (25 Ergebnisse)

Paperback. Zustand: Very good. Paperback Small Quarto. wraps 471 pp.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Paperback. Zustand: Brand New. 2013 edition. 399 pages. 9.06x5.98x0.94 inches. In Stock.

Paperback. Zustand: Brand New. 2012 edition. 491 pages. 8.75x6.00x1.25 inches. In Stock.

Zustand: New.

Paperback. Zustand: Brand New. 500 pages. 9.25x6.10x1.18 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 7th International Conference on Mathematical Software, ICMS 2020, held in Braunschweig, Germany, in July 2020.The 48 papers included in this volume were carefully reviewed and selected from 58 submissions.The program of the 2020 meeting consisted of 20 topical sessions, each of which providing an overview of the challenges, achievements and progress in a environment of mathematical software research, development and use.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Conferences on Intelligent Computer Mathematics. The 7 revised full papers out of 18 submissions for MKM 2013, 5 revised full papers out of 12 submissions for Calculemus 2013, 6 revised full papers out of 8 submissions for DML 2013, and 12 revised full papers out of 16 submissions for Systems and Project track presented together with 3 invited talks were carefully reviewed and selected, resulting in 33 papers from a total of 73 submissions.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics. The 13 revised full papers out of 19 submissions for MKM 2012, 6 revised full papers out of 9 submissions for Calculemus 2012, 6 revised full papers out of 8 submissions for AISC 2012, 2 revised full papers out of 3 submissions for DML 2012, and 11 revised full papers out of 12 submissions for Systems and Project track presented were carefully reviewed and selected, resulting in 38 papers from a total of 52 submissions.This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics. The 13 revised full papers out of 19 submissions for MKM 2012, 6 revised full papers out of 9 submissions for Calculemus 2012, 6 revised full papers out of 8 submissions for AISC 2012, 2 revised full papers out of 3 submissions for DML 2012, and 11 revised full papers out of 12 submissions for Systems and Project track presented were carefully reviewed and selected, resulting in 38 papers from a total of 52 submissions.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, au- mated deduction and mathematical publishing each have long and successful histories, we are now seeing increasing opportunities for synergy among them. The Conferences on Intelligent Computer Mathematics (cicm 2009) is a c- lection of co-located meetings, allowing researchers and practitioners active in these related areas to share recent results and identify the next challenges. The speci c areas of the cicm conferences and workshops are described below, but the unifying theme is the computerized handling of mathematical knowledge. The successful formalization of much of mathematics, as well as a better - derstanding of its internal structure, makes mathematical knowledge in many waysmore tractable than generalknowledge,as traditionally treatedin arti cial intelligence. Similarly, we can also expect the problem of e ectively using ma- ematical knowledge in automated ways to be much more tractable. This is the goal of the work in the cicm conferences and workshops. In the long view, so- ing the problems addressed by cicm is an important milestone in formulating the next generation of mathematical software.…

Paperback. Zustand: Brand New. 2015 edition. 384 pages. 9.00x6.00x1.00 inches. In Stock.

Taschenbuch. Zustand: Neu. Mathematical Software - ICMS 2020 | 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings | Anna Maria Bigatti (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiii | Englisch | 2020 | Springer | EAN 9783030521998 | 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 | 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings | Jacques Carette (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2009 | Springer | EAN 9783642026133 | Verantwortliche Person für die EU: Lauinger, Sonia, Sonia Lauinger, Lauinger Verlag, Heinrich-Köhler-Platz 8, 76187 Karlsruhe, mail[at]lauinger-verlag[dot]de | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Intelligent Computer Mathematics | International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. | Manfred Kerber (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxi | Englisch | 2015 | Springer | EAN 9783319206141 | 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 | MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings | Jacques Carette (u. a.) | Taschenbuch | xvi | Englisch | 2013 | Springer | EAN 9783642393198 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 516 | Sprache: Englisch | Produktart: Bücher | As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, au- mated deduction and mathematical publishing each have long and successful histories, we are now seeing increasing opportunities for synergy among them. The Conferences on Intelligent Computer Mathematics (cicm 2009) is a c- lection of co-located meetings, allowing researchers and practitioners active in these related areas to share recent results and identify the next challenges. The speci?c areas of the cicm conferences and workshops are described below, but the unifying theme is the computerized handling of mathematical knowledge. The successful formalization of much of mathematics, as well as a better - derstanding of its internal structure, makes mathematical knowledge in many waysmore tractable than generalknowledge,as traditionally treatedin arti?cial intelligence. Similarly, we can also expect the problem of e?ectively using ma- ematical knowledge in automated ways to be much more tractable. This is the goal of the work in the cicm conferences and workshops. In the long view, so- ing the problems addressed by cicm is an important milestone in formulating the next generation of mathematical software.…

Couverture souple. Zustand: bon. R240050850: 1942. In-8. Broché. Etat d'usage, Couv. partiel. décollorée, Dos satisfaisant, Papier jauni. 224 pages - quelques rousseurs sans conséquence sur la lecture - rousseurs sur les plats. . . . Classification Dewey : 840.091-XX ème siècle.

Zustand: Très bon. Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme.

Paperback. Zustand: Good. 1. Verkleuring. Lichte ezelsoortjes Dutch Nummer 2 van de derde jaargang van Hedendaagsche kunst en letteren, een Vlaams kunst- en letterkundig tijdschrift uit 1938, uitgegeven te Brugge. Dit nummer bevat bijdragen van onder anderen Jef Crick, Antoon Carette, Jacques Durein, Alfons Alloo, A. Vanden Berghe, Lod. Vinckx en Marcel Vinckx, onder redactie van Maurits van Coppenolle. De bijdragen behandelen uiteenlopende onderwerpen uit de beeldende kunst, literatuur en het culturele leven, met bijzondere aandacht voor de Belgische kunstenaar en graficus J. De Bruycker, kunstenaar Karel Doudelet en kunstschilder Jan Mulder. Daarnaast bevat het tijdschrift beschouwingen en besprekingen over toneel, film en boeken. Een interessant tijdsdocument over het Vlaamse kunst- en cultuurleven tijdens het interbellum en een relevante bron voor de geschiedenis van de Belgische kunst, letterkunde en kunstkritiek.…

Couverture souple. Zustand: bon. R150149250: 1959. In-8. Broché. Bon état, Couv. partiel. décollorée, Dos satisfaisant, Intérieur acceptable. 120 pages. Nombreuses illustrations en noir et blanc dans le texte. . . . Classification Dewey : 799.2-Chasse.

BROCHE TRES BON ETAT pages non coupees.