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

9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings

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

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

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

HISTORIA DE UNA ESCALERA ANTONIO BUERO VALLEJO / Книга С меки корици
common.buy 14.13 € 27.63 лв
BEATI CHANT KURT BIKKEMBERGS / Печатни материали Ноти
common.buy 20.70 € 40.49 лв
Was ist Bedeutung? Yongjun Cai / Книга С меки корици
common.buy 108.41 € 212.03 лв
100 samolepek s omalovánkovými listy Disney Princezny / Книга С меки корици
common.buy 3.77 € 7.38 лв
Fatti incredibili del Medioevo che non ti hanno mai raccontato Giulia Boccardi / Книга С меки корици
common.buy 18.06 € 35.33 лв
Recetas Anti Inflamatorias Faciles Pilar Montechiara / Книга С меки корици
common.buy 18.01 € 35.23 лв
La prisión perpetua en el derecho penal internacional Del-Carpio-Delgado / Книга С меки корици
common.buy 39.97 € 78.17 лв
Le Néo-impressionnisme Paul Signac / Книга С меки корици
common.buy 14.28 € 27.94 лв
La doublure - La vue - Impressions d'Afrique - Locus Solus - L'étoile au Front - La poussière de Sol Raymond Roussel / Книга С меки корици
common.buy 40.90 € 79.99 лв
RICHARD LLOYD: I SAW THREE SHIPS CHANT LLOYD Книга binding.
common.buy 6.67 € 13.05 лв
L'angolo dei tempi remoti Leonardo Fraternale / Книга С меки корици
common.buy 16.36 € 31.99 лв
Verhinderung von Zwang Tilman Steinert / Книга С меки корици
common.buy 28.11 € 54.98 лв
Praxishandbuch Kindergarten Franz Petermann / Книга С твърди корици
common.buy 49.91 € 97.61 лв
Cercando rispetto. Drug economy e cultura di strada Philippe Bourgois / Книга С меки корици
common.buy 24.28 € 47.48 лв
Guía para la aplicación de la Ley de Jurisdicción Voluntaria de la Administración de Justicia / Книга С меки корици
common.buy 44.57 € 87.18 лв
Histoire de Napoleon II, Roi de Rome De Saint-Felix-J / Книга С меки корици
common.buy 18.43 € 36.04 лв
Friedensbewegung in Der Bundesrepublik Deutschland Rudiger Schmitt / Книга С меки корици
common.buy 44.94 € 87.89 лв
Geheimnisse der Seele Leon Hardt / Книга С меки корици
common.buy 16.15 € 31.58 лв

This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil in July 2008 in conjunction with RTA 2007, the 19th International Conference on Rewriting Techniques and Applications as part of RDP 2009, the 5th International Conference on Rewriting, Deduction, and Programming.§The 27 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 53 submissions. The papers present original research results that are broadly relevant to the theory and applications of typed calculi and address a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.

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

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

Пълно заглавие Typed Lambda Calculi and Applications
Автор Pierre-Louis Curien
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2009
Брой страници 417
Баркод 9783642022722
ISBN 3642022723
Код Либристо 01649911
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 658
Размери 155 x 235 x 24

Категории

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

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

Forever My Girl HEIDI MCLAUGHLIN / Книга С меки корици
common.buy 14.28 € 27.94 лв
Towards a Science of States: their Evolution and Properties Erik Moberg / Книга С меки корици
common.buy 15.73 € 30.77 лв
Oxford English Literary History: Volume 13: 1948-2000: The Internationalization of English Literature Bruce King / Книга С твърди корици
common.buy 204.71 € 400.38 лв
Mandalas & More Mega Book: Complete Collection: Volumes 1, 2 & 3 R a Diane / Книга С меки корици
common.buy 13.04 € 25.51 лв
Christian Orthodox Migrants in Western Europe Hammerli / Книга С меки корици
common.buy 61.81 € 120.90 лв
Automatic IRAS: Lower-Earning Households Could Realize Increases in Retirement Income United States Government Accountability / Книга С меки корици
common.buy 14.80 € 28.95 лв
State Dunces [a Satire in Verse]. Inscrib'd to Mr. Pope. [by P. Whitehead.] Alexander Pope / Книга С меки корици
common.buy 12.68 € 24.80 лв
Seven Success Skills for Apprentices and Skilled Trades Persons James Sidney Harvey / Книга С твърди корици
common.buy 45.97 € 89.91 лв
Top
ALFREDO PAREDES AT HOME PAREDES ALFREDO / Книга С твърди корици
common.buy 47.01 € 91.94 лв
The Mad Dog 100: The Greatest Sports Arguments of All Time Chris Russo / Книга С меки корици
common.buy 16.36 € 31.99 лв
High Technology, Productivity and Networks Mario Davide Parrilli / Книга С меки корици
common.buy 119.75 € 234.21 лв
English-Czech phrasebook and 250-word mini dictionary Andrey Taranov / Книга С меки корици
common.buy 10.35 € 20.24 лв
Yesterwynde Nightwish / Аудио Аудио плоча
common.buy 33.44 € 65.41 лв
Conundrums in Practical Theology Bonnie Miller-McLemore / Книга С меки корици
common.buy 107.79 € 210.82 лв
Of Fire and Stars Audrey Coulthurst / Книга С меки корици
common.buy 9.16 € 17.91 лв
Neuroinformatics Chiquito J. Crasto / Книга С меки корици
common.buy 117.06 € 228.95 лв
The Navy Electricity and Electronics Training Series: Module 20 Master Glossary United States Navy / Книга С меки корици
common.buy 10.30 € 20.14 лв
Analysis of James Surowiecki's The Wisdom of Crowds Nikki Springer / Книга С твърди корици
common.buy 29.77 € 58.22 лв
The Gold and the Dross: Althusser for Educators David I. Backer / Книга С твърди корици
common.buy 158.27 € 309.55 лв
Sacramental Theurgy for Witches: Advanced Liturgy Revealed Keith Ward / Книга С меки корици
common.buy 22.10 € 43.23 лв
Magical Healing Trees in Slavic Folklore Ronesa Aveela / Книга С твърди корици
common.buy 51.56 € 100.85 лв
Very First Questions and Answers: What is mud? Katie Daynes / Книга Дипляна
common.buy 9.31 € 18.22 лв
Taking the Cure Sarah R Taggart / Книга С меки корици
common.buy 9.16 € 17.91 лв
Sikh Diaspora in Vancouver Kamala Elizabeth Nayar / Книга С твърди корици
common.buy 80.25 € 156.95 лв

Вход

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

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

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

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

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