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

19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

Limba englezăengleză
Carte Carte broșată
Carte Logic-Based Program Synthesis and Transformation Danny De Schreye
Codul Libristo: 01655691
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprilie 2010
This volume constitutes the thoroughly refereed post-conference proceedings of the 19th Internationa... Descrierea completă
? points 132 b
284.91 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Racconti di Natale Charles Dickens / Carte Carte broșată
common.buy 39.77 lei
Geometrie Symplectique et Mecanique Claude Albert / Carte Carte broșată
common.buy 199.63 lei
Lumière sur Alzheimer Dr Ky Tran / Carte Carte broșată
common.buy 81.32 lei
Таро. Истоки традиции. "Иллюстрированный ключ к Таро" А.Э. Уэйта, "Книга Т" С. Мазерса и другие труды классиков "английской школы". Перевод и коммента Анна Огински / Carte Copertă tare
common.buy 159.43 lei
Fantastische Häkelfreunde 2 Amigurumipatterns.net / Carte Carte broșată
common.buy 75.71 lei
Kártyavetés, de hogyan Carla Ferguson / Carte Carte broșată
common.buy 67.51 lei
Bis die Sterne zittern Johannes Herwig / E-book Adobe ePub DRM
common.buy 57.53 lei
Rendel - Cycle of Revenge, 1 Blu-ray Jesse Haaja / Videoclip Blu-ray
common.buy 111.34 lei
Identificação de cultivares de tomate (Lycopersicon esculentum Mill) Selvarani Karuppiah / Carte Carte broșată
common.buy 320.54 lei
Sieben Abende vor dem Schlafengehen - Flugmaschinen Patrik Lumen / Carte Carte broșată
common.buy 76.54 lei
Remembering in the Renaissance: Humanist Narratives of the Sack of Rome Kenneth Gouwens / Carte Copertă tare
common.buy 1 109.65 lei
Beethovens Kammermusik Albrecht Riethmüller / Carte Copertă tare
common.buy 539.09 lei
Der große Gatsby F. Scott Fitzgerald / Carte Copertă tare
common.buy 72.49 lei
Die Chemische Blockierung Des Adrenergischen Systems Am Menschen Arnold Bernsmeier / Carte Carte broșată
common.buy 292.70 lei
Welt der Zahl - Ausgabe 2014 für Bayern Karin Baumgartner / Carte Foaie
common.buy 133.47 lei
Slavné melodie v lehké úpravě pro klavír 6 R. Linhart / Carte Carte broșată
common.buy 48.71 lei
Aberglauben aus Masuren M Toeppen / Carte Carte broșată
common.buy 89.53 lei
Kundenloyalitat als Erfolgsgroesse im Customer Relationship Management Lars Edingloh / Carte Carte broșată
common.buy 365.31 lei
Her a Hwyl Mathemateg - Datrys Problemau, Oed 7-9 (Problem Solving Made Easy, Ages 7-9) Joshua Head / Carte Carte broșată
common.buy 40.91 lei
Übungen zum italienischen Wortschatz Wolfgang Reumuth / Carte Carte broșată
common.buy 53.59 lei
Archetypen, Innere Bilder und Körpersymbolik Detlef Kappert / Carte Carte broșată
common.buy 84.96 lei
L'AVENTURA DE L'HEROIC CAVALLER FILIVERT ANNE-GAELLE BALPE / Carte Copertă tare
common.buy 102.72 lei
Ueber Wissenschaftliche Und Nichtwissenschaftliche Philosophie (1883) Alois Riehl / Carte Carte broșată
common.buy 105.94 lei
gelosia da orango Irena Trevisan / Carte Copertă tare
common.buy 90.15 lei

This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

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 Danny De Schreye
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 205
EAN 9783642125911
ISBN 3642125913
Codul Libristo 01655691
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 338
Dimensiuni 155 x 235 x 12

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
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

In the Electric Eden: Stories Nick Arvin / Carte Carte broșată
common.buy 77.48 lei
House Of Shadows Nicola Cornick / Carte Carte broșată
common.buy 85.48 lei
Dreams to Dust: A Tale of the Oklahoma Land Rush Sheldon Russell / Carte Carte broșată
common.buy 133.05 lei
ESSAYS ON WOMAN'S TRUE DESTINY, RESPONSI ANGELIQUE LE MARTIN / Carte Copertă tare
common.buy 163.28 lei
Chapter in the History of Cleveland Clarence Monroe Burton / Carte Copertă tare
common.buy 147.70 lei
Yayoi Kusama Catherine Taft / Carte Copertă tare
common.buy 291.77 lei
Production Planning and Control for the Mass Production Plant: Mass Production Series 1-7 American Management Association / Carte Carte broșată
common.buy 163.28 lei
Aiden the Alligator: An interactive learning book A T Broker / Carte Carte broșată
common.buy 66.78 lei
Anthropological Studies in the Strange Sexual Practices of All Races in All Ages Iwan Bloch / Carte Copertă tare
common.buy 241.18 lei
Selected Works of Jawaharlal Nehru Madhavan K. Palat / Carte Copertă tare
common.buy 246.58 lei
Why Was Queen Victoria Such a Prude?: ...and Other Historical Myths and Follies David Haviland / Carte Carte broșată
common.buy 71.77 lei
Hey Kids! Comics! Howard Victor Chaykin / Carte Carte broșată
common.buy 87.14 lei
Ordinary People as Mass Murderers O. Jensen / Carte Carte broșată
common.buy 332.48 lei
Planning, Law and Economics Needham / Carte Carte broșată
common.buy 422.44 lei
Top
Last Of The Breed Louis L'Amour / Carte Carte broșată
common.buy 42.78 lei
Weiss Ratings Guide to Health Insurers, Spring 2024 Weiss Ratings Weiss Ratings / Carte Carte broșată
common.buy 2 120.02 lei
Mrs. Martin's Company: And Other Stories (1896) Jane Barlow / Carte Carte broșată
common.buy 152.68 lei
Where Do We Go from Here? / Carte Carte broșată
common.buy 105.31 lei
Folk-Lore Society for collecting and printing Relics of Popular Antiquities, Marian Roalfe Cox / Carte Carte broșată
common.buy 197.66 lei
Ultimate Keto Breakfast Cookbook for Women over 50 Katie Attanasio / Carte Copertă tare
common.buy 140.63 lei
Top
Alice in Borderland, Vol. 7 Haro Aso / Carte Carte broșată
common.buy 87.55 lei
C. Plinii Secundi Naturalis Historia, Volumes 1-2 Pliny (the Elder.) / Carte Copertă tare
common.buy 220.20 lei
Minami's Lover H. Paige / Carte Copertă tare
common.buy 129.10 lei
Tall Man In A Low Land Harry Pearson / Carte Carte broșată
common.buy 77.89 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?