Проверка на състоянието на поръчката
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.21 €
98.19  лв
Външен склад Изпращаме след 5-8 дни

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

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

Weltausstellung in Philadelphia Und Die Deutsche Industrie F. Goldschmidt / Книга С меки корици
common.buy 56.01 € 109.55 лв
Борис Гребенщиков. Песни для голоса и фортепиано (гитары). Борис Гребенщиков / Печатни материали Ноти
common.buy 8.49 € 16.61 лв
1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO VALERA / Книга С меки корици
common.buy 23.68 € 46.30 лв
Pokémon - Maxi-colo Paldea The Pokémon Company / Книга С меки корици
common.buy 7.87 € 15.39 лв
Новое руководство по таро. 78 карт и руководство по гаданию Рэйчел Поллак / Книга binding.
common.buy 34.04 € 66.57 лв
Dzia?alno?? do?wiadczalna i badawcza w in?ynierii l?dowej i wodnej F. Retamal / Книга С меки корици
common.buy 37.82 € 73.97 лв
Artikel Marketing Blitz Andre Sternberg / E-книга Adobe ePub DRM
common.buy 1.13 € 2.22 лв
L'Invention pharmaceutique. La pharmacie française entre l'Etat et la société au XXe siècle Sophie Chauveau / Книга С меки корици
common.buy 37.61 € 73.57 лв
Les silences de Margaret Paul Couturiau / Книга С меки корици
common.buy 26.89 € 52.59 лв
O dôstojnosti človeka Božena Seilerová / Книга С меки корици
common.buy 9.58 € 18.74 лв
Le Grand livre de la nature Anonyme / E-книга Adobe ePub DRM
common.buy 12.22 € 23.91 лв
Llibre d'amic i amat Beato Ramón Llull / Книга С меки корици
common.buy 16.16 € 31.61 лв
Przyjaciel Is Anna Helena Kubiak / E-книга Adobe ePub DRM
common.buy 1.13 € 2.22 лв
Looney Tunes POP!&Buddy Animation Vinyl Figure Sylvester&Tweety 9 cm Игра/играчка Играчка
common.buy 21.65 € 42.35 лв
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 3 Bibliotheque Nationale / Книга С меки корици
common.buy 19.27 € 37.69 лв
Top
Šťastné příběhy Čtyřlístku Ljuba Štíplová / Книга С твърди корици
common.buy 22.85 € 44.68 лв
Healing Hotels of the World / Книга С твърди корици
common.buy 62.33 € 121.91 лв
Madchen in der Sprayerkultur? Lena Rheindorf / Книга С меки корици
common.buy 17.15 € 33.54 лв
Leben Neben Der Wohlstandsgesellschaft Walter Bien / Книга С меки корици
common.buy 61.09 € 119.48 лв
Shania- Philosophie Thomas Heim / Книга С меки корици
common.buy 14.30 € 27.96 лв
L'administration de la société anonyme dans le nouveau droit OHADA Hervé Koundou Amang / Книга С меки корици
common.buy 82.02 € 160.42 лв
213-295 Walter Gollwitzer / Книга С твърди корици
common.buy 532.22 € 1 040.92 лв
Od Čertovy Lhotky k Mariánským Horám collegium / Книга С твърди корици
common.buy 11.34 € 22.18 лв
Poemas hesiódicos Hesíodo / Книга С меки корици
common.buy 11.71 € 22.89 лв

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.70 € 114.82 лв
Pro VB 2010 and the .NET 4.0 Platform A Troelsen / Книга С меки корици
common.buy 54.25 € 106.10 лв
Artificial Intelligence and Dynamic Systems for Geophysical Applications Alexej Gvishiani / Книга С меки корици
common.buy 163.01 € 318.83 лв
Handbook of Plant Cell Biotechnology AGATHA WILSON / Книга С твърди корици
common.buy 133.89 € 261.87 лв
Nanoparticle Engineering for Chemical-Mechanical Planarization Jea-Gun Park / Книга С твърди корици
common.buy 307.79 € 601.99 лв
One Man's Journey Tadeusz P Wojcik / Книга С меки корици
common.buy 20.31 € 39.72 лв
Apothecary Dereck Hucklesby / Книга С меки корици
common.buy 21.34 € 41.74 лв
Transcatheter Aortic Valve Implantation Catherine M. Otto / Книга С твърди корици
common.buy 203.95 € 398.89 лв
Corr James K Polk Vol 9 James K Polk / Книга С твърди корици
common.buy 58.70 € 114.82 лв
Enabling Technologies for High Spectral-efficiency Coherent Optical Communication Networks Xiang Zhou / Книга С твърди корици
common.buy 176.80 € 345.79 лв
Manual of Gynecology David Berry Hart / Книга С твърди корици
common.buy 45.85 € 89.68 лв
Splat the Cat Rob Scotton / Книга С твърди корици
common.buy 15.80 € 30.90 лв
National Wildlife Federation Field Guide to Trees of North America Bruce Kershner / Книга С меки корици
common.buy 21.14 € 41.34 лв
Shaina's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Книга С меки корици
common.buy 7.72 € 15.09 лв
Research Anthology on Smart Grid and Microgrid Development, VOL 3 Information Reso Management Association / Книга С твърди корици
common.buy 715.96 € 1 400.30 лв
Industrial Energy Management and Sustainability Miriam Benedetti / Книга С твърди корици
common.buy 38.70 € 75.70 лв
The Tragedy of Othello, the Moor of Venice William Shakespeare / Книга С меки корици
common.buy 8.44 € 16.51 лв
Disruptive Urbanism, Glocal Urbanity J. Acebillo / Книга С меки корици
common.buy 57.51 € 112.48 лв
Big Data for Managers Atal Malviya / Книга С меки корици
common.buy 75.34 € 147.35 лв
How Speakers, Trainers, and Coaches Get More Bookings Mark Davis / Книга С меки корици
common.buy 12.12 € 23.70 лв
Life of Thomas Ellwood Thomas Ellwood / Книга С меки корици
common.buy 30.77 € 60.19 лв
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.36 € 20.26 лв
Advances in Plant Biopesticides Dwijendra Singh / Книга С твърди корици
common.buy 163.01 € 318.83 лв
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Книга С твърди корици
common.buy 119.28 € 233.29 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?