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 Samson Abramsky
Libristo kód: 01563428
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, dubna 2001
This book constitutes the refereed proceedings of the 5th 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

Asymptotic Analysis and Boundary Layers Jean Cousteix / Brožovaná
common.buy 3 039 Kč
Creativity and Advertising Andrew McStay / Pevná
common.buy 4 476 Kč
Partisan Politics, Divided Government, and the Economy Alberto AlesinaHoward Rosenthal / Brožovaná
common.buy 1 152 Kč
Climate Justice Henry Shue / Pevná
common.buy 1 490 Kč
Erstellung eines Webshops unter Verwendung des Content Management Systems Joomla! Karsten Oltrogge / Brožovaná
common.buy 1 284 Kč
Voralpenpflanzen Franz Daffner / Brožovaná
common.buy 1 500 Kč
Kaskaden Eliot Weinberger / Brožovaná
common.buy 523 Kč
Environmental Geochemistry J. A. C. Fortescue / Brožovaná
common.buy 3 039 Kč
Der Todesstrahl Daniel Clowes / Pevná
common.buy 523 Kč

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.

Informace o knize

Plný název Typed Lambda Calculi and Applications
Autor Samson Abramsky
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2001
Počet stran 436
EAN 9783540419600
ISBN 3540419608
Libristo kód 01563428
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 682
Rozměry 155 x 233 x 25

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Matematika a věda > Matematika > Diferenciální a integrální počet a matematická analýza
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