Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Intelligent Computer Mathematics

16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Intelligent Computer Mathematics Lucas Dixon
Codul Libristo: 01650011
Editura Springer, Berlin, mai 2009
This book constitutes the joint refereed proceedings of the 16th Symposium on the Integration of Sym... Descrierea completă
? points 132 b
285.53 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Médecine foetale et néonatale Joseph Haddad / Carte Carte broșată
common.buy 1 086.66 lei
DENKRIESEN - STADT LAND VOLLPFOSTEN® - Levels - CHRISTMAS EDITION - "Alle Jahre wieder." Ricardo Barreto / Joc / Jucărie Joc
common.buy 82.33 lei
Cenizas y misterio ALEJANDRO DUQUE AMUSCO / Carte Carte broșată
common.buy 100.76 lei
Top
Tema a tema - Curso de conversacion Anna Turza Ferré / Carte Carte broșată
common.buy 126.78 lei
Classic Metamorphosis Alpha - Sammlerausgabe Taylor Robert / Carte Carte broșată
common.buy 299.37 lei
La dimensión propagandística del terrorismo yihadista global Torres Soriano / Carte Carte broșată
common.buy 78.69 lei
LA TEORÍA DE LAS BARRAS X EN LAS CONFIGURACIONES DE REICHENBACH / Carte Carte broșată
common.buy 217.66 lei
Der Geschmacksthesaurus (Band 2) - noch mehr Aromen Niki Segnit / Carte Copertă tare
common.buy 159.57 lei
Dhuoda, belle-fille de saint Guilhem, et autres femmes d'exception au Moyen Âge Gravel et al. / Carte Carte broșată
common.buy 119.70 lei
Vyškrabávací obrázky - Jednorožec 16,5 x 21 cm (2 ks) / Articole de papetărie Articole de papetărie
common.buy 13.42 lei
Conseils Sur Les Soins A Donner Pendant La Premiere Enfance. 2e Edition DEMANGE-C / Carte Carte broșată
common.buy 75.25 lei
Sans Mots François Girard / Carte Carte broșată
common.buy 99.09 lei
El círculo de los infieles Alberto Garrido / Carte Carte broșată
common.buy 97.94 lei
Nella notte blu. Con un ditino Gabriele Clima / Carte Cărți pliante
common.buy 78.69 lei
Razones para la rebeldía GUILLERMO TOLEDO / Carte Carte broșată
common.buy 50.48 lei
Aus welchen Grunden scheiterte Pyrrhos' Italienfeldzug? Kadir Özdemir / Carte Carte broșată
common.buy 79.94 lei
Die drei ??? - Pfad der Angst, 1 Audio-CD Oliver Rohrbeck / Audio Audio CD
common.buy 53.29 lei
Malbuch Rom und die Römer Nuesret Kaymak / Carte Carte broșată
common.buy 39.03 lei
Historische Syntax des Deutschen Jürg Fleischer / Carte Carte broșată
common.buy 152.81 lei
Stuck Herman Bang / Carte Copertă tare
common.buy 104.29 lei
Netzwerkanalyse Und Netzwerktheorie Christian Stegbauer / Carte Carte broșată
common.buy 370.89 lei

This book constitutes the joint refereed proceedings of the 16th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2009 and the 8th International Conference on Mathematical Knowledge Management, MKM 2009, held in Grand Bend, Canada, as CICM 2009, the Conferences on Intelligent Computer Mathematics.§The 10 revised full papers and 4 invited talks for Calculemus 2009 and 16 revised full papers and 6 short communications for MKM 2009 presented together with 4 joint invited talks were carefully reviewed and selected from a total of 51 submissions. The papers of Calculemus 2009 cover all aspects of the interplay of mechanized reasoning and computer algebra, as well as the development of integrated systems that transcend both computer algebra and theorem proving. The focus of MKM 2009 lies at the intersection of mathematics and computer science with the goal of developing effective techniques, based on formal mathematics and software technology. The realm of mathematical information is an attractive candidate for testing innovative theoretical and technological solutions for content-based systems, interoperability, management of machine understandable information, and the semantic Web.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Intelligent Computer Mathematics
Autor Lucas Dixon, Jacques Carette, Claudio Sacerdoti Coen, Stephen Watt
Limba engleză
Legare Carte - Carte broșată
Data publicării 2009
Număr pagini 493
EAN 9783642026133
ISBN 3642026133
Codul Libristo 01650011
Editura Springer, Berlin
Greutatea 774
Dimensiuni 155 x 235 x 28

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Digital lifestyle > Internet guides & online services > Internet searching
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Databases > Data mining
Computing & Information Technology > Databases > Information retrieval
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Slow Virus Infections of the Central Nervous System V. ter Meulen / Carte Copertă tare
common.buy 476.86 lei
Mom 3MD Rose a Hunt / Carte Copertă tare
common.buy 136.98 lei
Grazing On The Public Lands: Extracts From The Report Of The Public Lands Commission (1905) U S Dept of Agriculture / Carte Copertă tare
common.buy 189.66 lei
EMDR Therapy and Emergency Response Marilyn Luber / Carte Carte broșată
common.buy 182.26 lei
Architecture & Construction Diane Lindsey Reeves / Carte Copertă tare
common.buy 165.19 lei
HIST OF CHEMISTRY Francis P. Venable / Carte Copertă tare
common.buy 173.83 lei
Ultimate Guide to Journaling Hannah Braime / Carte Carte broșată
common.buy 70.26 lei
Microbiology for Veterinary Technicians Tracy H Vemulapalli / Carte Carte broșată
common.buy 235.66 lei
Outlines of the Principal Events in the Life of General Lafayette: From the North American Review. George Ticknor / Carte Carte broșată
common.buy 70.67 lei
Rape of an American Family: 4 Generation Family Predator Brooks W Wilson / Carte Carte broșată
common.buy 52.04 lei
The Journey Series Adrianna Davis / Carte Carte broșată
common.buy 42.25 lei
Lovely Colors & Beautiful Patterns: Detailed Designs Adult Coloring Book Lilt Kids Coloring Books / Carte Carte broșată
common.buy 46.83 lei
The Bouquet Race VI: "no Hitting" Noble Lee Lester / Carte Carte broșată
common.buy 57.03 lei
Results Frank Natale / Carte Carte broșată
common.buy 96.49 lei
Desk Reference to the Diagnostic Criteria From DSM-5-TR (TM) American Psychiatric Association / Carte Cu spiră
common.buy 416.38 lei
Endymion John Keats / Carte Copertă tare
common.buy 179.04 lei
Understanding and Responding to Child Sexual Exploitation Helen Beckett / Carte Copertă tare
common.buy 1 320.15 lei
Microbial Cell Factories Baljeet Singh Saharan / Carte Copertă tare
common.buy 1 611.31 lei
Python For ArcGIS Laura Tateosian / Carte Carte broșată
common.buy 474.26 lei
Boys' Grammar School H. Davies / Carte Carte broșată
common.buy 286.15 lei
Going Solo Genevieve Roberts / Carte Carte broșată
common.buy 89.72 lei
Around the Table That Grandad Built Melanie Heuiser Hill / Carte Copertă tare
common.buy 77.13 lei
We are the Weather Jonathan Safran Foer / Carte Carte broșată
common.buy 56.83 lei
Behind Closed Doors Gloria F Jackson / Carte Carte broșată
common.buy 100.34 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?