phone 02/210 210 99
LIBRISTO 0
Ingyenes szállítás a Packetával, 59.99 € feletti vásárlás esetén
Szlovák posta 4.49 € SPS futárszolgálat 4.99 € GLS futár 3.99 € GLS pont 2.99 € Packeta futárszolgálat 4.99 € Packeta pont 2.99 €
phone Kapcsolat phoneHogyan vásároljunk

Automated Deduction - CADE-25

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Automated Deduction - CADE-25 Amy P. Felty
Libristo kód: 09366255
Kiadó Springer International Publishing AG, július 2015
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, C... Teljes leírás
? points 154 b
61.56 €
Beszállítói készleten alacsony példányszámban Küldés 13-16 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

Michael Aaron Piano Course Lessons Michael Aaron / Puha kötésű
common.buy 11.01 €
Adventure Time - A Totally Math Poster Collection Pendleton Ward / Puha kötésű
common.buy 17.38 €
China Sea Directory. [with] ADMIRALTY HYDROGR. D / Kemény kötésű
common.buy 44.27 €
Dankbarkeit macht glücklich Ursula Richard / Puha kötésű
common.buy 9.29 €
Trolls. ?abraza, Baila Y Canta! / Dance! Hug! Sing! (Dreamworks) Rachel Chlebowski / Puha kötésű
common.buy 7.67 €
Campside Guide to Dutch Oven Cooking Paul Kautz / Puha kötésű
common.buy 12.83 €
Christliches Familienstellen Paul Imhof / Puha kötésű
common.buy 22.43 €
hamarosan
Opcit at Large John Barr / Puha kötésű
common.buy 14.14 €
Dio C'e Romeo Mannarino / Kemény kötésű
common.buy 28.80 €
Bread of Heaven Athena M Hodges / Puha kötésű
common.buy 15.96 €
Doerchlauchting Fritz Reuter / Puha kötésű
common.buy 30.62 €

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

Információ a könyvről

Teljes megnevezés Automated Deduction - CADE-25
Szerző Amy P. Felty, Aart Middeldorp
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2015
Oldalszám 640
EAN 9783319214009
ISBN 3319214004
Libristo kód 09366255
Kiadó Springer International Publishing AG
Súly 9942
Méretek 155 x 235 x 33

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Számítástechnika és információtechnológia > Digitális életstílus > Internet kalauzok és online szolgálatok > Internetes keresés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia > Mintafelismerés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia > Számítógépes vízió
Számítástechnika és információtechnológia > Számítógéptudomány > Ember-számítógép interakció > Használói interfész dizájn és használhatóság
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
Számítástechnika és információtechnológia > Adatbázisok > Információ-visszakeresés
Számítástechnika és információtechnológia > Számítógéptudomány > Képfeldolgozás
Számítástechnika és információtechnológia > Grafikus és digitális média
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása