Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Typed Lambda Calculi and Applications

6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Typed Lambda Calculi and Applications Martin Hofmann
Libristo kód: 01562714
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, máj 2003
This book constitutes the refereed proceedings of the 6th International Conference on Typed Lambda C... Celý popis
? points 125 b
51.68 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Les Simpson - Edition collector - Tome 25 Supernova Matt Groening / Kniha Pevná
common.buy 18.30 €
Guide des collections du musée de Draguignan Yohan Rimaud / Kniha Brožovaná
common.buy 16.07 €
TU HUELLA SERA MI RUMBO WILMS MONTT / Kniha Brožovaná
common.buy 14.86 €
L'instruction des enfants pauvres en ville Dessauw / Kniha Brožovaná
common.buy 34.48 €
Pripravujeme
Handbuch Sportverletzungen Christian Plesch / Kniha Brožovaná
common.buy 16.98 €
case magiche Agnese Baruzzi / Kniha Leporelo
common.buy 21.44 €
Édito C1 Elodie Heu / Kniha Brožovaná
common.buy 36.10 €
Towarzystwo Warszawskie Przyjaciol Nauk, 1800-1832 Alexander Kraushar / Kniha Brožovaná
common.buy 26.49 €
El tesoro del ahorcado RIERA CATALA / Kniha Brožovaná
common.buy 26.39 €
bar sotto il mare Stefano Benni / Kniha Brožovaná
common.buy 14.15 €
Logico Piccolo Llengua. Fitxer 4. Llengua. Fitxes Finken Verlag / Papierenský tovar Papierenský tovar
common.buy 24.27 €
LES ACCORDS AU PIANO (BOOK/CD) PIANO+CD BERCOVITZ Kniha binding.
common.buy 51.78 €
Natation scolaire : surveillance, encadrement et conditions matérielles TOUCHARD / Kniha Brožovaná
common.buy 47.23 €
LA PIERRE D'ABEILLE Dominique / Kniha Brožovaná
common.buy 22.95 €
Psicopatología del poder: un ensayo sobre la perversión y la corrupción JORGE / Kniha Brožovaná
common.buy 20.73 €
Pripravujeme
Einfach singen! Christian Larsen / Kniha Brožovaná
common.buy 16.28 €
Memorias: el peso de la paja TERENCI MOIX / Kniha Brožovaná
common.buy 20.12 €
Von der Hoffnung auf Liebe und andere Dinge Silke Linke / Kniha Brožovaná
common.buy 11.02 €
Numerische Berechnung elektromagnetischer Felder Christian Hafner / Kniha Brožovaná
common.buy 51.88 €
Vih/Sida En Milieux de Travail Au Senegal Ndack Diop / Kniha Brožovaná
common.buy 81.83 €
Choix de Poesies, 1770-1786. Etrennes Du Parnasse, 1784 Jean Baptiste Milliet / Kniha Brožovaná
common.buy 21.13 €
Formacion del especialista de medicina general integral Lemus Lago Elia Rosa / Kniha Brožovaná
common.buy 84.46 €

This book constitutes the refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003.§The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to the application of proof assistants.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Typed Lambda Calculi and Applications
Autor Martin Hofmann
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2003
Počet strán 320
EAN 9783540403326
ISBN 3540403329
Libristo kód 01562714
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 505
Rozmery 155 x 235 x 19

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

C0-Groups, Commutator Methods and Spectral Theory of N-Body Hamiltonians Werner Amrein / Kniha Pevná
common.buy 55.83 €
Transactions on Petri Nets and Other Models of Concurrency IX Maciej Koutny / Kniha Brožovaná
common.buy 51.68 €
Digital Health LUPTON / Kniha Brožovaná
common.buy 67.97 €
Arthur O'Shaughnessy, his Life and his Work Arthur O'Shaughnessy / Kniha Brožovaná
common.buy 15.26 €
CFTR and Cystic Fibrosis Carlos M. Farinha / Kniha Brožovaná
common.buy 55.83 €
System Design Optimization for Product Manufacturing Masataka Yoshimura / Kniha Pevná
common.buy 102.97 €
Memories of Emineaden: A Tale of Love, DNA, and Deja Vu Robert W Williams / Kniha Brožovaná
common.buy 12.33 €
27 Mystical and musing ways to wellness Doris Richardson-Edsell / Kniha Brožovaná
common.buy 10.21 €
100 Worksheets - Find Successor of 5 Digit Numbers: Math Practice Workbook Kapoo Stem / Kniha Brožovaná
common.buy 8.99 €
Direct Synthesis of Metal Complexes B.I. Kharisov / Kniha Brožovaná
common.buy 218.39 €
David Goldblatt: Photographs 1948-2018 RACHEL KENT / Kniha Pevná
common.buy 73.73 €
Life in the Country House in Georgian Ireland Patricia Mccarthy / Kniha Brožovaná
common.buy 35.29 €
7 Strategies for Improving Your School Williamson / Kniha Brožovaná
common.buy 44.09 €
Downton Abbey - der Kinofilm Julian Fellowes / Video Blu-ray
common.buy 12.23 €
Iowa Public Adjuster Exam Unofficial Self Practice Exercise Questions: covering Fundamental Claim Adjusting Knowledge Examreview / Kniha Brožovaná
common.buy 38.83 €
The Buchholzes in Italy: Travelling Adventures of Wilhelmine Buchholz Julius Stinde / Kniha Brožovaná
common.buy 23.56 €
Machine Learning and AI for Healthcare Arjun Panesar / Kniha Brožovaná
common.buy 38.83 €
BANLIEUE DE PARIS 2021 (Outskirts of Paris) - Michelin Zoom Map 101 / Tlačovina Mapa
common.buy 9.09 €
The Guilty Spouse: A Private Investigator Mystery Series of Crime and Suspense Thomas Fincham / Kniha Brožovaná
common.buy 13.24 €
Top
Esio Trot Roald Dahl / Kniha Brožovaná
common.buy 7.58 €
East Asian Development Dwight H. Perkins / E-kniha Adobe ePub DRM
common.buy 40.66 €
For Times Such as These Ariana Katz / E-kniha Adobe ePub DRM
common.buy 38.13 €
I'll Be Home for Mischief Jacqueline Frost / E-kniha Adobe ePub DRM
common.buy 17.69 €
Ralph Thoresby, the Topographer D H Atkinson / Kniha Pevná
common.buy 37.32 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?