Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
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č
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Typed Lambda Calculi and Applications

5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

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, duben 2001
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda C... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Der Todesstrahl Daniel Clowes / Kniha Pevná
common.buy 504 Kč
Młokos Fiodor Dostojewski / Kniha Pevná
common.buy 301 Kč
Familiengründung mit Samenspende Petra Thorn / Kniha Brožovaná
common.buy 1 057 Kč
Regression, 1 Blu-ray Alejandro Amenábar / Video Blu-ray
common.buy 320 Kč
Účtovné predpisy 2024 / Kniha Brožovaná
common.buy 123 Kč
Erstellung eines Webshops unter Verwendung des Content Management Systems Joomla! Karsten Oltrogge / Kniha Brožovaná
common.buy 571 Kč
Kaskaden Eliot Weinberger / Kniha Brožovaná
common.buy 504 Kč
THIRTY FIVE MELODIOUS TECHNICAL EXERCISES SAXOPHONE DOMENICO GATTI Kniha binding.
common.buy 827 Kč
MODELOS Y HERRAMIENTAS DE DECISION JOAQUIN BAUTISTA VALHONDO / Kniha Brožovaná
common.buy 1 090 Kč
EL JARDÍN DE ORIGAMI MARK BOLITHO / Kniha Pevná
common.buy 198 Kč
Zebra źrebię / Hra/Hračka Hračka
common.buy 186 Kč
Anja und das Reitinternat - Auf gut Glück Feli Fritsch / Kniha Brožovaná
common.buy 291 Kč
Taoteking Laozi / Kniha Brožovaná
common.buy 289 Kč
Bildungsgrundsätze Kinder Ministerium für Familie / Kniha Brožovaná
common.buy 436 Kč
Déficit público José Ortega Cruz / Kniha Brožovaná
common.buy 1 603 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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

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

Mohlo by vás také zajímat

The Reader Bernhard Schlink / Kniha Brožovaná
common.buy 331 Kč
Single Semiconductor Quantum Dots Peter Michler / Kniha Pevná
common.buy 4 707 Kč
Just-in-Time Systems Roger Rios / Kniha Brožovaná
common.buy 3 532 Kč
Logical Pluralism and Logical Consequence Erik Stei / Kniha Brožovaná
common.buy 721 Kč
Top
Reference Barbara Abbott / Kniha Brožovaná
common.buy 1 349 Kč
Early Hellenistic Peloponnese Graham Shipley / Kniha Pevná
common.buy 3 330 Kč
Domestication of the Human Species Peter J. Wilson / Kniha Brožovaná
common.buy 781 Kč
FAA Standards for Airport Sign Systems D Federal Aviation Administration (Faa) / Kniha Brožovaná
common.buy 375 Kč
Improve your sight-reading! A piece a week Piano Grade 1 Paul Harris / Tiskovina Noty
common.buy 200 Kč
I'm a Happy Hugglewug Niamh Sharkey / Kniha Pevná
common.buy 154 Kč
Top
Programming in Haskell Graham Hutton / Kniha Brožovaná
common.buy 990 Kč
Life and her children Arabella Burton Buckley / Kniha Brožovaná
common.buy 529 Kč
Provence & Languedoc Travel Guide - Attractions, Eating, Drinking, Shopping & Places To Stay Brendan Kavanagh / Kniha Brožovaná
common.buy 339 Kč
The Church And The Changing Order Shailer Mathews / Kniha Brožovaná
common.buy 750 Kč
Latinas/os on the East Coast Yolanda Medina / Kniha Brožovaná
common.buy 1 374 Kč
Arms and the Man Bernard Shaw / Kniha Brožovaná
common.buy 154 Kč
Interdisciplinary Perspectives on Math Cognition Marcel Danesi / Kniha Pevná
common.buy 2 592 Kč
Catalogue of Manuscript Music in the British Museum V1: Sacred Vocal Music (1906) Augustus Hughes-Hughes / Kniha Brožovaná
common.buy 1 099 Kč
Greek Religion: Volume 46 Bremmer / Kniha Brožovaná
common.buy 618 Kč
My Little Pony: Meet the Ponies of Maretime Bay Hasbro / Kniha Brožovaná
common.buy 116 Kč
The Practice of Feeling Good: How to Upgrade Your Thinking and Live a Feel-Good Life Shannon Buritz / Kniha Brožovaná
common.buy 340 Kč
Who Paid the Pipers of Western Marxism? Gabriel Rockhill / Kniha Brožovaná
common.buy 565 Kč
Lambda-Calculus and Combinators J Roger Hindley / Kniha Pevná
common.buy 2 101 Kč
Environmental Geochemistry J. A. C. Fortescue / Kniha Brožovaná
common.buy 2 357 Kč

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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?