Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Typed Lambda Calculi and Applications

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

Język AngielskiAngielski
Książka Miękka
Książka Typed Lambda Calculi and Applications Martin Hofmann
Kod Libristo: 01562714
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maj 2003
This book constitutes the refereed proceedings of the 6th International Conference on Typed Lambda C... Cały opis
? points 125 b
219.15 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Les Simpson - Edition collector - Tome 25 Supernova Matt Groening / Książka Twarda
common.buy 77.53 zł
Guide des collections du musée de Draguignan Yohan Rimaud / Książka Miękka
common.buy 67.99 zł
TU HUELLA SERA MI RUMBO WILMS MONTT / Książka Miękka
common.buy 63.06 zł
L'instruction des enfants pauvres en ville Dessauw / Książka Miękka
common.buy 146.33 zł
Zapowiedź
Handbuch Sportverletzungen Christian Plesch / Książka Miękka
common.buy 71.90 zł
case magiche Agnese Baruzzi / Książka Leporelo
common.buy 90.79 zł
Édito C1 Elodie Heu / Książka Miękka
common.buy 153.06 zł
Towarzystwo Warszawskie Przyjaciol Nauk, 1800-1832 Alexander Kraushar / Książka Miękka
common.buy 118.10 zł
El tesoro del ahorcado RIERA CATALA / Książka Miękka
common.buy 112.18 zł
bar sotto il mare Stefano Benni / Książka Miękka
common.buy 56.94 zł
Logico Piccolo Llengua. Fitxer 4. Llengua. Fitxes Finken Verlag / Artykuły papiernicze Artykuły papiernicze
common.buy 102.94 zł
LES ACCORDS AU PIANO (BOOK/CD) PIANO+CD BERCOVITZ Książka binding.
common.buy 219.85 zł
Natation scolaire : surveillance, encadrement et conditions matérielles TOUCHARD / Książka Miękka
common.buy 200.16 zł
LA PIERRE D'ABEILLE Dominique / Książka Miękka
common.buy 97.31 zł
Psicopatología del poder: un ensayo sobre la perversión y la corrupción JORGE / Książka Miękka
common.buy 87.77 zł
Zapowiedź
Einfach singen! Christian Larsen / Książka Miękka
common.buy 69.09 zł
Memorias: el peso de la paja TERENCI MOIX / Książka Miękka
common.buy 85.56 zł
Von der Hoffnung auf Liebe und andere Dinge Silke Linke / Książka Miękka
common.buy 46.59 zł
Numerische Berechnung elektromagnetischer Felder Christian Hafner / Książka Miękka
common.buy 220.15 zł
Vih/Sida En Milieux de Travail Au Senegal Ndack Diop / Książka Miękka
common.buy 346.90 zł
Choix de Poesies, 1770-1786. Etrennes Du Parnasse, 1784 Jean Baptiste Milliet / Książka Miękka
common.buy 94.10 zł
Formacion del especialista de medicina general integral Lemus Lago Elia Rosa / Książka Miękka
common.buy 358.35 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Typed Lambda Calculi and Applications
Autor Martin Hofmann
Język Angielski
Oprawa Książka - Miękka
Data wydania 2003
Liczba stron 320
EAN 9783540403326
ISBN 3540403329
Kod Libristo 01562714
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 505
Wymiary 155 x 235 x 19

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

C0-Groups, Commutator Methods and Spectral Theory of N-Body Hamiltonians Werner Amrein / Książka Twarda
common.buy 247.87 zł
Transactions on Petri Nets and Other Models of Concurrency IX Maciej Koutny / Książka Miękka
common.buy 219.15 zł
Digital Health LUPTON / Książka Miękka
common.buy 301.51 zł
Arthur O'Shaughnessy, his Life and his Work Arthur O'Shaughnessy / Książka Miękka
common.buy 64.67 zł
CFTR and Cystic Fibrosis Carlos M. Farinha / Książka Miękka
common.buy 247.87 zł
System Design Optimization for Product Manufacturing Masataka Yoshimura / Książka Twarda
common.buy 436.90 zł
Memories of Emineaden: A Tale of Love, DNA, and Deja Vu Robert W Williams / Książka Miękka
common.buy 55.23 zł
27 Mystical and musing ways to wellness Doris Richardson-Edsell / Książka Miękka
common.buy 45.89 zł
100 Worksheets - Find Successor of 5 Digit Numbers: Math Practice Workbook Kapoo Stem / Książka Miękka
common.buy 39.96 zł
Direct Synthesis of Metal Complexes B.I. Kharisov / Książka Miękka
common.buy 965.40 zł
David Goldblatt: Photographs 1948-2018 RACHEL KENT / Książka Twarda
common.buy 312.96 zł
Life in the Country House in Georgian Ireland Patricia Mccarthy / Książka Miękka
common.buy 149.74 zł
7 Strategies for Improving Your School Williamson / Książka Miękka
common.buy 195.64 zł
Downton Abbey - der Kinofilm Julian Fellowes / Wideo Blu-ray
common.buy 52.02 zł
Iowa Public Adjuster Exam Unofficial Self Practice Exercise Questions: covering Fundamental Claim Adjusting Knowledge Examreview / Książka Miękka
common.buy 173.55 zł
The Buchholzes in Italy: Travelling Adventures of Wilhelmine Buchholz Julius Stinde / Książka Miękka
common.buy 105.15 zł
Machine Learning and AI for Healthcare Arjun Panesar / Książka Miękka
common.buy 175.96 zł
BANLIEUE DE PARIS 2021 (Outskirts of Paris) - Michelin Zoom Map 101 / Prasa Mapa
common.buy 38.56 zł
The Guilty Spouse: A Private Investigator Mystery Series of Crime and Suspense Thomas Fincham / Książka Miękka
common.buy 59.05 zł
TOP
Esio Trot Roald Dahl / Książka Miękka
common.buy 25.80 zł
East Asian Development Dwight H. Perkins / E-book Adobe ePub DRM
common.buy 172.54 zł
For Times Such as These Ariana Katz / E-book Adobe ePub DRM
common.buy 161.60 zł
I'll Be Home for Mischief Jacqueline Frost / E-book Adobe ePub DRM
common.buy 75.02 zł
Ralph Thoresby, the Topographer D H Atkinson / Książka Twarda
common.buy 166.32 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?