phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Typed Lambda Calculi and Applications

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Typed Lambda Calculi and Applications Pawel Urzyczyn
Libristo kód: 01560558
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, dubna 2005
This book constitutes the refereed proceedings of the 7th International Conference on Typed Lambda C... Celý popis
? points 154 b
1 542 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Art Deco Complete Alastair Duncan / Pevná
common.buy 1 507 Kč
TOP
AI and Machine Learning For Coders / Brožovaná
common.buy 1 230 Kč
Bolivar Marie Arana / Brožovaná
common.buy 490 Kč
World After Susan Ee / Brožovaná
common.buy 234 Kč
You've Lost a Lot of Blood / Brožovaná
common.buy 261 Kč
Saluki Brian Patrick Duggan / Brožovaná
common.buy 1 251 Kč
Pattern Cutting Second Edition / Brožovaná
common.buy 1 132 Kč
Der Fantastische Mr. Fox Andrew Weisblum / Blu-ray
common.buy 325 Kč
Applied Financial Macroeconomics and Investment Strategy T. McGee / Brožovaná
common.buy 1 375 Kč
A Journeyman's Journey - The Story of Jim McEwan Udo Sonntag / Pevná
common.buy 1 520 Kč
Concise Dictionary of Middle English A L Mayhew / Pevná
common.buy 1 148 Kč
Quality of Service Constrained Unicast Routing Khalid Magld / Brožovaná
common.buy 1 893 Kč
Pain of Knowledge Yair Auron / Pevná
common.buy 4 754 Kč
Agent-Based Models of Geographical Systems Alison J. Heppenstall / Brožovaná
common.buy 10 391 Kč
Green Inc. Frances Cairncross / Brožovaná
common.buy 401 Kč
Ökologische Steuerreform und Europäischer Emissionshandel Oliver Rottmann / Brožovaná
common.buy 1 239 Kč

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.

Informace o knize

Plný název Typed Lambda Calculi and Applications
Autor Pawel Urzyczyn
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2005
Počet stran 436
EAN 9783540255932
ISBN 3540255931
Libristo kód 01560558
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1390
Rozměry 155 x 235 x 25

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet