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
224.29 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 74.16 zł
Dónde se ha escondido el mar? Alexander Stuart / Książka Miękka
common.buy 48.46 zł
Zapowiedź
Handbuch Sportverletzungen Christian Plesch / Książka Miękka
common.buy 73.66 zł
Guide des collections du musée de Draguignan Yohan Rimaud / Książka Miękka
common.buy 64.42 zł
TU HUELLA SERA MI RUMBO WILMS MONTT / Książka Miękka
common.buy 64.42 zł
L'instruction des enfants pauvres en ville Dessauw / Książka Miękka
common.buy 144.71 zł
case magiche Agnese Baruzzi / Książka Leporelo
common.buy 93.00 zł
El tesoro del ahorcado RIERA CATALA / Książka Miękka
common.buy 114.00 zł
Towarzystwo Warszawskie Przyjaciol Nauk, 1800-1832 Alexander Kraushar / Książka Miękka
common.buy 121.02 zł
TOP
El infinito en un junco VALLEJO / Książka Miękka
common.buy 60.51 zł
10th Muse Tome 1 Wolfman / Książka Miękka
common.buy 64.42 zł
Psicopatología del poder: un ensayo sobre la perversión y la corrupción JORGE / Książka Miękka
common.buy 89.11 zł
TOP
Einfach singen! Christian Larsen / Książka Miękka
common.buy 70.54 zł
bar sotto il mare Stefano Benni / Książka Miękka
common.buy 56.89 zł
Logico Piccolo Llengua. Fitxer 4. Llengua. Fitxes Finken Verlag / Artykuły papiernicze Artykuły papiernicze
common.buy 104.66 zł
METODO GESTUAL LECTURA 3 AD FALOMIR / Książka Książka
common.buy 61.21 zł
LES ACCORDS AU PIANO (BOOK/CD) PIANO+CD BERCOVITZ Książka binding.
common.buy 219.98 zł
Natation scolaire : surveillance, encadrement et conditions matérielles TOUCHARD / Książka Miękka
common.buy 199.90 zł
LA PIERRE D'ABEILLE Dominique / Książka Miękka
common.buy 94.63 zł
Memorias: el peso de la paja TERENCI MOIX / Książka Miękka
common.buy 86.90 zł
Die mitgliedstaatliche Finanzierung von Aufgaben der Daseinsvorsorge und das Beihilfeverbot des EG-Vertrages Stefan Bauer / Książka Miękka
common.buy 275.48 zł
Von der Hoffnung auf Liebe und andere Dinge Silke Linke / Książka Miękka
common.buy 46.66 zł
Formacion del especialista de medicina general integral Lemus Lago Elia Rosa / Książka Miękka
common.buy 366.70 zł
Garratt-Lokomotiven Der Welt URRANT / Książka Miękka
common.buy 148.32 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 254.70 zł
Transactions on Petri Nets and Other Models of Concurrency IX Maciej Koutny / Książka Miękka
common.buy 224.29 zł
27 Mystical and musing ways to wellness Doris Richardson-Edsell / Książka Miękka
common.buy 47.01 zł
David Goldblatt: Photographs 1948-2018 RACHEL KENT / Książka Twarda
common.buy 315.32 zł
TOP
Ethereal Visions: An Illuminated Tarot Deck Matt Hughes / Prasa Karty
common.buy 93.72 zł
Sentientist Politics Alasdair Cochrane / Książka Twarda
common.buy 548.45 zł
Direct Synthesis of Metal Complexes B.I. Kharisov / Książka Miękka
common.buy 989.03 zł
100 Worksheets - Find Successor of 5 Digit Numbers: Math Practice Workbook Kapoo Stem / Książka Miękka
common.buy 40.94 zł
Cinderella Magic Painting Book NOT KNOWN / Książka Miękka
common.buy 33.21 zł
Notes for Flutists Kyle J. Dzapo / Książka Miękka
common.buy 260.92 zł
CFTR and Cystic Fibrosis Carlos M. Farinha / Książka Miękka
common.buy 254.70 zł
Arthur O'Shaughnessy, his Life and his Work Arthur O'Shaughnessy / Książka Miękka
common.buy 66.23 zł
Digital Health LUPTON / Książka Miękka
common.buy 322.14 zł
Biological Materials of Marine Origin Hermann Ehrlich / Książka Miękka
common.buy 447.39 zł
Machine Learning and AI for Healthcare Arjun Panesar / Książka Miękka
common.buy 185.15 zł
Slide-rule Notes, With Diagrams Hc Dunlop / Książka Miękka
common.buy 79.94 zł
I'll Be Home for Mischief Jacqueline Frost / E-book Adobe ePub DRM
common.buy 4.83 zł
For Times Such as These Ariana Katz / E-book Adobe ePub DRM
common.buy 166.88 zł
The Chronicle ... Concerning the Conquest of Constantinople, by the French and Venetians, Anno M.Cciv. Tr. by T. Smith Geoffroy De Villehardouin / Książka Miękka
common.buy 100.35 zł
East Asian Development Dwight H. Perkins / E-book Adobe ePub DRM
common.buy 177.99 zł
TOP
Esio Trot Roald Dahl / Książka Miękka
common.buy 26.38 zł
The Guilty Spouse: A Private Investigator Mystery Series of Crime and Suspense Thomas Fincham / Książka Miękka
common.buy 60.51 zł
BANLIEUE DE PARIS 2021 (Outskirts of Paris) - Michelin Zoom Map 101 / Prasa Mapa
common.buy 37.12 zł
Memories of Emineaden: A Tale of Love, DNA, and Deja Vu Robert W Williams / Książka Miękka
common.buy 56.58 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?