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

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

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Automated Deduction in Geometry

Name: Automated Deduction in Geometry
Brand: Springer, Berlin
SKU: 01659177
Price: 56.39 EUR
Availability: InStock
Author: Pascal Schreck
ISBN: 9783642250699

8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers

Pascal Schreck

Julien Narboux

Jürgen Richter-Gebert

Lingua

Inglese

Libro In brossura

Codice Libristo: 01659177

Casa editrice Springer, Berlin, novembre 2010

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

Codice Libristo: 01659177

138 b

56.39 €

Magazzino esterno Inviamo tra 10-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Landschaften des Bürgerlichen. Günter Wirth

In brossura

43.29 €

Ahlan wa Sahlan, Schlüssel zu den Übungen u. Wörterverzeichnis Manfred Woidich

In brossura

9.19 €

Tier im Spiegel der Sprache Richard Riegler

In brossura

30.79 €

Giardini di cristallo - Eisfälle in den Ossolatälern Stefano DeLuca

In brossura

20.59 €

Montessori à la maison Gilles Cotte

In brossura

25.09 €

El meu petit jardí Wiehle

Rigido

11.39 €

Quoi qu‘il en soit

Rigido

24.19 €

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG 2010, held in Munich, Germany in July 2010. §The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. Topics addressed by the papers are incidence geometry using some kind of combinatoric argument; computer algebra; software implementation; as well as logic and proof assistants.

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 Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2011

Numero di pagine 259

EAN 9783642250699

ISBN 3642250696

Codice Libristo 01659177

Casa editrice Springer, Berlin

Peso 421

Dimensioni 155 x 235 x 20

Categorie

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

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 > Programmazione grafica

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

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