Проверка на състоянието на поръчката
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.51 €
106.61  лв
Външен склад Изпращаме след 5-8 дни

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

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

Angielski w tłumaczeniach Idiomy Andy Edwins / Книга С меки корици
common.buy 13.99 € 27.35 лв
Die Persönlichkeit bei psychovegetativen Störungen Michael Ermann / Книга С меки корици
common.buy 56.01 € 109.55 лв
Čierna labuť, biela vrana Richard Müller / Книга binding.
common.buy 32.33 € 63.23 лв
Einfache Strategieentwicklung fur Mittelstand und Kleinunternehmen Bruno Hartmann / Книга С меки корици
common.buy 9.68 € 18.94 лв
Pour rien au monde Ken Follett / Книга С меки корици
common.buy 17.87 € 34.95 лв
Strafverfolgung in Wirtschaftsstrafsachen Eberhard Kempf / E-книга Adobe ePub DRM
common.buy 86.17 € 168.53 лв
Paulino y la joven muerte Miguel Veyrat / Книга С меки корици
common.buy 21.91 € 42.86 лв
La Fuente Escondida. El Cuento Para Reencontrarte / Your Hidden Inner Spring Tirado / Книга С меки корици
common.buy 12.85 € 25.12 лв
La técnica Alexander: Las posturas del bienestar CHANCE JEREMY / Книга С меки корици
common.buy 11.24 € 21.98 лв
Les dérivés de la morphine utilisés en thérapeutique. Mémoire 2 Albert Mayor / Книга С меки корици
common.buy 13.73 € 26.85 лв
Vychytralý plán Susanna Craig / Книга С твърди корици
common.buy 13.21 € 25.83 лв
Ich - ein anderer Imre Kertesz / Книга С меки корици
common.buy 7.35 € 14.38 лв
Tomek i przyjaciele - Zbior bajek 5 minut przed snem Mattel / Аудиокнига MP3
common.buy 2.59 € 5.06 лв
Ukrajinské leporelo Andrej Bán / Книга С твърди корици
common.buy 26.42 € 51.68 лв
Ben et les habiletés sociales : Le harcèlement LEMARIE / Книга С меки корици
common.buy 20.20 € 39.52 лв
Destinations. Italy unknown / Книга С меки корици
common.buy 40.67 € 79.55 лв
Panická porucha Dana Kamarádová / Книга С меки корици
common.buy 19.27 € 37.69 лв
Zola: Therese Raquin Emile Zola / Книга С меки корици
common.buy 38.24 € 74.78 лв
Bez bahna lotos nevykvete Thich Nhat Hanh / Книга С меки корици
common.buy 12.02 € 23.50 лв
Padni komu padni Viliam Šimunek / Книга С твърди корици
common.buy 12.07 € 23.60 лв
Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / Книга С меки корици
common.buy 33.31 € 65.16 лв
50 Tecnicas de Mindfullness Para La Ansiedad, La Depresion, El Estres Y El Dolor Donald Altman / Книга С меки корици
common.buy 16.52 € 32.32 лв
Подготвяме
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / Книга С твърди корици
common.buy 25.13 € 49.14 лв
Top
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / Книга С меки корици
common.buy 12.43 € 24.31 лв

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 Книгата ще пристигне на адреса на получателя

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

Quality of Communication-Based Systems Günter Hommel / Книга С меки корици
common.buy 108.76 € 212.72 лв
Designing the City of People 4.0 Dario Costi / Книга С меки корици
common.buy 152.18 € 297.65 лв
The Malleus Maleficarum James Sprenger / Книга С меки корици
common.buy 15.80 € 30.90 лв
TOO LATE (LIBRARY EDITION} HOOVER COLLEEEN / Книга С твърди корици
common.buy 25.90 € 50.66 лв
PRIZE ESSAYS HARRIET MARTINEAU / Книга С твърди корици
common.buy 39.27 € 76.81 лв
Law, Custom, and the Social Fabric in Medieval Europe Bernard S. Bachrach / Книга С твърди корици
common.buy 25.64 € 50.16 лв
Freedom and the Subject of Theory Colin Davis / Книга С твърди корици
common.buy 105.65 € 206.64 лв
Plc Logics and Hmi Screens for 4-20 Ma Sensors Automation: A Pratical Approach to Quantities Measurement and Monitoring Using Iec 61131 - 3 Ladder Log Rosario Cirrito / Книга С меки корици
common.buy 15.75 € 30.80 лв
Oath of Deception JENNIFER ANNE DAVIS / Книга С твърди корици
common.buy 25.13 € 49.14 лв
Rumble Volume 4: Soul Without Pity John Arcudi / Книга С меки корици
common.buy 15.44 € 30.19 лв
Подготвяме
Marvel Platinum: The Definitive Avengers Redux Stan Lee / Книга С меки корици
common.buy 20.46 € 40.02 лв
One. Hunter B Kirkpatrick / Книга С меки корици
common.buy 8.54 € 16.71 лв
Theft by Finding David Sedaris / Аудио Аудио компактдиск
common.buy 28.81 € 56.34 лв
The Girl from the Stars James J. Caterino / Книга С меки корици
common.buy 11.24 € 21.98 лв
Santa Claus and the Scepter of Christmas Holt Clarke / Книга С твърди корици
common.buy 23.31 € 45.60 лв
Dancing at Halftime Carol Spindel / Книга С меки корици
common.buy 40.72 € 79.65 лв
Not Quite Burned Out, But Crispy Around the Edges: Inspiration, Laughter, and Encouragement for Teachers Sharon M. Draper / Книга С меки корици
common.buy 38.18 € 74.68 лв
The Importance of Music to Girls Lavinia Greenlaw / Книга С меки корици
common.buy 14.30 € 27.96 лв
In the Shadows of Paris Claude Izner / Книга С меки корици
common.buy 18.80 € 36.78 лв
Vector to Destiny George W. Kohn / Книга С меки корици
common.buy 16.37 € 32.02 лв
Mental Illness Stigma and the Moral and Social Community Abigail Gosselin / Книга С твърди корици
common.buy 130.99 € 256.19 лв
Top Подготвяме
Mythographic Color and Discover: Fairy Folklore Fabiana Attanasio / Книга С меки корици
common.buy 15.54 € 30.39 лв
Top
The Bridge Kingdom (Deluxe Edition) JENSEN DANIELLE L / Книга С твърди корици
common.buy 24.92 € 48.74 лв
Top
Kill Switch Penelope Douglas / Книга С меки корици
common.buy 10.10 € 19.75 лв

Вход

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

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

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

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

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