sorge volker (34 Ergebnisse)

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

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

8° Broschiert. Lesespuren an Einband und Rücken Einband knickspurig 144 Deutsch 450g.

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 -- Nehmen Sie sich ein gutes Buch mit auf die Sommerwiese. Bei uns werden Sie fündig! -- 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.

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

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: Sehr gut. 1. 222 S. Alle Bücher & Medienartikel von Book Broker sind stets in gutem & sehr gutem gebrauchsfähigen Zustand. Die Ausgabe des gelieferten Exemplars kann um bis zu 10 Jahre vom angegebenen Veröffentlichungsjahr abweichen und es kann sich um eine abweichende Auflage handeln. Unser Produktfoto entspricht dem hier angebotenen Artikel, dieser weist folgende Merkmale auf: Leicht nachgedunkelte/saubere Seiten in fester Bindung. Leichte Gebrauchsspuren. Sprache: Deutsch Gewicht in Gramm: 281 Taschenbuch, Maße: 12.6 cm x 2.4 cm x 18.3 cm.

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.

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.

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 refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data.

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.

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

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. Artificial Intelligence, Automated Reasoning, and Symbolic Computation | Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings | Jacques Calmet (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2002 | Springer | EAN 9783540438656 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | 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 | 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings | Serge Autexier (u. a.) | Taschenbuch | xiv | Englisch | 2008 | Springer | EAN 9783540851097 | 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: 620 | Sprache: Englisch | Produktart: Bücher | 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.

8° , Broschur, 1. Auflage,. 164 Seiten, Das Buch ist in einem sehr guten Zustand. 9783947106554 Sprache: Deutsch Gewicht in Gramm: 550.

Softcover. Zustand: Gut. EP 79. 123 Seiten Das Buch erzählt von Jannis Papadakis, der mit seinem Vater zum ersten Mal auf einen Campingplatz geht und dort auf Konflikte mit einem Klassenkameraden stößt. Zustand: Einband mit stärkeren Gebrauchsspuren, Seiten geringfügig gebräunt, insgesamt GUTER Zustand. HC1-427-6/8-00832173 Sprache: Deutsch Gewicht in Gramm: 111.

Softcover. Zustand: Gut. 123 Jannis Papadakis und sein Vater besuchen zum ersten Mal einen Campingplatz, wo sie auf Vera aus Jannis\' Klasse treffen. Ein Streit entfacht, als Veras Vater den Platz fordert, den die Griechen besetzen. Zustand: Einband mit stärkeren Gebrauchsspuren, Seiten geringfügig gebräunt, insgesamt GUTER Zustand. HC1-055-6/8-00707559 Sprache: Deutsch Gewicht in Gramm: 113.

Zustand: New.