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

17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Limba englezăengleză
Carte Carte broșată
Carte Logic-Based Program Synthesis and Transformation Andy King
Codul Libristo: 01570057
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, martie 2008
This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and... 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

Klar zum Feuern John Martin Ungar / Carte Carte broșată
common.buy 50.76 lei
20. Jahrhundert. Gefahrdet und gefahrlich Christiane Hagn / Carte Carte broșată
common.buy 89.86 lei
Circoncision masculine sans risque pour l'infection par le VIH en Ouganda Nicholas Sebuliba Kirirabwa / Carte Carte broșată
common.buy 198.39 lei
Autonomía de la escuela : principios y propuestas Gadotti (BR) / Carte Carte broșată
common.buy 113.73 lei
L'Histoire Des Juifs Depuis Jesus-Christ Jusqu'a Present: Pour Servir de Suplement [Sic] & de Continuation A L'Histoire de Joseph... Jacques Basnage / Carte Carte broșată
common.buy 179.31 lei
Melekler Kiz mi, Erkek mi Özkan Öze / Carte Carte broșată
common.buy 50.97 lei
Die asiatische Cholera Joseph Riedel / Carte Carte broșată
common.buy 64.73 lei
Fourmi, Productions de l'Ete Pour Nos Recreations de l'Hiver SANS AUTEUR / Carte Carte broșată
common.buy 96.22 lei
Extraits Du 'Lexicon Politique', Ouvrage Inedit Du Chevalier de Sade. Volume 3 De Sade-L / Carte Carte broșată
common.buy 70.15 lei
Curso sobre agricultura biodinámica STEINER / Carte Carte broșată
common.buy 123.12 lei
Pathologie und Therapie der mannlichen Impotenz Victor G. Vecki / Carte Carte broșată
common.buy 109.67 lei
Manual técnico de la construcción. Gestión de la prevención de riesgos laborales y de la protección S. L. Consultores en Previsión Social / Carte Carte broșată
common.buy 573.81 lei

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.

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 Andy King
Limba engleză
Legare Carte - Carte broșată
Data publicării 2008
Număr pagini 222
EAN 9783540787686
ISBN 3540787682
Codul Libristo 01570057
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 365
Dimensiuni 154 x 14 x 239

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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

Controlled Nanoscale Motion Heiner Linke / Carte Copertă tare
common.buy 570.37 lei
Clarinet for Beginners: Book 1 - Elementary Avrahm Galper / Carte Carte broșată
common.buy 65.57 lei
Rise of Early Modern Science HUFF TOBY E. / Carte Copertă tare
common.buy 748.13 lei
Delaware Indian Legend and the Story of their Troubles Richard C. Adams / Carte Carte broșată
common.buy 70.15 lei
Extraordinary Cases. Henry L Clinton / Carte Carte broșată
common.buy 148.45 lei
A Blueprint For Achieving Peace On Earth MR Russell E Hill / Carte Carte broșată
common.buy 82.04 lei
Drowning In My Tea Cup: There Should Have Been A Rainbow Joseph C Cullis / Carte Carte broșată
common.buy 44.72 lei
The Notary Art of Solomon: Ars Notoria King Solomon / Carte Carte broșată
common.buy 39.71 lei
Chimpanzee Lisa Jackson / Carte Copertă tare
common.buy 199.12 lei
Living Theory C.E. Hurst / Carte Carte broșată
common.buy 640.22 lei
Cheyenne Quinn M. Arnold / Carte Copertă tare
common.buy 211.63 lei
Remarks on the Principles Adopted by Bishop Lowth in Correcting the Text of the Hebrew Bible John Rogers / Carte Carte broșată
common.buy 101.43 lei
Retail Marketing Strategy Constant Berkhout / Carte Copertă tare
common.buy 662.22 lei
Beyond Chopped Liver Kenden Alfond / Carte Copertă tare
common.buy 198.60 lei
Top
Rise of the Dragon Elio M. Garcia Jr. / Carte Copertă tare
common.buy 206.94 lei
THINGS WE DO TO OUR FRIENDS DARWENT HEATHER / Carte Carte broșată
common.buy 77.76 lei
Values Andreas Urs Sommer / Carte Copertă tare
common.buy 265.53 lei
Incinerator Niall Leonard / Carte Carte broșată
common.buy 77.97 lei
Prime Minister's Ironing Board and Other State Secrets Adam Macqueen / Carte Carte broșată
common.buy 84.02 lei
Magician's Doubts Michael Wood / Carte Carte broșată
common.buy 287.84 lei
Dust Julian Hawthorne / Carte Copertă tare
common.buy 284.40 lei
How to Knit a Love Song: A Cypress Hollow Yarn Rachael Herron / Carte Carte broșată
common.buy 83.18 lei
Miki Falls, Spring Mark Crilley / Carte Carte broșată
common.buy 46.49 lei
Hard Tack and Coffee John B. Billings / Carte Carte broșată
common.buy 117.49 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?