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

5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Typed Lambda Calculi and Applications Samson Abramsky
Код Либристо: 01563428
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, април 2001
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda C... Цялото описание
? points 132 b
54.47 €
106.54  лв
Външен склад Изпращаме след 5-8 дни

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

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

Der Todesstrahl Daniel Clowes / Книга С твърди корици
common.buy 21.95 € 42.93 лв
Młokos Fiodor Dostojewski / Книга С твърди корици
common.buy 13.10 € 25.61 лв
Familiengründung mit Samenspende Petra Thorn / Книга С меки корици
common.buy 47.53 € 92.97 лв
Regression, 1 Blu-ray Alejandro Amenábar / Видео Blu-ray
common.buy 13.82 € 27.03 лв
Účtovné predpisy 2024 / Книга С меки корици
common.buy 5.69 € 11.13 лв
Erstellung eines Webshops unter Verwendung des Content Management Systems Joomla! Karsten Oltrogge / Книга С меки корици
common.buy 26.56 € 51.95 лв
Kaskaden Eliot Weinberger / Книга С меки корици
common.buy 21.95 € 42.93 лв
THIRTY FIVE MELODIOUS TECHNICAL EXERCISES SAXOPHONE DOMENICO GATTI Книга binding.
common.buy 35.73 € 69.88 лв
MODELOS Y HERRAMIENTAS DE DECISION JOAQUIN BAUTISTA VALHONDO / Книга С меки корици
common.buy 50.38 € 98.54 лв
EL JARDÍN DE ORIGAMI MARK BOLITHO / Книга С твърди корици
common.buy 8.54 € 16.70 лв
Zebra źrebię / Игра/играчка Играчка
common.buy 8.02 € 15.69 лв
Anja und das Reitinternat - Auf gut Glück Feli Fritsch / Книга С меки корици
common.buy 12.68 € 24.80 лв
Taoteking Laozi / Книга С меки корици
common.buy 12.63 € 24.70 лв
Bildungsgrundsätze Kinder Ministerium für Familie / Книга С меки корици
common.buy 20.14 € 39.39 лв
Déficit público José Ortega Cruz / Книга С меки корици
common.buy 74.57 € 145.84 лв

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.

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

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

Пълно заглавие Typed Lambda Calculi and Applications
Автор Samson Abramsky
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2001
Брой страници 436
Баркод 9783540419600
ISBN 3540419608
Код Либристо 01563428
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 682
Размери 155 x 233 x 25

Категории

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Calculus & mathematical analysis
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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

The Reader Bernhard Schlink / Книга С меки корици
common.buy 14.34 € 28.05 лв
Single Semiconductor Quantum Dots Peter Michler / Книга С твърди корици
common.buy 217.08 € 424.57 лв
Just-in-Time Systems Roger Rios / Книга С меки корици
common.buy 162.91 € 318.63 лв
Logical Pluralism and Logical Consequence Erik Stei / Книга С меки корици
common.buy 31.27 € 61.17 лв
Top
Reference Barbara Abbott / Книга С меки корици
common.buy 61.15 € 119.61 лв
Early Hellenistic Peloponnese Graham Shipley / Книга С твърди корици
common.buy 144.48 € 282.57 лв
Domestication of the Human Species Peter J. Wilson / Книга С меки корици
common.buy 35.42 € 69.27 лв
FAA Standards for Airport Sign Systems D Federal Aviation Administration (Faa) / Книга С меки корици
common.buy 16.31 € 31.89 лв
Improve your sight-reading! A piece a week Piano Grade 1 Paul Harris / Печатни материали Ноти
common.buy 9.21 € 18.02 лв
I'm a Happy Hugglewug Niamh Sharkey / Книга С твърди корици
common.buy 7.24 € 14.17 лв
Top
Programming in Haskell Graham Hutton / Книга С меки корици
common.buy 45.51 € 89.02 лв
Life and her children Arabella Burton Buckley / Книга С меки корици
common.buy 24.59 € 48.10 лв
Provence & Languedoc Travel Guide - Attractions, Eating, Drinking, Shopping & Places To Stay Brendan Kavanagh / Книга С меки корици
common.buy 14.81 € 28.96 лв
The Church And The Changing Order Shailer Mathews / Книга С меки корици
common.buy 32.62 € 63.80 лв
Latinas/os on the East Coast Yolanda Medina / Книга С меки корици
common.buy 63.54 € 124.27 лв
Arms and the Man Bernard Shaw / Книга С меки корици
common.buy 6.73 € 13.16 лв
Interdisciplinary Perspectives on Math Cognition Marcel Danesi / Книга С твърди корици
common.buy 119.57 € 233.85 лв
Catalogue of Manuscript Music in the British Museum V1: Sacred Vocal Music (1906) Augustus Hughes-Hughes / Книга С меки корици
common.buy 47.79 € 93.48 лв
Greek Religion: Volume 46 Bremmer / Книга С меки корици
common.buy 28.27 € 55.29 лв
My Little Pony: Meet the Ponies of Maretime Bay Hasbro / Книга С меки корици
common.buy 5.48 € 10.73 лв
The Practice of Feeling Good: How to Upgrade Your Thinking and Live a Feel-Good Life Shannon Buritz / Книга С меки корици
common.buy 14.86 € 29.06 лв
Who Paid the Pipers of Western Marxism? Gabriel Rockhill / Книга С меки корици
common.buy 28.06 € 54.89 лв
Lambda-Calculus and Combinators J Roger Hindley / Книга С твърди корици
common.buy 95.85 € 187.47 лв
Environmental Geochemistry J. A. C. Fortescue / Книга С меки корици
common.buy 108.69 € 212.58 лв

Вход

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

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

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

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

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