Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Logic-Based Program Synthesis and Transformation

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

Език Английски езикАнглийски език
Книга С меки корици
Книга Logic-Based Program Synthesis and Transformation Germán Vidal
Код Либристо: 01661777
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, октомври 2012
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Log... Цялото описание
? points 121 b
50.06 €
97.91  лв
Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

Weltausstellung in Philadelphia Und Die Deutsche Industrie F. Goldschmidt / Книга С меки корици
common.buy 55.85 € 109.23 лв
Борис Гребенщиков. Песни для голоса и фортепиано (гитары). Борис Гребенщиков / Печатни материали Ноти
common.buy 8.47 € 16.56 лв
Artikel Marketing Blitz Andre Sternberg / E-книга Adobe ePub DRM
common.buy 1.13 € 2.21 лв
Le Grand livre de la nature Anonyme / E-книга Adobe ePub DRM
common.buy 12.09 € 23.64 лв
O dôstojnosti človeka Božena Seilerová / Книга С меки корици
common.buy 9.55 € 18.68 лв
Pokémon - Maxi-colo Paldea The Pokémon Company / Книга С меки корици
common.buy 7.95 € 15.55 лв
Healing Hotels of the World / Книга С твърди корици
common.buy 62.36 € 121.96 лв
Новое руководство по таро. 78 карт и руководство по гаданию Рэйчел Поллак / Книга binding.
common.buy 33.94 € 66.38 лв
1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO VALERA / Книга С меки корици
common.buy 27.69 € 54.16 лв
Šťastné příběhy Čtyřlístku Ljuba Štíplová / Книга С твърди корици
common.buy 22.78 € 44.55 лв
Les silences de Margaret Paul Couturiau / Книга С меки корици
common.buy 26.97 € 52.74 лв
Madchen in der Sprayerkultur? Lena Rheindorf / Книга С меки корици
common.buy 17.10 € 33.44 лв
Leben Neben Der Wohlstandsgesellschaft Walter Bien / Книга С меки корици
common.buy 60.91 € 119.13 лв
Soeur Fesne, Farce Nouvelle A. V. Personnages TECHENER / Книга С меки корици
common.buy 13.69 € 26.77 лв
Ausbildung im Einzelhandel - Neubearbeitung - Allgemeine Ausgabe - 1. Ausbildungsjahr Christian Fritz / Книга С меки корици
common.buy 38.59 € 75.48 лв
Shania- Philosophie Thomas Heim / Книга С меки корици
common.buy 14.26 € 27.88 лв
Meditaciones para el aula: 38 meditaciones guiadas para uso educativo y 48 propuestas para el desarrollo personal Sánchez Ramos / Книга С меки корици
common.buy 21.49 € 42.03 лв
Подготвяме
LA FIESTA DE DISFRACES Quílez Ibáñez / Книга С меки корици
common.buy 25.83 € 50.52 лв
Kdo mi pomůže Jaroslav Gering / Книга С твърди корици
common.buy 9.14 € 17.88 лв
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 3 Bibliotheque Nationale / Книга С меки корици
common.buy 21.23 € 41.52 лв
L'administration de la société anonyme dans le nouveau droit OHADA Hervé Koundou Amang / Книга С меки корици
common.buy 81.79 € 159.96 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Logic-Based Program Synthesis and Transformation
Автор Germán Vidal
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2012
Брой страници 254
Баркод 9783642322105
ISBN 3642322107
Код Либристо 01661777
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 409
Размери 155 x 235 x 15

Категории

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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Mojave Syntax MUNRO / Книга С меки корици
common.buy 58.53 € 114.48 лв
Artificial Intelligence and Dynamic Systems for Geophysical Applications Alexej Gvishiani / Книга С меки корици
common.buy 162.54 € 317.91 лв
Handbook of Plant Cell Biotechnology AGATHA WILSON / Книга С твърди корици
common.buy 133.50 € 261.11 лв
Nanoparticle Engineering for Chemical-Mechanical Planarization Jea-Gun Park / Книга С твърди корици
common.buy 292.33 € 571.75 лв
Shaina's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Книга С меки корици
common.buy 7.69 € 15.05 лв
Corr James K Polk Vol 9 James K Polk / Книга С твърди корици
common.buy 58.53 € 114.48 лв
Enabling Technologies for High Spectral-efficiency Coherent Optical Communication Networks Xiang Zhou / Книга С твърди корици
common.buy 176.34 € 344.89 лв
Splat the Cat Rob Scotton / Книга С твърди корици
common.buy 15.75 € 30.81 лв
National Wildlife Federation Field Guide to Trees of North America Bruce Kershner / Книга С меки корици
common.buy 21.08 € 41.22 лв
The Tragedy of Othello, the Moor of Venice William Shakespeare / Книга С меки корици
common.buy 8.42 € 16.46 лв
Big Data for Managers Atal Malviya / Книга С меки корици
common.buy 75.12 € 146.92 лв
Valeria Letter Tracing for Kids Trace my Name Workbook: Tracing Books for Kids ages 3 - 5 Pre-K & Kindergarten Practice Workbook Elise Garcia / Книга С меки корици
common.buy 10.33 € 20.20 лв
How Speakers, Trainers, and Coaches Get More Bookings Mark Davis / Книга С меки корици
common.buy 12.09 € 23.64 лв
Disruptive Urbanism, Glocal Urbanity J. Acebillo / Книга С меки корици
common.buy 57.35 € 112.16 лв
Industrial Energy Management and Sustainability Miriam Benedetti / Книга С твърди корици
common.buy 38.59 € 75.48 лв
Research Anthology on Smart Grid and Microgrid Development, VOL 3 Information Reso Management Association / Книга С твърди корици
common.buy 713.89 € 1 396.25 лв
Tibetan Yogas of Dream and Sleep, The Tenzin Wangyal Rinpoche / E-книга Adobe ePub DRM
common.buy 21.08 € 41.22 лв
Proceedings of the 2nd International Conference on Cognitive Based Information Processing and Applications (CIPA 2022) Bernard J. Jansen / Книга С меки корици
common.buy 378.82 € 740.92 лв
Essentials of ENT Surgical Procedures Zohaib Siddiqui / Книга С меки корици
common.buy 95.68 € 187.14 лв
Data Mining With Decision Trees: Theory And Applications Oded Z. Maimon / Книга С твърди корици
common.buy 134.07 € 262.22 лв
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Книга С твърди корици
common.buy 118.93 € 232.62 лв
Added Value of Geographical Information Systems in Public and Environmental Health M.J. de Lepper / Книга С твърди корици
common.buy 114.80 € 224.53 лв
Collaborative Design Management Stephen Emmitt / Книга С меки корици
common.buy 77.19 € 150.96 лв
Politics and Parentela in Paraiba Linda Lewin / Книга С твърди корици
common.buy 211.06 € 412.79 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo