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

Term Rewriting and Applications

17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Term Rewriting and Applications Frank Pfenning
Код Либристо: 01562413
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юли 2006
This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Tec... Цялото описание
? points 132 b
54.28 €
106.17  лв
Външен склад Изпращаме след 5-8 дни

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

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

Sardegna slow. Viaggio nel cuore dell'isola. Le guide ai sapori e ai piaceri / Книга С меки корици
common.buy 17.33 € 33.90 лв
Top
Puzzle 1000 elementów. Compact Anime Dragon Ball / Игра/играчка Пъзел
common.buy 6.86 € 13.41 лв
Hass Vergibt Nicht H P Barkam / Книга С меки корици
common.buy 9.95 € 19.47 лв
How to Argue With a Meat Eater (And Win Every Time) WINTERS ED / Книга С меки корици
common.buy 13.15 € 25.73 лв
En el ocaso del pensamiento occidental Herman Dooyeweerd / Книга С меки корици
common.buy 17.13 € 33.50 лв
O can MONTSE GANGES / Книга С твърди корици
common.buy 3.61 € 7.05 лв
Instrumental Carpenters The Instrumental/Carpenters / Аудио Аудио компактдиск
common.buy 11.19 € 21.89 лв
Reflejo 3. Lengua castellana y Literatura 3 ESO MERCE ARCE LASSO / Книга С меки корици
common.buy 59.55 € 116.46 лв
Pakůň / Игра/играчка Играчка
common.buy 9.13 € 17.85 лв
Maurice Denis Maurice DENIS / Книга С меки корици
common.buy 12.17 € 23.81 лв
Vivre une vie philosophique - Thoreau le sauvage Michel Onfray / Книга С меки корици
common.buy 20.22 € 39.55 лв
Merlin le prophète - un thème de la littérature polémique de l'historiographie et des romans Zumthor / Книга С твърди корици
common.buy 86.43 € 169.05 лв
Tot und begraben Carola Clasen / Книга С меки корици
common.buy 10.37 € 20.28 лв
Top
Carfit. Englisch für Fahrzeugberufe, m. 1 Audio-CD / Книга Лист
common.buy 24.09 € 47.12 лв
Ausgabe H, Schwarz / Книга С твърди корици
common.buy 23.68 € 46.32 лв
Verfassungsrechtliche Grenzen rückwirkender Anwaltsgebührenerhöhungen. Hartmut Bauer / Книга С меки корици
common.buy 34.78 € 68.02 лв
Gitterstrukturen des Erdmagnetfeldes Klaus Piontzik / Книга С меки корици
common.buy 33.07 € 64.69 лв
Hundert Jahre im Altkreis Geldern Paul van Treeck / Книга С меки корици
common.buy 7.68 € 15.03 лв
Die Lücke im Gesetz Ingo Lenßen / Книга С меки корици
common.buy 15.84 € 30.97 лв
Lymphologie und Manuelle Lymphdrainage beim Pferd Christina Fedele / Книга С твърди корици
common.buy 83.64 € 163.60 лв
Jagdmethoden und Fanggeheimnisse Emil Regener / Книга С меки корици
common.buy 37.67 € 73.67 лв
O čertovi Pavel Čech / Книга С твърди корици
common.buy 8.97 € 17.55 лв
Matematika pro 4. ročník základní školy 1. díl Zdena Rosecká / Книга Книга
common.buy 3.14 € 6.15 лв
L'amant MARGUERITE DURAS / Книга С меки корици
common.buy 12.43 € 24.31 лв

This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. The book presents 23 revised full papers and 4 systems description papers together with 2 invited talks and a plenary talk of the hosting FLoC conference. Topics include equational reasoning, system verification, lambda calculus, theorem proving, system descriptions, termination, higher-order rewriting and unification, and more.

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

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

Пълно заглавие Term Rewriting and Applications
Автор Frank Pfenning
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2006
Брой страници 418
Баркод 9783540368342
ISBN 3540368345
Код Либристо 01562413
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1340
Размери 155 x 235 x 24

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Victim Bibe / Книга С меки корици
common.buy 12.12 € 23.71 лв
Подготвяме
Exhibiting Mormonism Reid L. Neilson / Книга С твърди корици
common.buy 57.48 € 112.42 лв
Unjust Enrichment and Contract Tariq A. Baloch / Книга С твърди корици
common.buy 140.51 € 274.82 лв
God from the Machine William Sims Bainbridge / Книга С твърди корици
common.buy 137.21 € 268.36 лв
Blackwell Guide to Hume's Treatise Traiger / Книга С твърди корици
common.buy 125.86 € 246.16 лв
Uncle Bubba's Chicken Wing Fling Mitchel Whitington / Книга С меки корици
common.buy 16.61 € 32.49 лв
Introduction to Oil and Gas Operational Safety Wise Global Training Ltd / Книга С меки корици
common.buy 175.40 € 343.05 лв
Sufis in Western Society Markus Dressler / Книга С меки корици
common.buy 75.03 € 146.74 лв
Power Plays Alan Arkin / Книга С меки корици
common.buy 17.44 € 34.10 лв
Other State, New Mexico USA Richard McCord / Книга С меки корици
common.buy 12.02 € 23.51 лв
Mary's Girl Shannon K Cook / Книга С меки корици
common.buy 13.31 € 26.03 лв
Lord of Death and the Queen of Life Homer E Flint / Книга С твърди корици
common.buy 27.81 € 54.39 лв
Donna Diana Richard Bagot / Книга С меки корици
common.buy 38.18 € 74.68 лв
Lovers' Poetry James Butler / Книга С меки корици
common.buy 11.40 € 22.29 лв
Herbaceous Layer in Forests of Eastern North America Frank Gilliam / Книга С твърди корици
common.buy 148.05 € 289.55 лв
Who Is Naturalove? Analisa Jean Naturalove / Книга С меки корици
common.buy 15.68 € 30.67 лв
Nuggets & Pearls Ash Pradhan / Книга С меки корици
common.buy 19.24 € 37.64 лв
Feuerbach: The Roots Of The Socialist Philosophy (1903) Frederick Engels / Книга С меки корици
common.buy 23.06 € 45.11 лв
Poetics of Unnatural Narrative Jan Alber / Книга С меки корици
common.buy 44.43 € 86.89 лв
Becoming a Literacy Leader Jennifer Allen / Книга С меки корици
common.buy 47.11 € 92.14 лв
Подготвяме
Magnum Ireland Brigitte Lardinois / Книга С меки корици
common.buy 22.49 € 44.00 лв
Violin Exam Pieces 2020-2023, ABRSM Grade 7, Score & Part ABRSM / Печатни материали Ноти
common.buy 25.59 € 50.05 лв
SAFE-BURGLARY UNITED STATES. CONGR / Книга С твърди корици
common.buy 34.36 € 67.21 лв
Prisoners of the American Dream Mike Davis / Книга С меки корици
common.buy 19.40 € 37.94 лв

Вход

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

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

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

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

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