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

16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Logic-Based Program Synthesis and Transformation Germán Puebla
Код Либристо: 01568318
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, март 2007
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on... Цялото описание
? points 148 b
61.21 €
119.71  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

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

Koppelungsgeschäfte und Art. 102 AEUV Alexander Goldberg / Книга С меки корици
common.buy 45.41 € 88.82 лв
Estem en contra Xavier Gual / E-книга Adobe ePub DRM
common.buy 9.11 € 17.82 лв
La causalidad eucarística de la Iglesia Aboín Martín / Книга С меки корици
common.buy 39.30 € 76.86 лв
Victor Horta. L'architecte de l'Art Nouveau DERNIE DAVID /CAREW-COX ALASTAIR / Книга С твърди корици
common.buy 50.43 € 98.64 лв
Punto Piu Vicino Al Cielo Duilio Chiarle / Книга С меки корици
common.buy 11.23 € 21.97 лв
Frakturrisiko bei Frauen mit Osteoporose Jae Hyong Sorgenfrei / Книга С меки корици
common.buy 42.56 € 83.25 лв
Kolorowanka Modnisia Gołek Halina / Книга С меки корици
common.buy 2.27 € 4.45 лв
43 Recettes de Repas Naturels pour le cancer de la peau qui protégeront et raviveront votre peau: Aidez votre peau ? devenir rapidement saine en nourr Joe Correa Csn / Книга С меки корици
common.buy 15.74 € 30.78 лв

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy in July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006.§The 14 revised full papers presented together with 2 invited talks were carefully selected and revised from 41 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.

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

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

Пълно заглавие Logic-Based Program Synthesis and Transformation
Автор Germán Puebla
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2007
Брой страници 240
Баркод 9783540714095
ISBN 354071409X
Код Либристо 01568318
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 790
Размери 155 x 235 x 17

Категории

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

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

The History of the Studebaker Corporation Albert Erskine / Книга С меки корици
common.buy 34.95 € 68.36 лв
Top Нови
Dungeon Crawler Carl, Vol. 1 (Graphic Novel) Laurel Pursuit Studios / Книга С меки корици
common.buy 15.79 € 30.88 лв
Paracelsus G Lowes 1862-1932 Dickinson / Книга С меки корици
common.buy 19.36 € 37.87 лв
ORBIT Emily Alison / Книга С твърди корици
common.buy 50.80 € 99.35 лв
Juana Honore de Balzac / Книга С меки корици
common.buy 12.42 € 24.30 лв
Assessment Literacy Thomas Devere Wolsey / Книга С меки корици
common.buy 38.78 € 75.85 лв
Developmental Couple Therapy for Complex Trauma Heather B. (McGill University MacIntosh / Книга С меки корици
common.buy 55.51 € 108.57 лв
Climate Change and the Media Benedetta Brevini / Книга С твърди корици
common.buy 120.40 € 235.47 лв
Midsomer Murders: The Complete Series Fourteen Richard Holthouse / Видео DVD
common.buy 20.97 € 41.01 лв
HIV/AIDS Community Information Services M. Sandra Wood / Книга С твърди корици
common.buy 94.50 € 184.83 лв
Barack Obama- pot-smoker, coke snorter, muslim? and now President of the USA: What in the hell happened to America? Scott Browning / Книга С меки корици
common.buy 10.35 € 20.25 лв
Dental Service Support Operations (FM 4-02.19) Department Of the Army / Книга С меки корици
common.buy 12.99 € 25.41 лв
Sir Peter Coats, Thomas Coats, James Coats, Archibald Coats, James Coats, Jr., Thomas Glen Coats, Peter Coats, Jr., and George Coats, Doing Business U Witter & Kenyon / Книга С меки корици
common.buy 32.62 € 63.80 лв
Regimental History of the 6th Royal Battalion 13th Frontier Force Rifles (SCINDE) 1843-1923 D. M. Lindsey / Книга С меки корици
common.buy 35.52 € 69.47 лв
Applicable Law to International Commercial Contracts and the Status of Lex Mercatoria - With a Special Emphasis on Choice of Law Rules in the Euro Mert Elcin / Книга С меки корици
common.buy 25.99 € 50.83 лв
Once Upon A Nightmare William F Lee / Книга С твърди корици
common.buy 27.29 € 53.37 лв
Beyond the Palace Gary Wien / Книга С меки корици
common.buy 25.63 € 50.13 лв
US-Israeli Relations in a New Era Eytan Gilboa / Книга С твърди корици
common.buy 234.53 € 458.71 лв

Вход

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

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

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

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

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