Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 01657984

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maggio 2011

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Wor... Descrizione completa

Codice Libristo: 01657984

148 b

60.49 €

Magazzino esterno in piccole quantità Inviamo tra 9-15 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Tabellenwerk der nachschussigen Rentenbarwertfaktoren bei stetiger Verzinsung

In brossura

15.09 €

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

In brossura

8.59 €

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

Video

22.39 €

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

Rigido

7.19 €

Lüge Steffen Jacobsen

In brossura

15.49 €

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

In brossura

23.29 €

Englisch Grammatik - clever gelernt Peter Oldham

Foglio

7.59 €

Afetividade conectiva Silva Edileusa Regina Pena Da

In brossura

60.59 €

Drogen Und Stadtstruktur Sabine Thabe

In brossura

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Automated Deduction in Geometry

Autore Thomas Sturm, Christoph Zengler

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2011

Numero di pagine 225

EAN 9783642210457

ISBN 3642210457

Codice Libristo 01657984

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

Peso 371

Dimensioni 155 x 235 x 17

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica

Matematica e Scienze > Matematica > Geometria > Geometria algebrica

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione > Matematica per informatici

Matematica e Scienze > Matematica > Matematica discreta

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Programmazione grafica

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale

Informatica e Tecnologia dell’Informazione > Applicazioni grafiche e multimediali