Проверка на състоянието на поръчката
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

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

Език Английски езикАнглийски език
Книга С меки корици
Книга Logic-Based Program Synthesis and Transformation Danny De Schreye
Код Либристо: 01655691
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, април 2010
This volume constitutes the thoroughly refereed post-conference proceedings of the 19th Internationa... Цялото описание
? points 132 b
54.47 €
106.54  лв
Външен склад Изпращаме след 5-8 дни

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

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

Racconti di Natale Charles Dickens / Книга С меки корици
common.buy 7.97 € 15.59 лв
Geometrie Symplectique et Mecanique Claude Albert / Книга С меки корици
common.buy 38.21 € 74.74 лв
Lumière sur Alzheimer Dr Ky Tran / Книга С меки корици
common.buy 16.20 € 31.69 лв
Таро. Истоки традиции. "Иллюстрированный ключ к Таро" А.Э. Уэйта, "Книга Т" С. Мазерса и другие труды классиков "английской школы". Перевод и коммента Анна Огински / Книга С твърди корици
common.buy 33.14 € 64.81 лв
Fantastische Häkelfreunde 2 Amigurumipatterns.net / Книга С меки корици
common.buy 14.49 € 28.35 лв
Kártyavetés, de hogyan Carla Ferguson / Книга С меки корици
common.buy 13.67 € 26.73 лв
Bis die Sterne zittern Johannes Herwig / E-книга Adobe ePub DRM
common.buy 11.54 € 22.58 лв
Rendel - Cycle of Revenge, 1 Blu-ray Jesse Haaja / Видео Blu-ray
common.buy 22.26 € 43.54 лв
Identificação de cultivares de tomate (Lycopersicon esculentum Mill) Selvarani Karuppiah / Книга С меки корици
common.buy 61.31 € 119.91 лв
Sieben Abende vor dem Schlafengehen - Flugmaschinen Patrik Lumen / Книга С меки корици
common.buy 13.93 € 27.24 лв
Remembering in the Renaissance: Humanist Narratives of the Sack of Rome Kenneth Gouwens / Книга С твърди корици
common.buy 212.26 € 415.15 лв
Beethovens Kammermusik Albrecht Riethmüller / Книга С твърди корици
common.buy 108.28 € 211.77 лв
Der große Gatsby F. Scott Fitzgerald / Книга С твърди корици
common.buy 14.60 € 28.55 лв
Die Chemische Blockierung Des Adrenergischen Systems Am Menschen Arnold Bernsmeier / Книга С меки корици
common.buy 55.98 € 109.48 лв
Welt der Zahl - Ausgabe 2014 für Bayern Karin Baumgartner / Книга Лист
common.buy 26.66 € 52.15 лв
Slavné melodie v lehké úpravě pro klavír 6 R. Linhart / Книга С меки корици
common.buy 9.83 € 19.23 лв
Aberglauben aus Masuren M Toeppen / Книга С меки корици
common.buy 17.14 € 33.51 лв
Kundenloyalitat als Erfolgsgroesse im Customer Relationship Management Lars Edingloh / Книга С меки корици
common.buy 69.91 € 136.72 лв
Her a Hwyl Mathemateg - Datrys Problemau, Oed 7-9 (Problem Solving Made Easy, Ages 7-9) Joshua Head / Книга С меки корици
common.buy 7.81 € 15.28 лв
Übungen zum italienischen Wortschatz Wolfgang Reumuth / Книга С меки корици
common.buy 10.25 € 20.04 лв
Archetypen, Innere Bilder und Körpersymbolik Detlef Kappert / Книга С меки корици
common.buy 16.26 € 31.79 лв
L'AVENTURA DE L'HEROIC CAVALLER FILIVERT ANNE-GAELLE BALPE / Книга С твърди корици
common.buy 19.67 € 38.48 лв
Ueber Wissenschaftliche Und Nichtwissenschaftliche Philosophie (1883) Alois Riehl / Книга С меки корици
common.buy 19.36 € 37.87 лв
gelosia da orango Irena Trevisan / Книга С твърди корици
common.buy 18.12 € 35.44 лв

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.

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

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

Пълно заглавие Logic-Based Program Synthesis and Transformation
Автор Danny De Schreye
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2010
Брой страници 205
Баркод 9783642125911
ISBN 3642125913
Код Либристо 01655691
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 338
Размери 155 x 235 x 12

Категории

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

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

In the Electric Eden: Stories Nick Arvin / Книга С меки корици
common.buy 13.98 € 27.34 лв
House Of Shadows Nicola Cornick / Книга С меки корици
common.buy 17.39 € 34.02 лв
Dreams to Dust: A Tale of the Oklahoma Land Rush Sheldon Russell / Книга С меки корици
common.buy 24.39 € 47.69 лв
ESSAYS ON WOMAN'S TRUE DESTINY, RESPONSI ANGELIQUE LE MARTIN / Книга С твърди корици
common.buy 29.77 € 58.23 лв
Chapter in the History of Cleveland Clarence Monroe Burton / Книга С твърди корици
common.buy 26.92 € 52.66 лв
Yayoi Kusama Catherine Taft / Книга С твърди корици
common.buy 52.56 € 102.79 лв
Production Planning and Control for the Mass Production Plant: Mass Production Series 1-7 American Management Association / Книга С меки корици
common.buy 29.77 € 58.23 лв
Aiden the Alligator: An interactive learning book A T Broker / Книга С меки корици
common.buy 12.16 € 23.79 лв
Anthropological Studies in the Strange Sexual Practices of All Races in All Ages Iwan Bloch / Книга С твърди корици
common.buy 43.96 € 85.98 лв
Selected Works of Jawaharlal Nehru Madhavan K. Palat / Книга С твърди корици
common.buy 49.55 € 96.92 лв
Why Was Queen Victoria Such a Prude?: ...and Other Historical Myths and Follies David Haviland / Книга С меки корици
common.buy 13.10 € 25.61 лв
Hey Kids! Comics! Howard Victor Chaykin / Книга С меки корици
common.buy 16.67 € 32.60 лв
Ordinary People as Mass Murderers O. Jensen / Книга С меки корици
common.buy 66.69 € 130.44 лв
Planning, Law and Economics Needham / Книга С меки корици
common.buy 77.36 € 151.31 лв
Top
Last Of The Breed Louis L'Amour / Книга С меки корици
common.buy 7.71 € 15.08 лв
Weiss Ratings Guide to Health Insurers, Spring 2024 Weiss Ratings Weiss Ratings / Книга С меки корици
common.buy 405.58 € 793.25 лв
Mrs. Martin's Company: And Other Stories (1896) Jane Barlow / Книга С меки корици
common.buy 27.91 € 54.58 лв
Where Do We Go from Here? / Книга С меки корици
common.buy 20.14 € 39.39 лв
Folk-Lore Society for collecting and printing Relics of Popular Antiquities, Marian Roalfe Cox / Книга С меки корици
common.buy 37.80 € 73.93 лв
Ultimate Keto Breakfast Cookbook for Women over 50 Katie Attanasio / Книга С твърди корици
common.buy 25.32 € 49.52 лв
Top
Alice in Borderland, Vol. 7 Haro Aso / Книга С меки корици
common.buy 15.79 € 30.88 лв
C. Plinii Secundi Naturalis Historia, Volumes 1-2 Pliny (the Elder.) / Книга С твърди корици
common.buy 40.18 € 78.59 лв
Minami's Lover H. Paige / Книга С твърди корици
common.buy 26.20 € 51.24 лв
Tall Man In A Low Land Harry Pearson / Книга С меки корици
common.buy 14.91 € 29.16 лв

Вход

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

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

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

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

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