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

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, květen 2003
This book constitutes the refereed proceedings of the 6th 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

Les Simpson - Edition collector - Tome 25 Supernova Matt Groening / Kniha Pevná
common.buy 442 Kč
Guide des collections du musée de Draguignan Yohan Rimaud / Kniha Brožovaná
common.buy 388 Kč
TU HUELLA SERA MI RUMBO WILMS MONTT / Kniha Brožovaná
common.buy 360 Kč
L'instruction des enfants pauvres en ville Dessauw / Kniha Brožovaná
common.buy 835 Kč
Připravujeme
Handbuch Sportverletzungen Christian Plesch / Kniha Brožovaná
common.buy 384 Kč
case magiche Agnese Baruzzi / Kniha Leporelo
common.buy 490 Kč
Édito C1 Elodie Heu / Kniha Brožovaná
common.buy 873 Kč
Towarzystwo Warszawskie Przyjaciol Nauk, 1800-1832 Alexander Kraushar / Kniha Brožovaná
common.buy 641 Kč
El tesoro del ahorcado RIERA CATALA / Kniha Brožovaná
common.buy 640 Kč
bar sotto il mare Stefano Benni / Kniha Brožovaná
common.buy 341 Kč
Logico Piccolo Llengua. Fitxer 4. Llengua. Fitxes Finken Verlag / Papírenské zboží Papírenské zboží
common.buy 587 Kč
LES ACCORDS AU PIANO (BOOK/CD) PIANO+CD BERCOVITZ Kniha binding.
common.buy 1 254 Kč
Natation scolaire : surveillance, encadrement et conditions matérielles TOUCHARD / Kniha Brožovaná
common.buy 1 142 Kč
LA PIERRE D'ABEILLE Dominique / Kniha Brožovaná
common.buy 555 Kč
Psicopatología del poder: un ensayo sobre la perversión y la corrupción JORGE / Kniha Brožovaná
common.buy 501 Kč
Einfach singen! Christian Larsen / Kniha Brožovaná
common.buy 454 Kč
Memorias: el peso de la paja TERENCI MOIX / Kniha Brožovaná
common.buy 488 Kč
Von der Hoffnung auf Liebe und andere Dinge Silke Linke / Kniha Brožovaná
common.buy 266 Kč
Numerische Berechnung elektromagnetischer Felder Christian Hafner / Kniha Brožovaná
common.buy 1 187 Kč
Vih/Sida En Milieux de Travail Au Senegal Ndack Diop / Kniha Brožovaná
common.buy 1 863 Kč
Choix de Poesies, 1770-1786. Etrennes Du Parnasse, 1784 Jean Baptiste Milliet / Kniha Brožovaná
common.buy 511 Kč
Formacion del especialista de medicina general integral Lemus Lago Elia Rosa / Kniha Brožovaná
common.buy 1 924 Kč

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 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 Martin Hofmann
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2003
Počet stran 320
EAN 9783540403326
ISBN 3540403329
Libristo kód 01562714
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 505
Rozměry 155 x 235 x 19

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
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

C0-Groups, Commutator Methods and Spectral Theory of N-Body Hamiltonians Werner Amrein / Kniha Pevná
common.buy 1 350 Kč
Transactions on Petri Nets and Other Models of Concurrency IX Maciej Koutny / Kniha Brožovaná
common.buy 1 182 Kč
Digital Health LUPTON / Kniha Brožovaná
common.buy 1 644 Kč
Arthur O'Shaughnessy, his Life and his Work Arthur O'Shaughnessy / Kniha Brožovaná
common.buy 348 Kč
CFTR and Cystic Fibrosis Carlos M. Farinha / Kniha Brožovaná
common.buy 1 350 Kč
System Design Optimization for Product Manufacturing Masataka Yoshimura / Kniha Pevná
common.buy 2 357 Kč
Memories of Emineaden: A Tale of Love, DNA, and Deja Vu Robert W Williams / Kniha Brožovaná
common.buy 299 Kč
27 Mystical and musing ways to wellness Doris Richardson-Edsell / Kniha Brožovaná
common.buy 248 Kč
100 Worksheets - Find Successor of 5 Digit Numbers: Math Practice Workbook Kapoo Stem / Kniha Brožovaná
common.buy 217 Kč
Direct Synthesis of Metal Complexes B.I. Kharisov / Kniha Brožovaná
common.buy 5 283 Kč
David Goldblatt: Photographs 1948-2018 RACHEL KENT / Kniha Pevná
common.buy 1 785 Kč
Life in the Country House in Georgian Ireland Patricia Mccarthy / Kniha Brožovaná
common.buy 811 Kč
7 Strategies for Improving Your School Williamson / Kniha Brožovaná
common.buy 1 067 Kč
Downton Abbey - der Kinofilm Julian Fellowes / Video Blu-ray
common.buy 283 Kč
Iowa Public Adjuster Exam Unofficial Self Practice Exercise Questions: covering Fundamental Claim Adjusting Knowledge Examreview / Kniha Brožovaná
common.buy 939 Kč
The Buchholzes in Italy: Travelling Adventures of Wilhelmine Buchholz Julius Stinde / Kniha Brožovaná
common.buy 571 Kč
Machine Learning and AI for Healthcare Arjun Panesar / Kniha Brožovaná
common.buy 941 Kč
BANLIEUE DE PARIS 2021 (Outskirts of Paris) - Michelin Zoom Map 101 / Tiskovina Mapa
common.buy 207 Kč
The Guilty Spouse: A Private Investigator Mystery Series of Crime and Suspense Thomas Fincham / Kniha Brožovaná
common.buy 320 Kč
Top
Esio Trot Roald Dahl / Kniha Brožovaná
common.buy 136 Kč
East Asian Development Dwight H. Perkins / E-kniha Adobe ePub DRM
common.buy 984 Kč
For Times Such as These Ariana Katz / E-kniha Adobe ePub DRM
common.buy 922 Kč
I'll Be Home for Mischief Jacqueline Frost / E-kniha Adobe ePub DRM
common.buy 428 Kč
Ralph Thoresby, the Topographer D H Atkinson / Kniha Pevná
common.buy 903 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?