Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Automated Deduction in Geometry

Name: Automated Deduction in Geometry
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01657984
Price: 60.49 EUR
Availability: InStock
Author: Thomas Sturm
ISBN: 9783642210457

7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers

Thomas Sturm

Christoph Zengler

Sprache

Englisch

Buch Broschur

Libristo-Code: 01657984

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Mai 2011

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Wor... Vollständige Beschreibung

Libristo-Code: 01657984

148 b

60.49 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 9-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Tabellenwerk der nachschussigen Rentenbarwertfaktoren bei stetiger Verzinsung

Broschur

15.99 €

Antoine de Saint-Exupéry (2nde Ed) Emmanuel Mounier

Broschur

8.59 €

Hunger Games kolekce 1-4 (4DVD) Gary Ross

Video

22.39 €

Siostra anastazja życie pełne smaku historia przeplatana przepisami Anastazja Pustelnik

Hardcover

7.59 €

Lüge Steffen Jacobsen

Broschur

16.99 €

Compostar en casa : manual para fabricar abono con residuos del hogar JOSEP Mª. VALLES

Broschur

23.29 €

Englisch Grammatik - clever gelernt Peter Oldham

Blatt

7.59 €

Afetividade conectiva Silva Edileusa Regina Pena Da

Broschur

60.59 €

Drogen Und Stadtstruktur Sabine Thabe

Broschur

60.29 €

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2008, held in Shanghai, China in September 2008.§The 11 revised full papers presented were carefully reviewed and selected from numerous initial submissions for the workshop during two rounds of reviewing and improvement. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics such as discrete mathematics, combinatorics, and numerics; symbolic and numeric methods for geometric computation, and geometric constraint solving. Further issues are the design and implementation of geometry software, special-purpose tools, automated theorem provers - in short applications of ADG to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics and education.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Automated Deduction in Geometry

Autor Thomas Sturm, Christoph Zengler

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2011

Anzahl der Seiten 225

EAN 9783642210457

ISBN 3642210457

Libristo-Code 01657984

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 371

Abmessungen 155 x 235 x 17

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

Mathematik und Naturwissenschaften > Mathematik > Geometrie > Algebraische Geometrie

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

Mathematik und Naturwissenschaften > Mathematik > Diskrete Mathematik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Grafikprogrammierung

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

EDV und Informationstechnologie > Grafische und digitale Media-Anwendungen

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert