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
20 662 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

Workflow Management Mit Sap(r) Webflow(r) Markus Brahm / Könyv Puha kötésű
common.buy 24 573 Ft
Młokos Fiodor Dostojewski / Könyv Kemény kötésű
common.buy 4 506 Ft
Kaskaden Eliot Weinberger / Könyv Puha kötésű
common.buy 7 260 Ft
Familiengründung mit Samenspende Petra Thorn / Könyv Puha kötésű
common.buy 17 226 Ft
La cultura a la Universitat de Valencia. Del segle XIX a 1985 Jose Garcelan Munoz / E-könyv Adobe ePub DRM
common.buy 4 031 Ft
Toplistás
Všechna moje nej / Naptár/Határidőnapló Határidőnapló
common.buy 4 002 Ft
Regression, 1 Blu-ray Alejandro Amenábar / Filmek Blu-ray
common.buy 4 746 Ft
Der Todesstrahl Daniel Clowes / Könyv Kemény kötésű
common.buy 7 577 Ft
Účtovné predpisy 2024 / Könyv Puha kötésű
common.buy 0 Ft
Erstellung eines Webshops unter Verwendung des Content Management Systems Joomla! Karsten Oltrogge / Könyv Puha kötésű
common.buy 10 086 Ft
Manuale di fisica dello stato solido Giampiero Amato / Könyv Puha kötésű
common.buy 19 659 Ft
Maud-Evelyn suivi de La Mort du lion Henry James Könyv Puha kötésű
common.buy 1 521 Ft
THIRTY FIVE MELODIOUS TECHNICAL EXERCISES SAXOPHONE DOMENICO GATTI Könyv binding.
common.buy 12 461 Ft
MODELOS Y HERRAMIENTAS DE DECISION JOAQUIN BAUTISTA VALHONDO / Könyv Puha kötésű
common.buy 19 491 Ft
EL JARDÍN DE ORIGAMI MARK BOLITHO / Könyv Kemény kötésű
common.buy 2 965 Ft
Bildungsgrundsätze Kinder Ministerium für Familie / Könyv Puha kötésű
common.buy 7 956 Ft
Zebra źrebię / Játék Játék
common.buy 2 706 Ft
Anja und das Reitinternat - Auf gut Glück Feli Fritsch / Könyv Puha kötésű
common.buy 4 338 Ft
La ciudad flotante 1870 Julio Verne / Könyv Puha kötésű
common.buy 7 169 Ft
It's my turn! Sefi Atta / Könyv Kemény kötésű
common.buy 7 533 Ft
Taoteking Laozi / Könyv Puha kötésű
common.buy 4 290 Ft
Déficit público José Ortega Cruz / Könyv Puha kötésű
common.buy 28 315 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 5 005 Ft
Single Semiconductor Quantum Dots Peter Michler / Könyv Kemény kötésű
common.buy 82 288 Ft
Just-in-Time Systems Roger Rios / Könyv Puha kötésű
common.buy 61 746 Ft
Logical Pluralism and Logical Consequence Erik Stei / Könyv Puha kötésű
common.buy 12 356 Ft
Reference Barbara Abbott / Könyv Puha kötésű
common.buy 31 727 Ft
Toplistás
Programming in Haskell Graham Hutton / Könyv Puha kötésű
common.buy 19 357 Ft
The Beauty's Beast E D Walker / Könyv Puha kötésű
common.buy 6 267 Ft
Ascension: The Divine Prerogative Of the Saints Kevin Etta Jr / Könyv Puha kötésű
common.buy 4 213 Ft
The Church And The Changing Order Shailer Mathews / Könyv Puha kötésű
common.buy 12 917 Ft
Provence & Languedoc Travel Guide - Attractions, Eating, Drinking, Shopping & Places To Stay Brendan Kavanagh / Könyv Puha kötésű
common.buy 5 888 Ft
Model Specifications: Concrete Finishing J Paul Guyer / Könyv Puha kötésű
common.buy 6 636 Ft
Life and her children Arabella Burton Buckley / Könyv Puha kötésű
common.buy 9 357 Ft
Arms and the Man Bernard Shaw / Könyv Puha kötésű
common.buy 2 678 Ft
Kingdom of Strangers Zoe Ferraris / Könyv Puha kötésű
common.buy 7 548 Ft
I'm a Happy Hugglewug Niamh Sharkey / Könyv Kemény kötésű
common.buy 2 601 Ft
Latinas/os on the East Coast Yolanda Medina / Könyv Puha kötésű
common.buy 23 358 Ft
Improve your sight-reading! A piece a week Piano Grade 1 Paul Harris / Nyomtatványok Kotta
common.buy 4 079 Ft
Early Hellenistic Peloponnese Graham Shipley / Könyv Kemény kötésű
common.buy 57 062 Ft
Religion and the New Technologies Noreen Herzfeld / Könyv Puha kötésű
common.buy 15 537 Ft
Interdisciplinary Perspectives on Math Cognition Marcel Danesi / Könyv Kemény kötésű
common.buy 45 311 Ft
Six Short Sons Shifang Zhu / Könyv Puha kötésű
common.buy 3 882 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 930 Ft
Greek Religion: Volume 46 Bremmer / Könyv Puha kötésű
common.buy 10 393 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 407 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