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

10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Logic Based Program Synthesis and Transformation Kung-Kiu Lau
Код Либристо: 01563497
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, май 2001
This book presents revised full papers from the 10th International Workshop on Logic-Based Program S... Цялото описание
? points 132 b
54.08 €
105.77  лв
Външен склад Изпращаме след 5-8 дни

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

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

Cala Ratjada (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Календар/тефтер Календар
common.buy 56.76 € 111.00 лв
Vzdělávání v mateřské škole Eva Svobodová / Книга С меки корици
common.buy 8.27 € 16.18 лв
Brelok Łamignat (Kajko i Kokosz) / Книга binding.
common.buy 6.01 € 11.76 лв
Голос твоего рода. Исцеление родовых программ Елена Вайс / Книга С твърди корици
common.buy 17.48 € 34.18 лв
Scentos. Pachnące masy plastyczne. Walizeczka 20sztuk Книга binding.
common.buy 22.67 € 44.33 лв
Bergson Et Le Christ Des Evangiles Henri Gouhier / Книга С меки корици
common.buy 31.20 € 61.03 лв
Женский круг. Самые глубокие практики и традиции для обретения внутренней силы / Книга С твърди корици
common.buy 25.65 € 50.17 лв
Host na večeři B. P. Walter / Книга С твърди корици
common.buy 13.77 € 26.94 лв
Ergotherapie Wolfgang Presber / Книга С твърди корици
common.buy 41.38 € 80.94 лв
Interpretation des Werkes Die gefesselte Phantasie von Ferdinand Raimund Stephanie Ebert / Книга С меки корици
common.buy 17.01 € 33.27 лв
Reciprocidad y permanencia como talante del animador rural: acciones o procesos Equipo de Apoyo Rural Cáritas Española / Книга С меки корици
common.buy 7.86 € 15.38 лв
Histoire Des Sources Du Droit Romain (1846) Ferdinand Mackeldey / Книга С твърди корици
common.buy 48.37 € 94.61 лв
Wika - Wika und Oberons Zorn Thomas Day / Книга С твърди корици
common.buy 16.29 € 31.87 лв
funfzehn grossen Mittel fur das Pferd Regine Beatrix Dreyer / Книга С меки корици
common.buy 9.61 € 18.79 лв
Magicienne Le Secret Des Zippelius Histoire d'Une Nuit Lermina-J / Книга С меки корици
common.buy 26.52 € 51.88 лв
MARCO DE LOS APENINOS A LOS ANDES EDMUNDO DE AMICIS / Книга С меки корици
common.buy 16.91 € 33.07 лв
Ctrl + Q Kathy Dorl / Книга С меки корици
common.buy 23.13 € 45.24 лв
1926 Bakü Türkoloji Kurultayi Mustafa Öner / Книга С меки корици
common.buy 28.32 € 55.40 лв
Antología (versos, reflexiones, poesías) TOMAS REDONDO GARCIA / Аудио Аудио компактдиск
common.buy 13.67 € 26.74 лв
Análisis y evaluación de políticas sociales Trinidad Requena / Книга С меки корици
common.buy 29.09 € 56.90 лв
Chefsache Sichtbarkeit Peter Buchenau / Книга С твърди корици
common.buy 37.73 € 73.80 лв
Clus Muñoz Robledano / Книга С меки корици
common.buy 13.77 € 26.94 лв
Mes premières chansons - volume 3 Marine Fleury / Книга С твърди корици
common.buy 13.21 € 25.83 лв
Je suis vivant et vous êtes morts Emmanuel Carrère / Книга С меки корици
common.buy 10.43 € 20.40 лв

This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic.The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.

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

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

Пълно заглавие Logic Based Program Synthesis and Transformation
Автор Kung-Kiu Lau
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2001
Брой страници 188
Баркод 9783540421276
ISBN 3540421270
Код Либристо 01563497
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 306
Размери 155 x 235 x 11

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Object-oriented programming (OOP)
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 Книгата ще пристигне на адреса на получателя

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

Physics of Sedimentology Kenneth J. Hsu / Книга С твърди корици
common.buy 89.87 € 175.76 лв
Artificial Social Systems Cristiano Castelfranchi / Книга С меки корици
common.buy 54.08 € 105.77 лв
Thermal Design and Thermal Behaviour of Radio Telescopes and their Enclosures Albert Greve / Книга С меки корици
common.buy 161.74 € 316.34 лв
Cobbett's Two-Penny Trash William Cobbett / Книга С меки корици
common.buy 11.10 € 21.71 лв
Very Different Monica Shauna Ray Ratapu / Книга С меки корици
common.buy 13.00 € 25.43 лв
Terrateer in Training Alexandra Quast / Книга С меки корици
common.buy 10.23 € 20.00 лв
Metrical Memories of the Late War and Other Poems. and Other Poems JAMES REED / Книга С меки корици
common.buy 22.62 € 44.23 лв
Battle-wise: Seeking Time-Information Superiority in Networked Warfare David C Gompert / Книга С меки корици
common.buy 19.17 € 37.50 лв
sacred tree John Philpot / Книга С меки корици
common.buy 17.89 € 34.98 лв
Development of English Literature Patrick Francis Mullany / Книга С меки корици
common.buy 20.77 € 40.61 лв
Подготвяме
Eyes Open Level 2 Workbook with Online Practice (Dutch Edition) Vicki Anderson / Книга С твърди корици
common.buy 29.35 € 57.41 лв
THE HISTORY OF ENGLAND UNDER THE HOUSE O ROBERT VAUGHAN / Книга С твърди корици
common.buy 38.97 € 76.21 лв
HORATIUS RESTITUTUS: OR, THE BOOKS OF HO HORACE / Книга С твърди корици
common.buy 38.97 € 76.21 лв
Ba Duan Jin Qi Gong - Eight Pieces of Brocade Marcus Scheibenzuber / Книга С меки корици
common.buy 17.99 € 35.18 лв
Natural History of British Insects Edward Donovan / Книга С твърди корици
common.buy 32.39 € 63.34 лв
So You Think You're a New York Mets Fan?: Stars, Stats, Records, and Memories for True Diehards Brett Topel / Книга С меки корици
common.buy 15.68 € 30.66 лв
Dmitri Olive Jeanfreau Alexander / Книга С меки корици
common.buy 13.11 € 25.63 лв
Marshal Josip Broz Tito: The Life and Legacy of Yugoslavia's First President Charles River Editors / Книга С меки корици
common.buy 10.53 € 20.60 лв
Soviet Union MARK EDELE / Книга С меки корици
common.buy 31.41 € 61.43 лв
Memere's Country Creole Cookbook Nancy Tregre Wilson / Книга С твърди корици
common.buy 26.63 € 52.08 лв
chronicles of Jerahmeel Anonymous / Книга С меки корици
common.buy 30.02 € 58.71 лв
BURLINGTON PRACTICE TEST KEY FOR SCHOOL A2 KET / Книга Книга
common.buy 26.32 € 51.47 лв
Superconductor Levitation Jinwon Kim / Книга С меки корици
common.buy 140.20 € 274.21 лв
Smoke Firing Jane Perryman / Книга С твърди корици
common.buy 36.55 € 71.49 лв

Вход

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

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

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

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

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