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

Frontiers of Combining Systems

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Frontiers of Combining Systems Carsten Lutz
Libristo kód: 09511289
Kiadó Springer International Publishing AG, október 2015
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining... Teljes leírás
? points 168 b
26 263 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-15 napon belül

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

Ezt is ajánljuk

hamarosan
Habe ich denn allein gejubelt? Eva Sternheim-Peters / Kemény kötésű
common.buy 9 438 Ft
Wie sozial waren die Nationalsozialisten? Karl-Otto Albrecht / Puha kötésű
common.buy 6 592 Ft
Contemporary Legend / Puha kötésű
common.buy 28 939 Ft
Marshall of Santa Fe Ralph Gatlin / Kemény kötésű
common.buy 14 640 Ft
Defending the U.S. Air Transportation System Against Chemical and Biological Threats Committee on Assessment of Security Technologies for Transportation / Puha kötésű
common.buy 9 983 Ft
Lives of the Moghul Emperors HOBART CAUNTER / Kemény kötésű
common.buy 15 750 Ft
High Weald, Royal Tunbridge Wells Ordnance Survey / Térkép
common.buy 7 717 Ft
Automated Technology for Verification and Analysis Bernd Finkbeiner / Puha kötésű
common.buy 26 263 Ft
Ladybird: of Love and Honor Samantha Livingston / Kemény kötésű
common.buy 15 780 Ft
No Man's Sky R C Cline / Kemény kötésű
common.buy 16 920 Ft

This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015.§§The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one invited talk in full-paper length.§

Információ a könyvről

Teljes megnevezés Frontiers of Combining Systems
Szerző Carsten Lutz, Silvio Ranise
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2015
Oldalszám 357
EAN 9783319242453
ISBN 3319242458
Libristo kód 09511289
Kiadó Springer International Publishing AG
Súly 5679
Méretek 155 x 235 x 23

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
Számítástechnika és információtechnológia > Grafikus és digitális média > 3D grafika és modellezés
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 > 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
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány
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