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

8th International Workshop, LOPSTR '98, Manchester, UK, June 15-19, 1998. Selected Papers

Limba englezăengleză
Carte Carte broșată
Carte Logic-Based Program Synthesis and Transformation Pierre Flener
Codul Libristo: 05274933
Editura Springer, Berlin, noiembrie 1998
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Worksh... Descrierea completă
? points 132 b
285.22 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Séminaire d'Analyse P. Lelong - P. Dolbeault - H. Skoda Pierre Dolbeault / Carte Carte broșată
common.buy 199.85 lei
Guida per principianti alla produzione e alla gestione dei suini Kwamina Banson / Carte Carte broșată
common.buy 340.44 lei
ESO NO ESTABA EN MI LIBRO DEL NUEVO TESTAMENTO FABREGA / Carte Carte
common.buy 162.00 lei
Příchod bohů Vlastislav Toman / Audio Audio CD
common.buy 75.17 lei
Top
Vikont koji me volio Julia Quinn / Carte Carte broșată
common.buy 62.38 lei
Die Rechtliche Ordnung Der Benutzung Oeffentlicher Einrichtungen Ina Bartels / Carte Carte broșată
common.buy 504.52 lei
Fullmetal Alchemist 18 Hiromu Arakawa / Carte Carte broșată
common.buy 45.22 lei
Hormigón ligero OPS reforzado con fibra de polipropileno Ming Chian Yew / Carte Carte broșată
common.buy 178.22 lei
5 Towers (Deep Print Games) / Joc / Jucărie Joc
common.buy 53.02 lei
Lass uns reden! Chiara Colucci / Joc / Jucărie Joc
common.buy 103.25 lei
Top
B-Grammatik Anne Buscha / Carte Carte broșată
common.buy 119.26 lei
CHAPITRES TOURNES EN TOUS SENS PIANO ERIK SATIE Carte binding.
common.buy 173.64 lei
The Fog - Nebel des Grauens, 1 DVD (Digital Remastered) John Carpenter / Videoclip DVD
common.buy 71.84 lei
Karty vědomé duše Kim Dreyer / Materiale tipărite Cărți
common.buy 38.78 lei
Top
Herbář léčivých rostlin (1) Jiří Janča / Carte Copertă tare
common.buy 75.17 lei
Deutscher und Europaischer Qualifikationsrahmen (DQR und EQR) André Nollmann / Carte Carte broșată
common.buy 222.83 lei
Matériaux High-k dans les mémoires non-volatiles avancées Marc Bocquet / Carte Carte broșată
common.buy 390.24 lei
Mine d'Or Sébastien Belluso / Carte Carte broșată
common.buy 43.25 lei
Philadelphia, 1 Blu-ray Craig Mckay / Videoclip Blu-ray
common.buy 81.41 lei
Mein erstes Anziehpuppen-Stickerbuch: Bella, die kleine Ballerina Fiona Watt / Carte Carte broșată
common.buy 42.83 lei
Skicák TVOŘIVOST B5, čistý, 80 listů / Articole de papetărie Articole de papetărie
common.buy 25.36 lei

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.

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 Pierre Flener
Limba engleză
Legare Carte - Carte broșată
Data publicării 1999
Număr pagini 338
EAN 9783540657651
ISBN 3540657657
Codul Libristo 05274933
Editura Springer, Berlin
Greutatea 450
Dimensiuni 156 x 234 x 18

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Object-oriented programming (OOP)
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
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

Transition and the Spatial Organization of Industries Alexandra Schleier / Carte Carte broșată
common.buy 428.93 lei
Solution Talk: Hosting Therapeutic Conversations Ben Furman / Carte Carte broșată
common.buy 99.61 lei
New Industries from New Places: The Emergence of the Software and Hardware Industries in China and India Neil Gregory / Carte Carte broșată
common.buy 195.79 lei
Raising Charlie: The Lessons of a Perfect Dog John Lichty / Carte Carte broșată
common.buy 59.16 lei
Body and the Screen Kate Ince / Carte Carte broșată
common.buy 271.28 lei
Shame Game Janice Sterling Gaunt / Carte Carte broșată
common.buy 92.43 lei
Every Brain is Beautiful Sara Furlong / Carte Carte broșată
common.buy 67.37 lei
Open and nimble Daniel Lederman / Carte Carte broșată
common.buy 216.07 lei
New York Intellectuals Alan M. Wald / Carte Carte broșată
common.buy 235.41 lei
Conservatives: Dead or Alive Marcel G Latouche / Carte Carte broșată
common.buy 121.03 lei
Study Guide for Stephen Spender's What I Expected Cengage Learning Gale / Carte Carte broșată
common.buy 64.77 lei
Walnut Warriors (R) (in Outer Space) Lance L Palmgren / Carte Carte broșată
common.buy 182.07 lei
Mission Somewhat Kinda Sort of But Not Really Completely 100%% Impossible Al Parish / Carte Carte broșată
common.buy 157.01 lei
Maigret's Anger Georges Simenon / Carte Carte broșată
common.buy 66.23 lei
Information Systems: Research, Development, Applications, Education Stanislaw Wrycza / Carte Carte broșată
common.buy 285.22 lei
Why Tyrannosaurus But Not If? US/Can edition RICHARD N WHITEHEAD / Carte Carte broșată
common.buy 93.58 lei
Jump Start Git, 2e Shaumik Daityari / Carte Carte broșată
common.buy 128.62 lei
Third Eye Awakening Jamie Parr / Carte Carte broșată
common.buy 67.37 lei
Top
Super Minds Level 5 Workbook with Digital Pack British English Herbert Puchta / Carte Carte broșată
common.buy 61.76 lei
100 Greatest Commodore 64 Games Tom Crossland / Carte Carte broșată
common.buy 67.58 lei
Baptist Encyclopaedia - Vol. 3 William Cathcart / Carte Copertă tare
common.buy 229.07 lei
Voices of Diversity Mary C. Sengstock / Carte Carte broșată
common.buy 285.22 lei
History of the French Revolution Adolphe ThiersFrederick Shoberl / Carte Carte broșată
common.buy 295.83 lei
Human Pituitary Hormones E. van Cauter / Carte Carte broșată
common.buy 285.22 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?