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

6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings

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

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

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

Les Simpson - Edition collector - Tome 25 Supernova Matt Groening / Книга С твърди корици
common.buy 18.99 € 37.15 лв
Guide des collections du musée de Draguignan Yohan Rimaud / Книга С меки корици
common.buy 16.67 € 32.60 лв
TU HUELLA SERA MI RUMBO WILMS MONTT / Книга С меки корици
common.buy 15.69 € 30.68 лв
L'instruction des enfants pauvres en ville Dessauw / Книга С меки корици
common.buy 35.93 € 70.27 лв
Подготвяме
Handbuch Sportverletzungen Christian Plesch / Книга С меки корици
common.buy 17.96 € 35.13 лв
case magiche Agnese Baruzzi / Книга Дипляна
common.buy 22.56 € 44.11 лв
Édito C1 Elodie Heu / Книга С меки корици
common.buy 37.68 € 73.70 лв
Towarzystwo Warszawskie Przyjaciol Nauk, 1800-1832 Alexander Kraushar / Книга С меки корици
common.buy 27.82 € 54.41 лв
El tesoro del ahorcado RIERA CATALA / Книга С меки корици
common.buy 27.51 € 53.81 лв
bar sotto il mare Stefano Benni / Книга С меки корици
common.buy 14.76 € 28.87 лв
Logico Piccolo Llengua. Fitxer 4. Llengua. Fitxes Finken Verlag / Канцеларски материали Канцеларски материали
common.buy 25.34 € 49.57 лв
LES ACCORDS AU PIANO (BOOK/CD) PIANO+CD BERCOVITZ Книга binding.
common.buy 53.94 € 105.50 лв
Natation scolaire : surveillance, encadrement et conditions matérielles TOUCHARD / Книга С меки корици
common.buy 49.19 € 96.21 лв
LA PIERRE D'ABEILLE Dominique / Книга С меки корици
common.buy 23.90 € 46.74 лв
Psicopatología del poder: un ensayo sobre la perversión y la corrupción JORGE / Книга С меки корици
common.buy 21.63 € 42.30 лв
Einfach singen! Christian Larsen / Книга С меки корици
common.buy 19.66 € 38.46 лв
Memorias: el peso de la paja TERENCI MOIX / Книга С меки корици
common.buy 21.06 € 41.19 лв
Von der Hoffnung auf Liebe und andere Dinge Silke Linke / Книга С меки корици
common.buy 11.56 € 22.61 лв
Numerische Berechnung elektromagnetischer Felder Christian Hafner / Книга С меки корици
common.buy 54.72 € 107.02 лв
Vih/Sida En Milieux de Travail Au Senegal Ndack Diop / Книга С меки корици
common.buy 86.42 € 169.01 лв
Choix de Poesies, 1770-1786. Etrennes Du Parnasse, 1784 Jean Baptiste Milliet / Книга С меки корици
common.buy 22.14 € 43.31 лв
Formacion del especialista de medicina general integral Lemus Lago Elia Rosa / Книга С меки корици
common.buy 89.26 € 174.57 лв

This book constitutes the refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003.§The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to the application of proof assistants.

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

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

Пълно заглавие Typed Lambda Calculi and Applications
Автор Martin Hofmann
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2003
Брой страници 320
Баркод 9783540403326
ISBN 3540403329
Код Либристо 01562714
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 505
Размери 155 x 235 x 19

Категории

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

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

C0-Groups, Commutator Methods and Spectral Theory of N-Body Hamiltonians Werner Amrein / Книга С твърди корици
common.buy 60.96 € 119.24 лв
Transactions on Petri Nets and Other Models of Concurrency IX Maciej Koutny / Книга С меки корици
common.buy 54.30 € 106.21 лв
Digital Health LUPTON / Книга С меки корици
common.buy 70.93 € 138.72 лв
Arthur O'Shaughnessy, his Life and his Work Arthur O'Shaughnessy / Книга С меки корици
common.buy 16.10 € 31.49 лв
CFTR and Cystic Fibrosis Carlos M. Farinha / Книга С меки корици
common.buy 60.96 € 119.24 лв
System Design Optimization for Product Manufacturing Masataka Yoshimura / Книга С твърди корици
common.buy 108.36 € 211.93 лв
Memories of Emineaden: A Tale of Love, DNA, and Deja Vu Robert W Williams / Книга С меки корици
common.buy 13.00 € 25.43 лв
27 Mystical and musing ways to wellness Doris Richardson-Edsell / Книга С меки корици
common.buy 10.78 € 21.09 лв
100 Worksheets - Find Successor of 5 Digit Numbers: Math Practice Workbook Kapoo Stem / Книга С меки корици
common.buy 9.39 € 18.37 лв
Direct Synthesis of Metal Complexes B.I. Kharisov / Книга С меки корици
common.buy 227.20 € 444.36 лв
David Goldblatt: Photographs 1948-2018 RACHEL KENT / Книга С твърди корици
common.buy 76.81 € 150.23 лв
Life in the Country House in Georgian Ireland Patricia Mccarthy / Книга С меки корици
common.buy 37.01 € 72.39 лв
7 Strategies for Improving Your School Williamson / Книга С меки корици
common.buy 46.04 € 90.06 лв
Downton Abbey - der Kinofilm Julian Fellowes / Видео Blu-ray
common.buy 12.85 € 25.13 лв
Iowa Public Adjuster Exam Unofficial Self Practice Exercise Questions: covering Fundamental Claim Adjusting Knowledge Examreview / Книга С меки корици
common.buy 40.83 € 79.86 лв
The Buchholzes in Italy: Travelling Adventures of Wilhelmine Buchholz Julius Stinde / Книга С меки корици
common.buy 24.72 € 48.36 лв
Machine Learning and AI for Healthcare Arjun Panesar / Книга С меки корици
common.buy 41.40 € 80.97 лв
BANLIEUE DE PARIS 2021 (Outskirts of Paris) - Michelin Zoom Map 101 / Печатни материали Карта
common.buy 9.60 € 18.77 лв
The Guilty Spouse: A Private Investigator Mystery Series of Crime and Suspense Thomas Fincham / Книга С меки корици
common.buy 13.88 € 27.15 лв
Top
Esio Trot Roald Dahl / Книга С меки корици
common.buy 6.45 € 12.61 лв
East Asian Development Dwight H. Perkins / E-книга Adobe ePub DRM
common.buy 42.59 € 83.29 лв
For Times Such as These Ariana Katz / E-книга Adobe ePub DRM
common.buy 39.95 € 78.14 лв
I'll Be Home for Mischief Jacqueline Frost / E-книга Adobe ePub DRM
common.buy 18.68 € 36.54 лв
Ralph Thoresby, the Topographer D H Atkinson / Книга С твърди корици
common.buy 39.13 € 76.53 лв

Вход

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

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

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

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

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