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

Typed Lambda Calculi and Applications

Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Typed Lambda Calculi and Applications Mariangiola Dezani-Ciancaglini
Код Либристо: 05274455
Издателство Springer, Berlin, ноември 1994
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculia... Цялото описание
? points 132 b
54.47 €
106.54  лв
Външен склад Изпращаме след 5-8 дни

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

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

Angielski w tłumaczeniach Idiomy Andy Edwins / Книга С меки корици
common.buy 13.98 € 27.34 лв
Die Persönlichkeit bei psychovegetativen Störungen Michael Ermann / Книга С меки корици
common.buy 55.98 € 109.48 лв
Большая книга психологических практик для избавления от тревоги, паники, ВСД и стресса И.С. Качай / Книга С твърди корици
common.buy 23.09 € 45.16 лв
L'Irritabilite Dans La Serie Animale Courtade-D / Книга С меки корици
common.buy 16.57 € 32.40 лв
COMPACT BOX PLATINUM 2021 ADRENALYN 2020-2021 / Книга binding.
common.buy 11.34 € 22.17 лв
Tradition et dissidence Goytisolo Книга С меки корици
common.buy 23.97 € 46.88 лв
Les dérivés de la morphine utilisés en thérapeutique. Mémoire 2 Albert Mayor / Книга С меки корици
common.buy 13.72 € 26.83 лв
Baroque : sculptures européennes (1600-1750) Sismann / Книга С меки корици
common.buy 44.48 € 86.99 лв
Destinations. Italy unknown / Книга С меки корици
common.buy 40.70 € 79.60 лв
Ben et les habiletés sociales : Le harcèlement LEMARIE / Книга С меки корици
common.buy 20.35 € 39.79 лв
Ukrajinské leporelo Andrej Bán / Книга С твърди корици
common.buy 26.41 € 51.64 лв
Tomek i przyjaciele - Zbior bajek 5 minut przed snem Mattel / Аудиокнига MP3
common.buy 2.53 € 4.95 лв
Čierna labuť, biela vrana Richard Müller / Книга binding.
common.buy 32.31 € 63.19 лв
Pour rien au monde Ken Follett / Книга С меки корици
common.buy 18.02 € 35.24 лв
Vychytralý plán Susanna Craig / Книга С твърди корици
common.buy 13.20 € 25.82 лв
Ours(les) Steve Bloom / Книга С меки корици
common.buy 18.07 € 35.34 лв
Panická porucha Dana Kamarádová / Книга С меки корици
common.buy 19.26 € 37.67 лв
Ich - ein anderer Imre Kertesz / Книга С меки корици
common.buy 7.35 € 14.37 лв
Strafverfolgung in Wirtschaftsstrafsachen Eberhard Kempf / E-книга Adobe ePub DRM
common.buy 84.61 € 165.49 лв
Zola: Therese Raquin Emile Zola / Книга С меки корици
common.buy 38.21 € 74.74 лв
Affenbande / Игра/играчка Игра
common.buy 7.19 € 14.07 лв
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / Книга С меки корици
common.buy 12.42 € 24.30 лв
Подготвяме
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / Книга С твърди корици
common.buy 25.11 € 49.11 лв
Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / Книга С меки корици
common.buy 35.36 € 69.17 лв

This volume presents the proceedings of the Second International Conference on Typed Lambda Calculiand Applications, held in Edinburgh, UK in April 1995.The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems.

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

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

Пълно заглавие Typed Lambda Calculi and Applications
Автор Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1995
Брой страници 452
Баркод 9783540590484
ISBN 354059048X
Код Либристо 05274455
Издателство Springer, Berlin
Тегло 594
Размери 156 x 234 x 23

Категории

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Designing the City of People 4.0 Dario Costi / Книга С меки корици
common.buy 152.09 € 297.46 лв
Quality of Communication-Based Systems Günter Hommel / Книга С меки корици
common.buy 108.69 € 212.58 лв
The Malleus Maleficarum James Sprenger / Книга С меки корици
common.buy 15.79 € 30.88 лв
TOO LATE (LIBRARY EDITION} HOOVER COLLEEEN / Книга С твърди корици
common.buy 25.89 € 50.63 лв
Dancing at Halftime Carol Spindel / Книга С меки корици
common.buy 40.70 € 79.60 лв
PRIZE ESSAYS HARRIET MARTINEAU / Книга С твърди корици
common.buy 39.25 € 76.76 лв
Santa Claus and the Scepter of Christmas Holt Clarke / Книга С твърди корици
common.buy 23.30 € 45.57 лв
Children's Book of Music DK / Книга С твърди корици
common.buy 19.31 € 37.77 лв
Tenacious D: The Official Coloring Book Juan Riera / Книга С меки корици
common.buy 18.07 € 35.34 лв
Theft by Finding David Sedaris / Аудио Аудио компактдиск
common.buy 28.84 € 56.40 лв
Not Quite Burned Out, But Crispy Around the Edges: Inspiration, Laughter, and Encouragement for Teachers Sharon M. Draper / Книга С меки корици
common.buy 38.16 € 74.64 лв
The Importance of Music to Girls Lavinia Greenlaw / Книга С меки корици
common.buy 14.29 € 27.94 лв
In the Shadows of Paris Claude Izner / Книга С меки корици
common.buy 18.79 € 36.76 лв
At Last Edward St Aubyn / Книга С меки корици
common.buy 17.29 € 33.82 лв
Law, Custom, and the Social Fabric in Medieval Europe Bernard S. Bachrach / Книга С твърди корици
common.buy 25.63 € 50.13 лв
Vector to Destiny George W. Kohn / Книга С меки корици
common.buy 16.36 € 32.00 лв
Love Me, Love My Wife Charles Erlandson / Книга С меки корици
common.buy 9.16 € 17.92 лв
Sherlock: A Scandal in Belgravia Part 2 Steven Moffat / Книга С меки корици
common.buy 12.68 € 24.80 лв
The the Wintermen III: At the End of the World Brit Griffin / Книга С меки корици
common.buy 15.79 € 30.88 лв
The Girl from the Stars James J. Caterino / Книга С меки корици
common.buy 11.23 € 21.97 лв
Lonely Planet Pocket Barcelona Lonely planet eng / Книга С меки корици
common.buy 18.17 € 35.54 лв
Подготвяме
Mental Illness Stigma and the Moral and Social Community Abigail Gosselin / Книга С твърди корици
common.buy 135.26 € 264.54 лв
PRF in Restorative dentistry and Endodontics Tony Jose Anil Tomer / Книга С меки корици
common.buy 51.88 € 101.48 лв
Freedom and the Subject of Theory Colin Davis / Книга С твърди корици
common.buy 105.59 € 206.51 лв

Вход

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

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

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

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

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