A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Typed Lambda Calculi and Applications

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Typed Lambda Calculi and Applications Samson Abramsky
Libristo kód: 01563428
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, április 2001
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda C... Teljes leírás
? points 136 b
19 818 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Kaskaden Eliot Weinberger / Könyv Puha kötésű
common.buy 7 354 Ft
Młokos Fiodor Dostojewski / Könyv Kemény kötésű
common.buy 4 727 Ft
Der Todesstrahl Daniel Clowes / Könyv Kemény kötésű
common.buy 7 354 Ft
Regression, 1 Blu-ray Alejandro Amenábar / Filmek Blu-ray
common.buy 4 671 Ft
Účtovné predpisy 2024 / Könyv Puha kötésű
common.buy 1 882 Ft
Zebra źrebię / Játék Játék
common.buy 2 715 Ft
Erstellung eines Webshops unter Verwendung des Content Management Systems Joomla! Karsten Oltrogge / Könyv Puha kötésű
common.buy 9 674 Ft
THIRTY FIVE MELODIOUS TECHNICAL EXERCISES SAXOPHONE DOMENICO GATTI Könyv binding.
common.buy 12 086 Ft
MODELOS Y HERRAMIENTAS DE DECISION JOAQUIN BAUTISTA VALHONDO / Könyv Puha kötésű
common.buy 18 331 Ft
Familiengründung mit Samenspende Petra Thorn / Könyv Puha kötésű
common.buy 16 522 Ft
EL JARDÍN DE ORIGAMI MARK BOLITHO / Könyv Kemény kötésű
common.buy 2 863 Ft
Anja und das Reitinternat - Auf gut Glück Feli Fritsch / Könyv Puha kötésű
common.buy 4 248 Ft
Bildungsgrundsätze Kinder Ministerium für Familie / Könyv Puha kötésű
common.buy 7 736 Ft
Taoteking Laozi / Könyv Puha kötésű
common.buy 4 216 Ft
Déficit público José Ortega Cruz / Könyv Puha kötésű
common.buy 27 177 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Typed Lambda Calculi and Applications
Szerző Samson Abramsky
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2001
Oldalszám 436
EAN 9783540419600
ISBN 3540419608
Libristo kód 01563428
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 682
Méretek 155 x 233 x 25

Kategória

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Matematika és természettudomány > Matematika > Kalkulus és matematikai analízis
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

The Reader Bernhard Schlink / Könyv Puha kötésű
common.buy 4 814 Ft
Single Semiconductor Quantum Dots Peter Michler / Könyv Kemény kötésű
common.buy 78 925 Ft
Just-in-Time Systems Roger Rios / Könyv Puha kötésű
common.buy 59 222 Ft
Logical Pluralism and Logical Consequence Erik Stei / Könyv Puha kötésű
common.buy 11 851 Ft
Toplistás
Reference Barbara Abbott / Könyv Puha kötésű
common.buy 21 571 Ft
Early Hellenistic Peloponnese Graham Shipley / Könyv Kemény kötésű
common.buy 54 731 Ft
FAA Standards for Airport Sign Systems D Federal Aviation Administration (Faa) / Könyv Puha kötésű
common.buy 6 204 Ft
Improve your sight-reading! A piece a week Piano Grade 1 Paul Harris / Nyomtatványok Kotta
common.buy 3 341 Ft
Latinas/os on the East Coast Yolanda Medina / Könyv Puha kötésű
common.buy 22 404 Ft
Kingdom of Strangers Zoe Ferraris / Könyv Puha kötésű
common.buy 7 239 Ft
Toplistás
Programming in Haskell Graham Hutton / Könyv Puha kötésű
common.buy 16 752 Ft
Life and her children Arabella Burton Buckley / Könyv Puha kötésű
common.buy 8 974 Ft
Provence & Languedoc Travel Guide - Attractions, Eating, Drinking, Shopping & Places To Stay Brendan Kavanagh / Könyv Puha kötésű
common.buy 5 647 Ft
The Church And The Changing Order Shailer Mathews / Könyv Puha kötésű
common.buy 12 389 Ft
The Beauty's Beast E D Walker / Könyv Puha kötésű
common.buy 6 011 Ft
I'm a Happy Hugglewug Niamh Sharkey / Könyv Kemény kötésű
common.buy 2 494 Ft
Arms and the Man Bernard Shaw / Könyv Puha kötésű
common.buy 2 568 Ft
Interdisciplinary Perspectives on Math Cognition Marcel Danesi / Könyv Kemény kötésű
common.buy 43 460 Ft
Catalogue of Manuscript Music in the British Museum V1: Sacred Vocal Music (1906) Augustus Hughes-Hughes / Könyv Puha kötésű
common.buy 18 156 Ft
Greek Religion: Volume 46 Bremmer / Könyv Puha kötésű
common.buy 9 969 Ft
Paper Doll Color, Cut, Play Little Princess: Coloring book for kids - Princess paper dolls Art in Wonderland / Könyv Puha kötésű
common.buy 3 268 Ft
My Little Pony: Meet the Ponies of Maretime Bay Hasbro / Könyv Puha kötésű
common.buy 2 131 Ft
The Practice of Feeling Good: How to Upgrade Your Thinking and Live a Feel-Good Life Shannon Buritz / Könyv Puha kötésű
common.buy 5 661 Ft
The Animals of Farthing Wood Colin Dann / Könyv Puha kötésű
common.buy 3 281 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?