[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

Typed Lambda Calculi and Applications

Език Английски езикАнглийски език
Книга С меки корици
Книга Typed Lambda Calculi and Applications Pawel Urzyczyn
Код Либристо: 01560558
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, април 2005
This book constitutes the refereed proceedings of the 7th International Conference on Typed Lambda C... Цялото описание
? points 164 b
128.23 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

TOP
Art Deco Complete Alastair Duncan / С твърди корици
common.buy 134.08 лв
TOP
You've Lost a Lot of Blood / С меки корици
common.buy 22.09 лв
World After Susan Ee / С меки корици
common.buy 20.67 лв
AI and Machine Learning For Coders / С меки корици
common.buy 111.58 лв
Pattern Cutting Second Edition / С меки корици
common.buy 100.68 лв
Saluki Brian Patrick Duggan / С меки корици
common.buy 103.91 лв
Bolivar Marie Arana / С меки корици
common.buy 39.64 лв
Der Fantastische Mr. Fox Andrew Weisblum / Blu-ray
common.buy 27.03 лв
Applied Financial Macroeconomics and Investment Strategy T. McGee / С меки корици
common.buy 109.77 лв
A Journeyman's Journey - The Story of Jim McEwan Udo Sonntag / С твърди корици
common.buy 126.51 лв
Concise Dictionary of Middle English A L Mayhew / С твърди корици
common.buy 95.54 лв
Pain of Knowledge Yair Auron / С твърди корици
common.buy 418.81 лв
Quality of Service Constrained Unicast Routing Khalid Magld / С меки корици
common.buy 157.59 лв
Agent-Based Models of Geographical Systems Alison J. Heppenstall / С меки корици
common.buy 864.78 лв
Ökologische Steuerreform und Europäischer Emissionshandel Oliver Rottmann / С меки корици
common.buy 103.11 лв
Engaging India Anupam Srivastava / С твърди корици
common.buy 449.99 лв

This book constitutes the refereed proceedings of the 7th International Conference on Typed Lambda Calculi and Applications, TLCA 2005, held in Nara, Japan in April 2005.§The 27 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 61 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts.

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

Пълно заглавие Typed Lambda Calculi and Applications
Автор Pawel Urzyczyn
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2005
Брой страници 436
Баркод 9783540255932
ISBN 3540255931
Код Либристо 01560558
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1390
Размери 155 x 235 x 25

Категории

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

Вход

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

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

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

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

Създаване на акаунт за Libristo