Gesamtpreis (1 Artikel Artikel):
Versandziel:
michael kohlhase (39 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (39)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (30)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (2)
- Gut oder Befriedigend (1)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (6)
Einband
Weitere Eigenschaften
- Erstausgabe (2)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (20)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Bibliographie Gregorianischer Chroal - Addenda I
Verlag: Regensburg, Conbrio, 1993
ISBN 10: 3930079232 ISBN 13: 9783930079230
Anbieter: Thomas Emig, Altlandsberg, Deutschland
Verbandsmitglied: BOEV
Verkäuferbewertung 2 von 5 Sternen
Erstausgabe
Softcover. Zustand: Wie neu. 1. Auflage. 484 pages.
-
Ki 2006: 29th Annual German Conference On Ai, Ki 2006, Bremen, Germany
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
KI 2006
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 58,09
EUR 7,52 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. 474 Illus.
-
-
KI 2006: 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings (Lecture Notes in Computer Science, 4314)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,06
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
![Beispielbild für OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science, 4180) zum Verkauf von Ria Christie Collections](https://pictures.abebooks.com/isbn/9783540378976-de-300.jpg)
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science, 4180)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,06
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 3863)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,06
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Bibliographie Gregorianischer Choral, Addenda I
Verlag: ConBrio, Regensburg, 1993
Anbieter: nova & vetera e.K., Bonn, Deutschland
Verbandsmitglied: GIAQ
Verkäuferbewertung 3 von 5 Sternen
Paperback. gr. 8° in der Reihe: Beiträge zur Gregoriank, herausgegeben von Luigi Agustoni u.a., Band 15/16. 484 Seiten. Paperback (Orig.-Kartoniert). minimale äußerliche Lagerspuren, sonst offenbar unbenutztes Exemplar, sehr guter Zustand 860 Gramm. Buch.
-
Omdoc - an Open Markup Format for Mathematical Documents [Version 1.2]
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2006
ISBN 10: 3540378979 ISBN 13: 9783540378976
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 80,20
EUR 14,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 428 pages. 9.00x6.00x1.00 inches. In Stock.
-
KI 2006: Advances in Artificial Intelligence: 29th Annual German Conference on Ai, Ki 2006, Bremen, Germany, June 14-17, 2006, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 80,55
EUR 14,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 456 pages. 9.00x6.00x1.00 inches. In Stock.
-
Digitalisierung von Zivilprozess und Rechtsdurchsetzung.
Sprache: Deutsch
Verlag: Berlin, Duncker & Humblot, 2022., 2022
ISBN 10: 3428186443 ISBN 13: 9783428186440
Anbieter: Antiquariat Werner Haschtmann, Frankfurt a.M., Deutschland
Verbandsmitglied: GIAQ
Verkäuferbewertung 5 von 5 Sternen
332 S, okart., guter Zustand (NP 99,90) Schriften zum Prozessrecht, Band 284.
-
Intelligent Computer Mathematics: 9th International Conference, Cicm 2016, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319425463 ISBN 13: 9783319425467
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 84,69
EUR 23,13 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 180 pages. 9.25x6.10x0.41 inches. In Stock.
-
Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, 2016
ISBN 10: 3319425463 ISBN 13: 9783319425467
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th InternationalConference on Intelligent Computer Mathematics, CICM 2016, held inBialystok, Poland, in July 2016.The 10 full papers and 2 short papers presentedwere carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topicalsections according to the five tracks of the conference:Calculemus; Digital Mathematics Libraries; Mathematical KnowledgeManagement; Surveys and Projects; and Systems and Data.
-
Taschenbuch. Zustand: Neu. Intelligent Computer Mathematics | 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings | Michael Kohlhase (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2016 | Springer | EAN 9783319425467 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Mathematical Knowledge Management
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2006
ISBN 10: 354031430X ISBN 13: 9783540314301
EUR 64,08
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New. This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 38 s.
-
![Bild des Verkäufers für OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] : Foreword by Alan Bundy zum Verkauf von AHA-BUCH GmbH](https://pictures.abebooks.com/inventory/md/md30934656567.jpg)
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] : Foreword by Alan Bundy
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2006
ISBN 10: 3540378979 ISBN 13: 9783540378976
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.
-
KI 2006 : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2007
ISBN 10: 3540699112 ISBN 13: 9783540699118
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-proceedings of the 29th Annual German Conference on Artificial Intelligence, KI 2006, held in Bremen, Germany, in June 2006. This was co-located with RoboCup 2006, the innovative robot soccer world championship, and with ACTUATOR 2006, the 10th International Conference on New Actuators. The 29 revised full papers presented together with two invited contributions were carefully reviewed and selected from 112 submissions.
-
Taschenbuch. Zustand: Neu. OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] | Foreword by Alan Bundy | Michael Kohlhase | Taschenbuch | xix | Englisch | 2006 | Springer | EAN 9783540378976 | 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. KI 2006 | 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings | Christian Freksa (u. a.) | Taschenbuch | xii | Englisch | 2007 | Springer | EAN 9783540699118 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Artificial Intelligence. ECAI 2023 International Workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - ... in Computer and Information Science, 1948)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 111,50
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Bibliographie Gregorianischer Choral. Zusammengestellt von Thomas Kohlhase und Günther Michael Paucker. (= Beiträge zur Gregorianik. Herausgegeben von Luigi Agustoni, Rupert Fischer u. a., Schriftleitung: Matthias Kreuels. Band bzw. Heft 9/10).
Verlag: Gustav Bosse, Regensburg, 1990
Anbieter: AixLibris Antiquariat Klaus Schymiczek, Aachen, Deutschland
Verbandsmitglied: BOEV
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Erstausgabe. Gr.8°. Erste Auflage, 410 S. OKarton (Softcover). Einband an den Kanten leicht bestoßen und beschabt; Rücken etwas verblasst.
-
Mathematical Knowledge Management : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Sprache: Englisch
Verlag: Springer, Berlin, Springer, 2006
ISBN 10: 354031430X ISBN 13: 9783540314301
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware - This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15-17, 2005 at - ternational University Bremen, Germany. Previous conferences have been at the Research Institute for Symbolic Computation (RISC) Linz, Austria (September 2001), at Bertinoro, Italy (March 2003), and Bialowiecze, Poland (September 2004). Mathematical knowledge management (MKM) is a eld in the intersection of mathematics and computer science, providing new techniques for managing the enormous volume of mathematical knowledge available in current mathematical sources and making it available through the new developments in information technology. The annual MKM Conference brings together mathematicians, software - velopers, publishing companies, math organizations, math users, and educators to exchange their views and approaches, current activities and new initiatives. For the rst time, MKM 2005 chose to have post-conference proceedings, as otherwise the submission deadline would have collided with other conferences and crimped time since MKM 2004 in September 2004. The decision also faci- tatedkeepingtheconferenceopentonewideasaswellaskeepingupthematurity of the papers necessary for inclusion into archival proceedings. With a May 15 deadline, MKM 2005 received 38 submissions. Each submission was reviewed by at least three programme committee members. The committee decided to - cept 27 papers for presentation at the conference. Out of these, 26 papers were accepted for publication in the conference proceedings after re-evaluation by the Programme Committee since they included signi cant improvements triggered by the referee reports and the discussions at the conference.
-
Robust Argumentation Machines: First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings (Lecture Notes in Artificial Intelligence)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 138,72
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
ECAI 2023 International Workshops
Sprache: Englisch
Verlag: Springer Nature Switzerland, 2024
ISBN 10: 3031504844 ISBN 13: 9783031504846
EUR 109,83
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
-
EUR 115,95
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Manfred Kerber, Michael KohlhaseWhile mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduct.
-
Robust Argumentation Machines
Sprache: Englisch
Verlag: Springer, Berlin|Springer Nature Switzerland|Deutsche Forschungsgemeinschaft|Springer, 2024
ISBN 10: 3031635353 ISBN 13: 9783031635359
EUR 118,61
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
-
Taschenbuch. Zustand: Neu. Artificial Intelligence. ECAI 2023 International Workshops | XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II | S¿awomir Nowaczyk (u. a.) | Taschenbuch | Communications in Computer and Information Science | xix | Englisch | 2024 | Springer | EAN 9783031504846 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Artificial Intelligence. Ecai 2023 International Workshops: Xai^3, Tactiful, Xi-ml, Sedami, Raait, Ai4s, Hydra, Ai4ai, Kraków, Poland, September 30 October 4, 2023, Proceedings, Part II
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031504844 ISBN 13: 9783031504846
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 179,62
EUR 14,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 492 pages. 9.25x6.10x1.00 inches. In Stock.
-
Taschenbuch. Zustand: Neu. Robust Argumentation Machines | First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings | Philipp Cimiano (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2024 | Springer | EAN 9783031635359 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Artificial Intelligence. ECAI 2023 International Workshops : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer International Publishing, 2024
ISBN 10: 3031504844 ISBN 13: 9783031504846
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the refereed proceedings presented at the international workshops of the26th European Conference on Artificial Intelligence, ECAI 2023, which was held inKraków, Poland, inSeptember-October 2023.The papers in this volume were presented at the following workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI.
![Bild des Verkäufers für OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] | Foreword by Alan Bundy zum Verkauf von preigu](https://pictures.abebooks.com/inventory/md/md32330981337.jpg)
