Sorge volker (47 Ergebnisse)

95 Seiten mit Abb., Broschur gutes Expl. Guter Zustand Sprache: Deutsch Gewicht in Gramm: 550.

paperback. Zustand: New. Brand new book, sourced directly from publisher. Dispatch time is 9-10 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Paperback. Zustand: New. Brand new book, sourced directly from publisher. Dispatch time is 9-10 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Paperback. Zustand: New. 1.

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

Paperback. Zustand: Brand New. German language. 7.48x4.92x0.39 inches. In Stock.

Paperback. Zustand: Brand New. 168 pages. German language. 4.88x0.59x7.60 inches. In Stock.

Softcover. 18,5 x 14,5 cm. Originales weißes Heft mit 24 ungezählten Seiten, farbig und einfarbig bebildert. Am Einband etwas bestoßen, Hinterdeckel mit winziger Anschmutzung, ansonsten außen und innen gut erhalten. -- Bitte Portokosten außerhalb EU erfragen! / Please ask for postage costs outside EU! / S ' il vous plait demander des frais de port en dehors de l ' UE! // Bitte beachten Sie auch unsere Fotos! / Please also note our photos! / Veuillez noter nos photos -- Wenn es draußen stürmt, können Sie es sich mit einem guten Buch gemütlich machen und ein warmes Getränk dazu genießen. Bei uns finden Sie die passende Lektüre! -- Wir kaufen Ihre werthaltigen Bücher! K12920-426714.…

Zustand: Brand New. 160 pages. German language. 4.80x0.75x7.52 inches. In Stock.

Broschiert. Zustand: Wie neu. Gebraucht - Wie neu Ungelesen, vollständig, sehr guter Zustand, leichte Lagerspuren, als Mängelexemplar gekennzeichnet -Die Ampel steht auf Grün. Oder Rot. Oder Gelb. Die satirische Lesebühne Brauseboys läuft los zu ihrem 16. Jahresrückblick auf der Bühne und präsentiert aus diesem Anlass erneut ein Jahres-Best-of. In 52 wöchentlichen Leseshows hat die Berliner Vorleseboygroup Corona getrotzt und das Jahr 2021 intensiv durchlebt und kommentiert. Nun sortieren Thilo Bock, Nils Heinrich, Robert Rescue, Frank Sorge, Volker Surmann und Heiko Werning ihre Erinnerungen. Was bleibt vom zweiten Pandemiejahr, was wird für immer abgewählt, und was versinkt im Hochwasser der Geschichte 164 pp. Deutsch.…

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Zustand: New.

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

Zustand: New.

Taschenbuch. Zustand: Good. Seiten: sgut, Deckblatt vorne mit leichten gelben Flecken. Einband: bestoßen und berieben, hinten oben Ecke geknickt 2,5cm, vorne und hinten innen große gelbe Flecken. Buchschnitt: gut. Erhaltung des Schutzumschlags wie auf dem Bild, falls der Umschlag vorhanden. Versand am Tag des Geldeingangs.…

Paperback. Zustand: New. 2012 ed. 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.…

Zustand: New.

Zustand: New.

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

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

Broschiert. Zustand: Wie neu. Gebraucht - Wie neu Ungelesen, vollständig, sehr guter Zustand, leichte Lagerspuren, als Mängelexemplar gekennzeichnet -Die Ampel steht auf Grün. Oder Rot. Oder Gelb. Die satirische Lesebühne Brauseboys läuft los zu ihrem 16. Jahresrückblick auf der Bühne und präsentiert aus diesem Anlass erneut ein Jahres-Best-of. In 52 wöchentlichen Leseshows hat die Berliner Vorleseboygroup Corona getrotzt und das Jahr 2021 intensiv durchlebt und kommentiert. Nun sortieren Thilo Bock, Nils Heinrich, Robert Rescue, Frank Sorge, Volker Surmann und Heiko Werning ihre Erinnerungen. Was bleibt vom zweiten Pandemiejahr, was wird für immer abgewählt, und was versinkt im Hochwasser der Geschichte 164 pp. Deutsch.…

Kt - (OVK: 15,00). Zustand: Sehr gut. 180 S. MÄNGELEXEMPLAR: UNGELESEN und VOLLSTÄNDIG, aber mit leichten äußeren LAGER-/TRANSPORTSPUREN. Mit einem STEMPEL im BUCHSCHNITT als Mängelexemplar gekennzeichnet. Sofort versandfertig! Sprache: Deutsch Gewicht in Gramm: 180.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - AISC 2002, the 6th international conference on Arti cial Intelligence and S- bolic Computation, and Calculemus 2002, the 10th symposium on the Integ- tion of Symbolic Computation and Mechanized Reasoning, were held jointly in Marseille, France on July 1 5, 2002. This event was organized by the three universities in Marseille together with the LSIS (Laboratoire des Sciences de l Information et des Syst` emes). AISC 2002 was the latest in a series of specialized conferences founded by John Campbell and Jacques Calmet with the initial title Arti cial Intelligence and Symbolic Mathematical Computation (AISMC) and later denoted Art- cial Intelligence and Symbolic Computation (AISC). The scope is well de ned by its successive titles. AISMC-1 (1992), AISMC-2 (1994), AISMC-3 (1996), AISC 98, and AISC 2000 took place in Karlsruhe, Cambridge, Steyr, Plattsburgh (NY), and Madrid respectively. The proceedings were published by Springer-Verlag as LNCS 737, LNCS 958, LNCS 1138, LNAI 1476, and LNAI 1930 respectively. Calculemus 2002 was the 10th symposium in a series which started with three meetings in 1996, two meetings in 1997, and then turned into a yearly event in 1998. Since then, it has become a tradition to hold the meeting jointly with an event in either symbolic computation or automated deduction. Both events share common interests in looking at Symbolic Computation, each from a di erent point of view: Arti cial Intelligence in the more general case of AISC and Automated Deduction in the more speci c case of Calculemus.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics. The 14 revised full papers for AISC 2008, 10 revised full papers for Calculemus 2008, and 18 revised full papers for MKM 2008, plus 5 invited talks, were carefully reviewed and selected from a total of 81 submissions for a joint presentation in the book. The papers cover different aspects of traditional branches in CS such as computer algebra, theorem proving, and artificial intelligence in general, as well as newly emerging ones such as user interfaces, knowledge management, and theory exploration, thus facilitating the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, computer scientists, and engineers in their every-day business.…

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

Zustand: Gut. XIV, 600 P. Inside with owner notice, otherwise in very clean condition. English Language. Lecture notes in computer science ; Vol. 5144 : Lecture notes in artificial intelligence. From the contents: This volume contains the collected contributions of tree conferences, AISC 2008, Calculemus 2008, and MKM 2008.; - The LNAI series reports state-of-the-art results in artificial intelligence research, development, and education, at a high level and in both printed and electronic form. - With Figures. deu B12-03-04A|GH47|14007BB Sprache: Deutsch Gewicht in Gramm: 444 23,5 x 15,5 cm. Original Paperback in good condition. …