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.

Automated Deduction - CADE-25

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Automated Deduction - CADE-25 Amy P. Felty
Codul Libristo: 09366255
Editura Springer International Publishing AG, iulie 2015
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, C... Descrierea completă
? points 132 b
285.59 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

D. Justus Ludwig Jacobi und die Vermittlunmgstheologie seiner Zeit JUSTUS JACOBI / Carte Carte broșată
common.buy 94.53 lei
Wild Parkour Serge Petrov / Carte Carte broșată
common.buy 63.50 lei
Trolls. ?abraza, Baila Y Canta! / Dance! Hug! Sing! (Dreamworks) Rachel Chlebowski / Carte Carte broșată
common.buy 40.08 lei
Weniger Fehler in der Klassenarbeit. Mathematik Gleichungen 7-9 Gotthard Jost / Carte Carte broșată
common.buy 60.28 lei
RHAPSODY TROMPETTE FISHER TULL Materiale tipărite Note muzicale
common.buy 135.03 lei
Ensayos Escogidos Juan Goytisolo / Carte Carte broșată
common.buy 144.40 lei
Geometrie – úhel / Carte Foaie
common.buy 6.76 lei
Dévoilement du Complot Serge Monast / Carte Carte broșată
common.buy 93.70 lei
Tacite Et Les Sources Des Annales: Enquetes Sur La Methode Historique O. Devillers / Carte Carte broșată
common.buy 625.75 lei
La Selva = The Jungle Clive Cussler / Carte Carte broșată
common.buy 55.69 lei
Dankbarkeit macht glücklich Ursula Richard / Carte Carte broșată
common.buy 49.66 lei
Mania czy Ania. Książka + audiobook wer. limitowana Erich Kastner / Carte Copertă tare
common.buy 77.35 lei
Ducasse Desserts Alain Ducasse / Carte Copertă tare
common.buy 131.60 lei
Christliches Familienstellen Paul Imhof / Carte Carte broșată
common.buy 139.41 lei
Doerchlauchting Fritz Reuter / Carte Carte broșată
common.buy 75.06 lei

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.§§The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.§

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 Automated Deduction - CADE-25
Autor Amy P. Felty, Aart Middeldorp
Limba engleză
Legare Carte - Carte broșată
Data publicării 2015
Număr pagini 640
EAN 9783319214009
ISBN 3319214004
Codul Libristo 09366255
Editura Springer International Publishing AG
Greutatea 9942
Dimensiuni 155 x 235 x 33

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Digital lifestyle > Internet guides & online services > Internet searching
Computing & Information Technology > Computer science > Artificial intelligence > Pattern recognition
Computing & Information Technology > Computer science > Artificial intelligence > Computer vision
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Databases > Information retrieval
Computing & Information Technology > Computer science > Image processing
Computing & Information Technology > Graphical & digital media applications
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

Little Jay Goes Fishing Fay Macaron / Carte Carte broșată
common.buy 78.91 lei
China Sea Directory. [with] ADMIRALTY HYDROGR. D / Carte Copertă tare
common.buy 230.51 lei
Sermons for the Use of Families. by William Enfield William Enfield / Carte Copertă tare
common.buy 184.49 lei
Dollys and Friends Originals 1930s Paper Dolls: Glamorous Thirties Vintage Fashion Paper Doll Collection Basak Tinli / Carte Carte broșată
common.buy 91.30 lei
Yekola Lingala (Learn Lingala) Dwayne Wong (Omowale) / Carte Carte broșată
common.buy 81.93 lei
Medical Assistants Are Fabulous And Magical Like Unicorns Only Better: 120 Pages I 6x9 I Graph Paper 4x4 I Funny Nurse, Doctor & Hospital Gifts I Unic Funny Notebooks / Carte Carte broșată
common.buy 47.05 lei
New Edition Basic Survival Student Book Peter Viney / Carte Carte broșată
common.buy 119.73 lei
Battles with the Sea Robert Michael Ballantyne / Carte Carte broșată
common.buy 106.19 lei
How To Overcome Anxiety & Effectively Communicate In Relationships (4 in 1) Faye Palmer / Carte Carte broșată
common.buy 108.59 lei
One Night Out Stealing Alan Duff / E-book Adobe ePub DRM
common.buy 54.86 lei
Out to Old Aunt Mary's Howard Chandler Christy / Carte Copertă tare
common.buy 163.67 lei
Opcit at Large John Barr / Carte Carte broșată
common.buy 76.93 lei
History of Illinois: From Its Commencement as a State in 1814 to 1847: Containing a Full Account of the Black Hawk War, the Rise, Progress, Ford Thomas Ford / Carte Carte broșată
common.buy 136.80 lei
The Resilient Culture Silke Rupprecht / Carte Carte broșată
common.buy 141.18 lei
Dio C'e Romeo Mannarino / Carte Copertă tare
common.buy 148.26 lei
Bread of Heaven Athena M Hodges / Carte Carte broșată
common.buy 87.76 lei
Michael Aaron Piano Course Lessons Michael Aaron / Carte Carte broșată
common.buy 53.30 lei
Campside Guide to Dutch Oven Cooking Paul Kautz / Carte Carte broșată
common.buy 87.35 lei
Shamrock Dolmes, The Famous Horse Detective Joanne Austin / Carte Carte broșată
common.buy 64.86 lei
Curând
Adventure Time - A Totally Math Poster Collection Pendleton Ward / Carte Carte broșată
common.buy 89.53 lei
Traditional Livestock Production Carlos Palacios Riocerzo / Carte Copertă tare
common.buy 967.05 lei
Top
Like a Power Play / Carte Carte broșată
common.buy 106.40 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?