phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft
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 168 b
26 198 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-17 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 4 490 Ft
Adventure Time - A Totally Math Poster Collection Pendleton Ward / Puha kötésű
common.buy 6 810 Ft
Bread of Heaven Athena M Hodges / Puha kötésű
common.buy 7 464 Ft
Doerchlauchting Fritz Reuter / Puha kötésű
common.buy 12 922 Ft
China Sea Directory. [with] ADMIRALTY HYDROGR. D / Kemény kötésű
common.buy 17 267 Ft
Christliches Familienstellen Paul Imhof / Puha kötésű
common.buy 8 776 Ft
Trolls. ?abraza, Baila Y Canta! / Dance! Hug! Sing! (Dreamworks) Rachel Chlebowski / Puha kötésű
common.buy 2 789 Ft
Dankbarkeit macht glücklich Ursula Richard / Puha kötésű
common.buy 3 617 Ft
Campside Guide to Dutch Oven Cooking Paul Kautz / Puha kötésű
common.buy 5 658 Ft
hamarosan
Opcit at Large John Barr / Puha kötésű
common.buy 5 548 Ft
Dio C'e Romeo Mannarino / Kemény kötésű
common.buy 12 268 Ft

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