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

Rewriting and Typed Lambda Calculi

Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Rewriting and Typed Lambda Calculi Gilles Dowek
Код Либристо: 02775233
Издателство Springer International Publishing AG, юли 2014
This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriti... Цялото описание
? points 132 b
54.47 €
106.54  лв
Външен склад Изпращаме след 5-8 дни

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

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

Αγάπα Μόνο Εμένα Amanda Mariel / E-книга Adobe ePub DRM
common.buy 4.19 € 8.19 лв
Microsoft 365 Markus Widl / Книга С твърди корици
common.buy 69.70 € 136.32 лв
Nasze kochane pieski Opracowanie zbiorowe / Книга С меки корици
common.buy 0.62 € 1.21 лв
Sami et Julie CP Niveau 3 : Sami et Julie jardinent Emmanuelle Massonaud Книга С меки корици
common.buy 6.52 € 12.75 лв
Innovative Wertschoepfung durch neue Formen der globalen Zusammenarbeit Katrin Sturm / Книга С меки корици
common.buy 18.12 € 35.44 лв
AYANTEK MIRIAM JIMENEZ IRIARTE / Книга С твърди корици
common.buy 24.80 € 48.51 лв
Novellen Helene Böhlau / Книга С меки корици
common.buy 14.29 € 27.94 лв
Alternative Investments Michael Sezemsky / Книга С меки корици
common.buy 45.41 € 88.82 лв
Telearbeit unter besonderer Berucksichtigung ihrer Wirtschaftlichkeit und Qualitat Oliver Wiesehahn / Книга С меки корици
common.buy 35.99 € 70.38 лв
Having a Fulfilling Life as an International Student in Japan (Japanese Edition) Chinthaka Premachandra / Книга С меки корици
common.buy 14.91 € 29.16 лв
Kompensatorenlyrik Thomas Michels / Книга С твърди корици
common.buy 13.87 € 27.13 лв
Vulgarisation en zone SOFITEX : cas des régions de Dédougou et Houndé Aimé Germain Traore / Книга С меки корици
common.buy 37.80 € 73.93 лв
Kod Adi Mucize Ünver Alibey / Книга С меки корици
common.buy 10.77 € 21.06 лв
Hagibor Milena Slavická / Книга С меки корици
common.buy 8.69 € 17.01 лв

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 28 revised full papers and 3 short papers presented were carefully reviewed and selected from 87 submissions. The papers provide research results on all aspects of rewriting and typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts. They address a wide variety of topics such as algorithmic aspects, implementation, logic, types, semantics, and programming.

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

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

Пълно заглавие Rewriting and Typed Lambda Calculi
Автор Gilles Dowek
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2014
Брой страници 491
Баркод 9783319089171
ISBN 331908917X
Код Либристо 02775233
Издателство Springer International Publishing AG
Тегло 7723
Размери 155 x 235 x 26

Категории

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 > Programming techniques
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Errors-in-Variables Methods in System Identification Torsten Söderström / Книга С твърди корици
common.buy 184.56 € 360.97 лв
Kurdistan LUNGTHUIYANG RIAMEI / Книга С твърди корици
common.buy 64.36 € 125.89 лв
Sea Edward Bond / Книга С меки корици
common.buy 17.50 € 34.22 лв
Secrets of a Soap Opera Diva Victoria Rowell / Книга С меки корици
common.buy 13.61 € 26.63 лв
Dyslexia Included Michael Thomson / Книга С меки корици
common.buy 58.67 € 114.74 лв
Few Words on No. 90 of the Tracts for the Times; In a Letter to One of His Parishioners. John Henry Newman / Книга С меки корици
common.buy 14.13 € 27.64 лв
Awakening the Actor Within Foster / Книга С твърди корици
common.buy 31.64 € 61.87 лв
Murder Under the Bridge Kate Jessica Raphael / Книга С меки корици
common.buy 13.56 € 26.53 лв
How to Make a Motor or Dynamo A. E. Watson / Книга С меки корици
common.buy 21.95 € 42.93 лв
Guile Constance Cooper / Книга С меки корици
common.buy 13.98 € 27.34 лв
Salt Skin Michelle Rhodes / Книга С меки корици
common.buy 14.86 € 29.06 лв
Ecogenetics P. Grandjean / Книга С меки корици
common.buy 162.91 € 318.63 лв
The Brothers Karamazov Fyodor Mikhailovich Dostoyevsky / Книга С меки корици
common.buy 26.87 € 52.56 лв
Dance and Dancers in the Victorian and Edwardian Music Hall Ballet CARTER / Книга С твърди корици
common.buy 227.13 € 444.22 лв
Market Harborough and Inside the Bar George John Whyte-Melville / Книга С меки корици
common.buy 28.37 € 55.49 лв
Design Technology in Contemporary Architectural Practice Holzer / Книга С меки корици
common.buy 51.73 € 101.17 лв
Fundamentals of Sleep Medicine Richard B. Berry / Книга С твърди корици
common.buy 131.58 € 257.35 лв
ADHD 2.0 Edward M. Hallowell / E-книга Adobe ePub DRM
common.buy 10.97 € 21.46 лв
Top
Field Guide to the Wild Flowers of the Canary Islands Chris Thorogood / Книга С меки корици
common.buy 44.94 € 87.90 лв
Practical Handbook of Transportation Contracting and Rate Negotiations Colin Barrett / Книга С меки корици
common.buy 54.47 € 106.54 лв
Living With Loss Robin Haywood / Книга С твърди корици
common.buy 8.38 € 16.40 лв
Light of the Night Sky F. E. Roach / Книга С меки корици
common.buy 54.47 € 106.54 лв
Hannibal: Clouds of War Ben Kane / Книга С меки корици
common.buy 11.54 € 22.58 лв
Quest of the Historical Jesus Albert Schweitzer / Книга С меки корици
common.buy 18.69 € 36.55 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo