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

24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Logic-Based Program Synthesis and Transformation Maurizio Proietti
Libristo kód: 09249952
Kiadó Springer International Publishing AG, április 2015
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International... Teljes leírás
? points 145 b
21 072 Ft
Beszállítói készleten alacsony példányszámban Küldés 11-15 napon belül

Akár 30 napos visszaküldési lehetőség

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

Kirchen - verständlich gemacht. Eine illustrierte und verständliche Baustilkunde zur christlichen Architektur: Kathedralen, Kapellen, Klöstern, Abteie Denis McNamara / Könyv Puha kötésű
common.buy 3 703 Ft
MEJORA DE LAS FUNCIONES EJECUTIVAS Y CONDUCTUALES 2 (ALUMNO) NOELIA GARCIA GONZALEZ / Könyv Puha kötésű
common.buy 16 326 Ft
M'as-tu vu en cadavre ? Malet / Könyv Kemény kötésű
common.buy 7 241 Ft
45 Recettes de Repas pour la Réduction des Crampes musculaires: Eliminez les crampes musculaires pour de bon en utilisant une nourriture intelligente Joe Correa Csn / Könyv Puha kötésű
common.buy 5 978 Ft
Biologie víry Bruce H. Lipton / Könyv Kemény kötésű
common.buy 5 355 Ft
Globalización y salud mental Antoni Talarn / Könyv Puha kötésű
common.buy 13 337 Ft
Justizmord Hans-Rudolph Schneider / Könyv Puha kötésű
common.buy 11 973 Ft
Untersuchungen über Gegenstände der höheren Geodäsie Carl Fr. Gauß / Könyv Puha kötésű
common.buy 31 567 Ft
Je te vois reine des quatre parties du monde Alexandre Lapierre / Könyv Puha kötésű
common.buy 4 934 Ft
Leadership John C. Maxwell / Könyv Könyv
common.buy 4 719 Ft
Mystische Dimensionen der Psyche Lars Tischler / Könyv Puha kötésű
common.buy 6 211 Ft
Pokrevenstvo Amberu Roger Zelazny / Könyv Kemény kötésű
common.buy 3 002 Ft

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014.§§The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming, and program transformation and optimization.

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ő Maurizio Proietti, Hirohisa Seki
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2015
Oldalszám 333
EAN 9783319178219
ISBN 3319178210
Libristo kód 09249952
Kiadó Springer International Publishing AG
Súly 534
Méretek 155 x 235 x 19

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
Számítástechnika és információtechnológia > Operációs rendszerek
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

British Antarctic ("Terra Nova") Expedition, 1910; Natural History Reports, Vol. 1 British Antarctic Expedition / Könyv Puha kötésű
common.buy 7 575 Ft
On Liberty John Stuart Mill / Könyv Puha kötésű
common.buy 4 106 Ft
From Anthropometry to Genomics Jonathan S Friedlaender / Könyv Puha kötésű
common.buy 6 097 Ft
Explorers Jared W Pollard / Könyv Puha kötésű
common.buy 7 346 Ft
Sandy's Miracle John Borgstedt / Könyv Puha kötésű
common.buy 6 138 Ft
Global West, American Frontier David M. Wrobel / Könyv Puha kötésű
common.buy 13 296 Ft
Next of Kin Marianne Langner Zeitlin / Könyv Puha kötésű
common.buy 3 703 Ft
100 Dogs Michael Whaite / Könyv Leporelló
common.buy 3 263 Ft
Chinese Research Perspectives on Population and Labor, Volume 1 Fang Cai / Könyv Kemény kötésű
common.buy 68 054 Ft
Manual of Percussion and Auscultation Flint / Könyv Puha kötésű
common.buy 7 680 Ft
Urban Intervention: Design Ideas for Public Space Wang Shaoqiang / Könyv Kemény kötésű
common.buy 16 939 Ft
Drifters Volume 5 Kohta Hirano / Könyv Puha kötésű
common.buy 4 325 Ft
Confessions of a Middle-Aged Hippie Geek Karen S Eubank / Könyv Puha kötésű
common.buy 5 964 Ft
Determined Martin Baranek / Könyv Puha kötésű
common.buy 8 390 Ft
The Day Will Come Mary E. Braddon / Könyv Puha kötésű
common.buy 20 303 Ft
The Magic Coat Gary McNeil / Könyv Puha kötésű
common.buy 2 554 Ft
Cost Accounting and Financial Management for Construction Project Managers HOLM / Könyv Kemény kötésű
common.buy 78 622 Ft
Storey's Guide to Raising Miniature Livestock Sue Weaver / Könyv Puha kötésű
common.buy 7 520 Ft
The Future of the Greek Economy Panagiotis E. Petrakis / Könyv Puha kötésű
common.buy 44 222 Ft
Western Africa: Along the Atlantic Ocean Coast Adil Dalbai / Könyv Puha kötésű
common.buy 17 795 Ft
Great Names in American History John G. Gilmartin / Könyv Kemény kötésű
common.buy 13 758 Ft
Balmoral incident Alanna Knight / Könyv Kemény kötésű
common.buy 10 348 Ft
Lectures at St. Peters, in 1890, on Some Urinary Disorders Connected with the Bladder, Prostate and Urethra (1890) Reginald Harrison / Könyv Puha kötésű
common.buy 8 042 Ft
Great Email Disasters Charles Newkey-Burden / Könyv Puha kötésű
common.buy 3 703 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?