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

21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Limba englezăengleză
Carte Carte broșată
Carte Logic-Based Program Synthesis and Transformation Germán Vidal
Codul Libristo: 01661777
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octombrie 2012
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Log... Descrierea completă
? points 121 b
263.13 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Weltausstellung in Philadelphia Und Die Deutsche Industrie F. Goldschmidt / Carte Carte broșată
common.buy 293.78 lei
Борис Гребенщиков. Песни для голоса и фортепиано (гитары). Борис Гребенщиков / Materiale tipărite Note muzicale
common.buy 42.11 lei
Artikel Marketing Blitz Andre Sternberg / E-book Adobe ePub DRM
common.buy 5.62 lei
Le Grand livre de la nature Anonyme / E-book Adobe ePub DRM
common.buy 59.94 lei
O dôstojnosti človeka Božena Seilerová / Carte Carte broșată
common.buy 47.53 lei
Pokémon - Maxi-colo Paldea The Pokémon Company / Carte Carte broșată
common.buy 40.13 lei
Healing Hotels of the World / Carte Copertă tare
common.buy 314.11 lei
Новое руководство по таро. 78 карт и руководство по гаданию Рэйчел Поллак / Carte binding.
common.buy 168.88 lei
1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO VALERA / Carte Carte broșată
common.buy 138.75 lei
Šťastné příběhy Čtyřlístku Ljuba Štíplová / Carte Copertă tare
common.buy 113.32 lei
Les silences de Margaret Paul Couturiau / Carte Carte broșată
common.buy 135.94 lei
Madchen in der Sprayerkultur? Lena Rheindorf / Carte Carte broșată
common.buy 89.86 lei
Leben Neben Der Wohlstandsgesellschaft Walter Bien / Carte Carte broșată
common.buy 320.47 lei
Soeur Fesne, Farce Nouvelle A. V. Personnages TECHENER / Carte Carte broșată
common.buy 75.37 lei
Ausbildung im Einzelhandel - Neubearbeitung - Allgemeine Ausgabe - 1. Ausbildungsjahr Christian Fritz / Carte Carte broșată
common.buy 202.97 lei
Shania- Philosophie Thomas Heim / Carte Carte broșată
common.buy 75.16 lei
Meditaciones para el aula: 38 meditaciones guiadas para uso educativo y 48 propuestas para el desarrollo personal Sánchez Ramos / Carte Carte broșată
common.buy 107.89 lei
Curând
LA FIESTA DE DISFRACES Quílez Ibáñez / Carte Carte broșată
common.buy 130.00 lei
Kdo mi pomůže Jaroslav Gering / Carte Copertă tare
common.buy 45.34 lei
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 3 Bibliotheque Nationale / Carte Carte broșată
common.buy 116.96 lei
L'administration de la société anonyme dans le nouveau droit OHADA Hervé Koundou Amang / Carte Carte broșată
common.buy 430.04 lei

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

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 Germán Vidal
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 254
EAN 9783642322105
ISBN 3642322107
Codul Libristo 01661777
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 409
Dimensiuni 155 x 235 x 15

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
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

Mojave Syntax MUNRO / Carte Carte broșată
common.buy 321.51 lei
Artificial Intelligence and Dynamic Systems for Geophysical Applications Alexej Gvishiani / Carte Carte broșată
common.buy 854.78 lei
Handbook of Plant Cell Biotechnology AGATHA WILSON / Carte Copertă tare
common.buy 739.68 lei
Nanoparticle Engineering for Chemical-Mechanical Planarization Jea-Gun Park / Carte Copertă tare
common.buy 1 537.13 lei
Shaina's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Carte Carte broșată
common.buy 42.94 lei
Corr James K Polk Vol 9 James K Polk / Carte Copertă tare
common.buy 321.51 lei
Enabling Technologies for High Spectral-efficiency Coherent Optical Communication Networks Xiang Zhou / Carte Copertă tare
common.buy 883.45 lei
Splat the Cat Rob Scotton / Carte Copertă tare
common.buy 87.88 lei
National Wildlife Federation Field Guide to Trees of North America Bruce Kershner / Carte Carte broșată
common.buy 104.24 lei
The Tragedy of Othello, the Moor of Venice William Shakespeare / Carte Carte broșată
common.buy 47.11 lei
Big Data for Managers Atal Malviya / Carte Carte broșată
common.buy 412.74 lei
Valeria Letter Tracing for Kids Trace my Name Workbook: Tracing Books for Kids ages 3 - 5 Pre-K & Kindergarten Practice Workbook Elise Garcia / Carte Carte broșată
common.buy 57.12 lei
How Speakers, Trainers, and Coaches Get More Bookings Mark Davis / Carte Carte broșată
common.buy 67.55 lei
Disruptive Urbanism, Glocal Urbanity J. Acebillo / Carte Carte broșată
common.buy 285.75 lei
Industrial Energy Management and Sustainability Miriam Benedetti / Carte Copertă tare
common.buy 214.75 lei
Research Anthology on Smart Grid and Microgrid Development, VOL 3 Information Reso Management Association / Carte Copertă tare
common.buy 3 912.90 lei
Tibetan Yogas of Dream and Sleep, The Tenzin Wangyal Rinpoche / E-book Adobe ePub DRM
common.buy 104.66 lei
Proceedings of the 2nd International Conference on Cognitive Based Information Processing and Applications (CIPA 2022) Bernard J. Jansen / Carte Carte broșată
common.buy 1 992.00 lei
Essentials of ENT Surgical Procedures Zohaib Siddiqui / Carte Carte broșată
common.buy 503.02 lei
Data Mining With Decision Trees: Theory And Applications Oded Z. Maimon / Carte Copertă tare
common.buy 704.96 lei
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Carte Copertă tare
common.buy 595.91 lei
Added Value of Geographical Information Systems in Public and Environmental Health M.J. de Lepper / Carte Copertă tare
common.buy 603.52 lei
Collaborative Design Management Stephen Emmitt / Carte Carte broșată
common.buy 424.00 lei
Politics and Parentela in Paraiba Linda Lewin / Carte Copertă tare
common.buy 1 109.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?