A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Logic-Based Program Synthesis and Transformation

23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Logic-Based Program Synthesis and Transformation Gopal Gupta
Libristo kód: 09094864
Kiadó Springer International Publishing AG, december 2014
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International... Teljes leírás
? points 130 b
19 042 Ft
Beszállítói készleten Küldés 5-8 napon belül

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

A vásárlók ilyet vásároltak

Monsieur Et Madame Frontal, Ou Cranomanie Et Romantisme, Comedie-Critique En 1 Acte Colombat-M / Könyv Puha kötésű
common.buy 5 199 Ft
Plop. Libro bagno Matt Wolf / Könyv Puha kötésű
common.buy 1 929 Ft
La Guida Completa all'alimentazione nella Boxe: Massimizza il tuo Potenziale Correa / Könyv Puha kötésű
common.buy 8 413 Ft
Geheimnisse des Alten und des Neuen Bundes Anna Katharina Emmerick / Könyv Kemény kötésű
common.buy 6 208 Ft
Two worlds Jitka Herodesová / Könyv Puha kötésű
common.buy 700 Ft
Religie Vroeger En Nu John.G.O. De Koker / Könyv Puha kötésű
common.buy 6 834 Ft
Gauguin, voyage au bout de la peinture Vauday / Könyv Puha kötésű
common.buy 9 537 Ft
O Papel Do Advogado NAS Transacoes Imobiliarias Walter Figueiredo de Almeida / Könyv Puha kötésű
common.buy 13 783 Ft

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Logic-Based Program Synthesis and Transformation
Szerző Gopal Gupta, Ricardo Pe?a
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2014
Oldalszám 237
EAN 9783319141244
ISBN 3319141244
Libristo kód 09094864
Kiadó Springer International Publishing AG
Súly 3869
Méretek 155 x 235 x 13

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 > Számítógéptudomány > Számítógéptudomány matematikai elmélete > Matematikaelmélet számítástechnikai tudósok számára
Matematika és természettudomány > Matematika > Diszkrét matematika
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
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

Ezt is ajánljuk

Handbook of Evidence-Based Practices in Intellectual and Developmental Disabilities Nirbhay N. Singh / Könyv Kemény kötésű
common.buy 169 086 Ft
Badger the Mystical Mutt and the Flying Fez Lyn McNicol / Könyv Puha kötésű
common.buy 2 496 Ft
MOLESKINE 2023 18MONTH WEEKLY HORIZONTAL MOLESKINE / Könyv Kemény kötésű
common.buy 8 091 Ft
Business Basics Berggren Newton Benny Berggren Newton / Könyv Puha kötésű
common.buy 8 455 Ft
The Prickly Pear And Other Cacti As Food For Stock (1905) David Griffiths / Könyv Puha kötésű
common.buy 7 359 Ft
A Mere Cypher: A Novel (1893) Mary Angela Dickens / Könyv Puha kötésű
common.buy 14 575 Ft
Promotion of learning in India during Muhammadan rule by Muhammadans NARENDRA NATH LAW / Könyv Puha kötésű
common.buy 14 501 Ft
Can I Trust You? Yoram Solomon / Könyv Puha kötésű
common.buy 4 628 Ft
Gavin's 100 Day Diary K P Lee / Könyv Puha kötésű
common.buy 3 606 Ft
40 Prayers for Nurses D Duane Engler / Könyv Puha kötésű
common.buy 3 182 Ft
Criminology, Conflict Resolution and Restorative Justice K. McEvoy / Könyv Puha kötésű
common.buy 40 727 Ft
That A Divine Revelation Contains Mysteries Is No Valid Argument Against Its Truth Alexander Taylor / Könyv Kemény kötésű
common.buy 12 033 Ft
Around the House Roger Priddy / Könyv Kemény kötésű
common.buy 3 182 Ft
Iron Industry Richard Hayman / Könyv Puha kötésű
common.buy 4 149 Ft
Grace by Which I Stand Lin Lockamy / Könyv Puha kötésű
common.buy 5 066 Ft
May I Quote You on That? Stephen Spector / Könyv Puha kötésű
common.buy 6 134 Ft
Twilight at the Equator Jaime Manrique / Könyv Puha kötésű
common.buy 6 673 Ft

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
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?