Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Logic-Based Program Synthesis and Transformation

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

Limba englezăengleză
Carte Carte broșată
Carte Logic-Based Program Synthesis and Transformation Maurizio Proietti
Codul Libristo: 09249952
Editura Springer International Publishing AG, aprilie 2015
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International... Descrierea completă
? points 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Kirchen - verständlich gemacht. Eine illustrierte und verständliche Baustilkunde zur christlichen Architektur: Kathedralen, Kapellen, Klöstern, Abteie Denis McNamara / Carte Carte broșată
common.buy 47.95 lei
MEJORA DE LAS FUNCIONES EJECUTIVAS Y CONDUCTUALES 2 (ALUMNO) NOELIA GARCIA GONZALEZ / Carte Carte broșată
common.buy 238.63 lei
M'as-tu vu en cadavre ? Malet / Carte Copertă tare
common.buy 108.31 lei
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 / Carte Carte broșată
common.buy 87.04 lei
Biologie víry Bruce H. Lipton / Carte Copertă tare
common.buy 80.06 lei
Globalización y salud mental Antoni Talarn / Carte Carte broșată
common.buy 199.53 lei
Justizmord Hans-Rudolph Schneider / Carte Carte broșată
common.buy 99.87 lei
Untersuchungen über Gegenstände der höheren Geodäsie Carl Fr. Gauß / Carte Carte broșată
common.buy 472.16 lei
Je te vois reine des quatre parties du monde Alexandre Lapierre / Carte Carte broșată
common.buy 73.80 lei
Leadership John C. Maxwell / Carte Carte
common.buy 68.17 lei
Mystische Dimensionen der Psyche Lars Tischler / Carte Carte broșată
common.buy 89.86 lei
Pokrevenstvo Amberu Roger Zelazny / Carte Copertă tare
common.buy 44.92 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Logic-Based Program Synthesis and Transformation
Autor Maurizio Proietti, Hirohisa Seki
Limba engleză
Legare Carte - Carte broșată
Data publicării 2015
Număr pagini 333
EAN 9783319178219
ISBN 3319178210
Codul Libristo 09249952
Editura Springer International Publishing AG
Greutatea 534
Dimensiuni 155 x 235 x 19

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Mathematics & Science > Mathematics > Discrete mathematics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

British Antarctic ("Terra Nova") Expedition, 1910; Natural History Reports, Vol. 1 British Antarctic Expedition / Carte Carte broșată
common.buy 110.29 lei
From Anthropometry to Genomics Jonathan S Friedlaender / Carte Carte broșată
common.buy 87.88 lei
Explorers Jared W Pollard / Carte Carte broșată
common.buy 106.54 lei
Sandy's Miracle John Borgstedt / Carte Carte broșată
common.buy 89.44 lei
Global West, American Frontier David M. Wrobel / Carte Carte broșată
common.buy 194.32 lei
Building Dynamics Branko Kolarevic / Carte Carte broșată
common.buy 653.88 lei
100 Dogs Michael Whaite / Carte Cărți pliante
common.buy 48.89 lei
Next of Kin Marianne Langner Zeitlin / Carte Carte broșată
common.buy 53.58 lei
Urban Intervention: Design Ideas for Public Space Wang Shaoqiang / Carte Copertă tare
common.buy 253.75 lei
Chinese Research Perspectives on Population and Labor, Volume 1 Fang Cai / Carte Copertă tare
common.buy 969.56 lei
Manual of Percussion and Auscultation Flint / Carte Carte broșată
common.buy 111.75 lei
Determined Martin Baranek / Carte Carte broșată
common.buy 122.18 lei
Drifters Volume 5 Kohta Hirano / Carte Carte broșată
common.buy 71.82 lei
Confessions of a Middle-Aged Hippie Geek Karen S Eubank / Carte Carte broșată
common.buy 86.83 lei
Cost Accounting and Financial Management for Construction Project Managers HOLM / Carte Copertă tare
common.buy 1 147.01 lei
The Day Will Come Mary E. Braddon / Carte Carte broșată
common.buy 198.39 lei
The Magic Coat Gary McNeil / Carte Carte broșată
common.buy 37.10 lei
On Liberty John Stuart Mill / Carte Carte broșată
common.buy 59.73 lei
Comparative Study of Chinese and Western Cyclic Myths Robert Shanmu Chen / Carte Copertă tare
common.buy 387.30 lei
Intrusion Detection and Correlation Christopher Kruegel / Carte Copertă tare
common.buy 601.65 lei
The Future of the Greek Economy Panagiotis E. Petrakis / Carte Carte broșată
common.buy 646.58 lei
Western Africa: Along the Atlantic Ocean Coast Adil Dalbai / Carte Carte broșată
common.buy 266.15 lei
Great Names in American History John G. Gilmartin / Carte Copertă tare
common.buy 200.16 lei
Balmoral incident Alanna Knight / Carte Copertă tare
common.buy 150.01 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?