Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Typed Lambda Calculi and Applications

Name: Typed Lambda Calculi and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01658184
Price: 1350 CZK
Availability: InStock
Author: Luke Ong
ISBN: 9783642216909

10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Luke Ong

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01658184

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, květen 2011

This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda... Celý popis

Libristo kód: 01658184

135 b

1 350 Kč

Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Rescate : historias de supervivencia en la tierra y el mar Eva Martos Jiménez

Brožovaná

469 Kč

Tao Te Ching : urdimbre verdadera del camino y su virtud LAO TSE

Brožovaná

508 Kč

Young ELI Readers - German Jane Cadwallader

Brožovaná

203 Kč

Jujutsu Kaisen - Band 8 Costa Caspary

Brožovaná

178 Kč

This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming.§The 15 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers provide prevailing research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts addressing a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.