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 GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Calculus of Computation

Nyelv AngolAngol
Könyv Kemény kötésű
Könyv Calculus of Computation Aaron R Bradley
Libristo kód: 01294350
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, szeptember 2007
This textbook introduces computational logic from the foundations of first-order logic to state-of-t... Teljes leírás
? points 242 b
38 116 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

hamarosan
A Clash of Kings George Raymond Richard Martin / Puha kötésű
common.buy 4 438 Ft
Doctor Who: Beautiful Chaos Gary Russell / Puha kötésű
common.buy 5 980 Ft
Topsy and Tim: Have Itchy Heads Jean Adamson / Puha kötésű
common.buy 2 846 Ft
Business Model Generation Alexander Osterwalder / Puha kötésű
common.buy 13 033 Ft
Let's Talk About Body Boundaries, Consent and Respect Jayneen Sanders / Puha kötésű
common.buy 5 446 Ft
Business 2.0 Upper Intermediate Level Teacher's Book Pack Paul Emmerson / Puha kötésű
common.buy 19 703 Ft
Medzi anarchiou a tyraniou Ivan Šimko / Puha kötésű
common.buy 2 756 Ft
Zwierzęta morskie. Maluszkowe malowanie Opracowanie zbiorowe / Puha kötésű
common.buy 171 Ft
Die Entstehung des qualifizierten faktischen Konzerns. Barbara Deilmann / Puha kötésű
common.buy 20 947 Ft
Goze Gerald Groemer / Kemény kötésű
common.buy 75 793 Ft
Into the Hinterlands David Drake / Puha kötésű
common.buy 3 305 Ft
Kann die Einübung in Normanerkennung die Strafrechtsdogmatik leiten? Hendrik Schneider / Puha kötésű
common.buy 41 405 Ft
Partnerwahl Im Internet Jan Skopek / Puha kötésű
common.buy 24 126 Ft
Femmes Damnees Saphisme Et Poesie 18 / Puha kötésű
common.buy 18 856 Ft

This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.

Információ a könyvről

Teljes megnevezés Calculus of Computation
Szerző Aaron R Bradley
Nyelv Angol
Kötés Könyv - Kemény kötésű
Kiadás éve 2007
Oldalszám 366
EAN 9783540741121
ISBN 3540741127
Libristo kód 01294350
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 730
Méretek 241 x 164 x 28

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 > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Rendszeranalízis és rendszerdizájn
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
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