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 17.50 lei Urgent Cargus 30.50 lei Easybox 22.50 lei Punct FAN 18.50 lei Punct DPD 19.50 lei Curier DPD 27.50 lei FAN Courier 27.50 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

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 125 b
273.63 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

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 191.67 lei
Guida per principianti alla produzione e alla gestione dei suini Kwamina Banson / Carte Carte broșată
common.buy 325.33 lei
Hormigón ligero OPS reforzado con fibra de polipropileno Ming Chian Yew / Carte Carte broșată
common.buy 170.23 lei
Top
Fullmetal Alchemist 18 Hiromu Arakawa / Carte Carte broșată
common.buy 45.78 lei
Top
B-Grammatik Anne Buscha / Carte Carte broșată
common.buy 120.73 lei
Top
Lass uns reden! Chiara Colucci / Joc / Jucărie Joc
common.buy 120.03 lei
Free Elections W.J.M. Mackenzie / Carte Copertă tare
common.buy 840.94 lei
5 Towers (Deep Print Games) / Joc / Jucărie Joc
common.buy 53.70 lei
Vikont koji me volio Julia Quinn / Carte Carte broșată
common.buy 62.61 lei
Příchod bohů Vlastislav Toman / Audio Audio CD
common.buy 76.04 lei
Die Rechtliche Ordnung Der Benutzung Oeffentlicher Einrichtungen Ina Bartels / Carte Carte broșată
common.buy 502.48 lei
ESO NO ESTABA EN MI LIBRO DEL NUEVO TESTAMENTO FABREGA / Carte Carte
common.buy 167.32 lei
CHAPITRES TOURNES EN TOUS SENS PIANO ERIK SATIE Carte binding.
common.buy 172.13 lei
The Fog - Nebel des Grauens, 1 DVD (Digital Remastered) John Carpenter / Videoclip DVD
common.buy 69.43 lei
Top
Karty vědomé duše Kim Dreyer / Materiale tipărite Cărți
common.buy 39.17 lei
Solon als Begründer der attischen Demokratie Andreas Schmidt / Carte Carte broșată
common.buy 80.85 lei
Top
Herbář léčivých rostlin (1) Jiří Janča / Carte Copertă tare
common.buy 76.04 lei
Spirou und Fantasio - Ein großer Kopf Makyo / Carte Carte broșată
common.buy 63.72 lei
Deutscher und Europaischer Qualifikationsrahmen (DQR und EQR) André Nollmann / Carte Carte broșată
common.buy 225.43 lei
Object-oriented Quality Management (OQRM). Een Praktische Methode Voor Kwaliteits- En Risicomanagement. Peter W.M. van Nederpelt / Carte Carte broșată
common.buy 83.25 lei
Matériaux High-k dans les mémoires non-volatiles avancées Marc Bocquet / Carte Carte broșată
common.buy 372.82 lei
Mine d'Or Sébastien Belluso / Carte Carte broșată
common.buy 41.37 lei
Philadelphia, 1 Blu-ray Craig Mckay / Videoclip Blu-ray
common.buy 78.44 lei
Mein erstes Anziehpuppen-Stickerbuch: Bella, die kleine Ballerina Fiona Watt / Carte Carte broșată
common.buy 43.38 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

Cats Behaving Badly Celia Haddon / Carte Carte broșată
common.buy 91.37 lei
Top
Solution Talk: Hosting Therapeutic Conversations Ben Furman / Carte Carte broșată
common.buy 103.39 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 203.29 lei
Raising Charlie: The Lessons of a Perfect Dog John Lichty / Carte Carte broșată
common.buy 61.31 lei
Body and the Screen Kate Ince / Carte Carte broșată
common.buy 260.90 lei
Direct Mail in the Digital Age Lin Grensing-Pophal / Carte Carte broșată
common.buy 96.18 lei
Shame Game Janice Sterling Gaunt / Carte Carte broșată
common.buy 90.87 lei
Every Brain is Beautiful Sara Furlong / Carte Carte broșată
common.buy 70.13 lei
Norfolk and Western Railway Nelson Harris / Carte Copertă tare
common.buy 142.17 lei
Just Like Me J. Tillman / Carte Copertă tare
common.buy 91.37 lei
Open and nimble Daniel Lederman / Carte Carte broșată
common.buy 224.13 lei
New York Intellectuals Alan M. Wald / Carte Carte broșată
common.buy 244.27 lei
One Thousand Years with Jesus Matthew Bryce Ervin / Carte Carte broșată
common.buy 112.41 lei
Conservatives: Dead or Alive Marcel G Latouche / Carte Carte broșată
common.buy 125.74 lei
Hockey Superstitions Andrew Podnieks / Carte Carte broșată
common.buy 93.07 lei
Study Guide for Stephen Spender's What I Expected Cengage Learning Gale / Carte Carte broșată
common.buy 67.02 lei
Top
Plotinus - The Enneads Plotinus / Carte Carte broșată
common.buy 132.05 lei
Walnut Warriors (R) (in Outer Space) Lance L Palmgren / Carte Carte broșată
common.buy 170.42 lei
Mission Somewhat Kinda Sort of But Not Really Completely 100%% Impossible Al Parish / Carte Carte broșată
common.buy 132.55 lei
Software Engineering for Enterprise System Agility Sergey V. Zykov / Carte Copertă tare
common.buy 982.42 lei
Maigret's Anger Georges Simenon / Carte Carte broșată
common.buy 62.81 lei
Information Systems: Research, Development, Applications, Education Stanislaw Wrycza / Carte Carte broșată
common.buy 273.63 lei
Why Tyrannosaurus But Not If? US/Can edition RICHARD N WHITEHEAD / Carte Carte broșată
common.buy 97.08 lei
Jump Start Git, 2e Shaumik Daityari / Carte Carte broșată
common.buy 133.35 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?