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 Kurier 12.99 zł Punkt DPD 11.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
222.46 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Les Simpson - Edition collector - Tome 25 Supernova Matt Groening / Książka Twarda
common.buy 77.78 zł
bar sotto il mare Stefano Benni / Książka Miękka
common.buy 56.58 zł
LA PIERRE D'ABEILLE Dominique / Książka Miękka
common.buy 97.87 zł
Psicopatología del poder: un ensayo sobre la perversión y la corrupción JORGE / Książka Miękka
common.buy 88.80 zł
Towarzystwo Warszawskie Przyjaciol Nauk, 1800-1832 Alexander Kraushar / Książka Miękka
common.buy 119.89 zł
El infinito en un junco VALLEJO / Książka Miękka
common.buy 60.14 zł
El tesoro del ahorcado RIERA CATALA / Książka Miękka
common.buy 113.57 zł
L'instruction des enfants pauvres en ville Dessauw / Książka Miękka
common.buy 147.52 zł
TU HUELLA SERA MI RUMBO WILMS MONTT / Książka Miękka
common.buy 64.22 zł
Guide des collections du musée de Draguignan Yohan Rimaud / Książka Miękka
common.buy 68.20 zł
Zapowiedź
Handbuch Sportverletzungen Christian Plesch / Książka Miękka
common.buy 72.99 zł
case magiche Agnese Baruzzi / Książka Leporelo
common.buy 92.16 zł
Logico Piccolo Llengua. Fitxer 4. Llengua. Fitxes Finken Verlag / Artykuły papiernicze Artykuły papiernicze
common.buy 104.09 zł
LES ACCORDS AU PIANO (BOOK/CD) PIANO+CD BERCOVITZ Książka binding.
common.buy 222.26 zł
Natation scolaire : surveillance, encadrement et conditions matérielles TOUCHARD / Książka Miękka
common.buy 202.38 zł
Einfach singen! Christian Larsen / Książka Miękka
common.buy 69.93 zł
Memorias: el peso de la paja TERENCI MOIX / Książka Miękka
common.buy 86.45 zł
Von der Hoffnung auf Liebe und andere Dinge Silke Linke / Książka Miękka
common.buy 47.20 zł
Formacion del especialista de medicina general integral Lemus Lago Elia Rosa / Książka Miękka
common.buy 363.57 zł
Garratt-Lokomotiven Der Welt URRANT / Książka Miękka
common.buy 147.01 zł
Choix de Poesies, 1770-1786. Etrennes Du Parnasse, 1784 Jean Baptiste Milliet / Książka Miękka
common.buy 95.52 zł
Numerische Berechnung elektromagnetischer Felder Christian Hafner / Książka Miękka
common.buy 223.48 zł
Vih/Sida En Milieux de Travail Au Senegal Ndack Diop / Książka Miękka
common.buy 352.15 zł
Édito C1 Elodie Heu / Książka Miękka
common.buy 155.17 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 251.32 zł
Transactions on Petri Nets and Other Models of Concurrency IX Maciej Koutny / Książka Miękka
common.buy 222.46 zł
Cinderella Magic Painting Book NOT KNOWN / Książka Miękka
common.buy 36.08 zł
David Goldblatt: Photographs 1948-2018 RACHEL KENT / Książka Twarda
common.buy 316.77 zł
TOP
Ethereal Visions: An Illuminated Tarot Deck Matt Hughes / Prasa Karty
common.buy 85.94 zł
Sentientist Politics Alasdair Cochrane / Książka Twarda
common.buy 543.53 zł
Direct Synthesis of Metal Complexes B.I. Kharisov / Książka Miękka
common.buy 980.01 zł
100 Worksheets - Find Successor of 5 Digit Numbers: Math Practice Workbook Kapoo Stem / Książka Miękka
common.buy 40.57 zł
27 Mystical and musing ways to wellness Doris Richardson-Edsell / Książka Miękka
common.buy 46.58 zł
Memories of Emineaden: A Tale of Love, DNA, and Deja Vu Robert W Williams / Książka Miękka
common.buy 56.07 zł
Notes for Flutists Kyle J. Dzapo / Książka Miękka
common.buy 252.54 zł
CFTR and Cystic Fibrosis Carlos M. Farinha / Książka Miękka
common.buy 251.32 zł
Arthur O'Shaughnessy, his Life and his Work Arthur O'Shaughnessy / Książka Miękka
common.buy 65.65 zł
Digital Health LUPTON / Książka Miękka
common.buy 306.07 zł
Life in the Country House in Georgian Ireland Patricia Mccarthy / Książka Miękka
common.buy 116.73 zł
7 Strategies for Improving Your School Williamson / Książka Miękka
common.buy 198.60 zł
Downton Abbey - der Kinofilm Julian Fellowes / Wideo Blu-ray
common.buy 52.80 zł
Iowa Public Adjuster Exam Unofficial Self Practice Exercise Questions: covering Fundamental Claim Adjusting Knowledge Examreview / Książka Miękka
common.buy 176.17 zł
The Buchholzes in Italy: Travelling Adventures of Wilhelmine Buchholz Julius Stinde / Książka Miękka
common.buy 106.74 zł
Machine Learning and AI for Healthcare Arjun Panesar / Książka Miękka
common.buy 178.62 zł
BANLIEUE DE PARIS 2021 (Outskirts of Paris) - Michelin Zoom Map 101 / Prasa Mapa
common.buy 39.14 zł
The Guilty Spouse: A Private Investigator Mystery Series of Crime and Suspense Thomas Fincham / Książka Miękka
common.buy 59.94 zł
Esio Trot Roald Dahl / Książka Miękka
common.buy 26.19 zł
East Asian Development Dwight H. Perkins / E-book Adobe ePub DRM
common.buy 177.29 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?