Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Automated Deduction - CADE-25

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Automated Deduction - CADE-25 Amy P. Felty
Koda Libristo: 09366255
Založba Springer International Publishing AG, julij 2015
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, C... Celoten opis
? points 118 b
48.78 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

D. Justus Ludwig Jacobi und die Vermittlunmgstheologie seiner Zeit JUSTUS JACOBI / Knjiga Mehka
common.buy 16.05 €
Wild Parkour Serge Petrov / Knjiga Mehka
common.buy 10.90 €
Trolls. ?abraza, Baila Y Canta! / Dance! Hug! Sing! (Dreamworks) Rachel Chlebowski / Knjiga Mehka
common.buy 6.96 €
Weniger Fehler in der Klassenarbeit. Mathematik Gleichungen 7-9 Gotthard Jost / Knjiga Mehka
common.buy 10.19 €
RHAPSODY TROMPETTE FISHER TULL Tiskani izdelki Note
common.buy 23.53 €
Ensayos Escogidos Juan Goytisolo / Knjiga Mehka
common.buy 27.57 €
Geometrie – úhel / Knjiga Preglednica
common.buy 1.20 €
Dévoilement du Complot Serge Monast / Knjiga Mehka
common.buy 16.35 €
La Selva = The Jungle Clive Cussler / Knjiga Mehka
common.buy 10.60 €
Dankbarkeit macht glücklich Ursula Richard / Knjiga Mehka
common.buy 8.37 €
Mania czy Ania. Książka + audiobook wer. limitowana Erich Kastner / Knjiga Trda
common.buy 13.42 €
Ducasse Desserts Alain Ducasse / Knjiga Trda
common.buy 22.11 €
Christliches Familienstellen Paul Imhof / Knjiga Mehka
common.buy 23.63 €
Doerchlauchting Fritz Reuter / Knjiga Mehka
common.buy 12.72 €

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.§

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Automated Deduction - CADE-25
Avtor Amy P. Felty, Aart Middeldorp
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2015
Število strani 640
EAN 9783319214009
ISBN 3319214004
Koda Libristo 09366255
Založba Springer International Publishing AG
Teža 9942
Mere 155 x 235 x 33

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Little Jay Goes Fishing Fay Macaron / Knjiga Mehka
common.buy 13.73 €
China Sea Directory. [with] ADMIRALTY HYDROGR. D / Knjiga Trda
common.buy 39.28 €
Sermons for the Use of Families. by William Enfield William Enfield / Knjiga Trda
common.buy 31.81 €
Dollys and Friends Originals 1930s Paper Dolls: Glamorous Thirties Vintage Fashion Paper Doll Collection Basak Tinli / Knjiga Mehka
common.buy 15.65 €
Yekola Lingala (Learn Lingala) Dwayne Wong (Omowale) / Knjiga Mehka
common.buy 14.03 €
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 / Knjiga Mehka
common.buy 8.07 €
New Edition Basic Survival Student Book Peter Viney / Knjiga Mehka
common.buy 20.29 €
Battles with the Sea Robert Michael Ballantyne / Knjiga Mehka
common.buy 18.37 €
How To Overcome Anxiety & Effectively Communicate In Relationships (4 in 1) Faye Palmer / Knjiga Mehka
common.buy 18.27 €
One Night Out Stealing Alan Duff / E-knjiga Adobe ePub DRM
common.buy 9.38 €
Out to Old Aunt Mary's Howard Chandler Christy / Knjiga Trda
common.buy 28.27 €
Opcit at Large John Barr / Knjiga Mehka
common.buy 13.12 €
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 / Knjiga Mehka
common.buy 23.53 €
The Resilient Culture Silke Rupprecht / Knjiga Mehka
common.buy 23.73 €
Dio C'e Romeo Mannarino / Knjiga Trda
common.buy 25.75 €
Bread of Heaven Athena M Hodges / Knjiga Mehka
common.buy 14.74 €
Michael Aaron Piano Course Lessons Michael Aaron / Knjiga Mehka
common.buy 8.88 €
Campside Guide to Dutch Oven Cooking Paul Kautz / Knjiga Mehka
common.buy 14.84 €
Shamrock Dolmes, The Famous Horse Detective Joanne Austin / Knjiga Mehka
common.buy 11.20 €
Kmalu
Adventure Time - A Totally Math Poster Collection Pendleton Ward / Knjiga Mehka
common.buy 14.84 €
Traditional Livestock Production Carlos Palacios Riocerzo / Knjiga Trda
common.buy 165.14 €
Top
Like a Power Play / Knjiga Mehka
common.buy 18.37 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?