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

7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings

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

30 dni na zwrot towaru

Klienci kupili także

Gramática polaca Ilona Narebska / Książka Miękka
common.buy 75.67 zł
Wortschatz schnell erweitern Alexander Bohm / Książka Miękka
common.buy 62.72 zł
Moje pierwsze… Kształty. Psi Patrol Opracowanie zbiorowe / Książka Twarda
common.buy 17.15 zł
UEberleben und Wartung von Implantaten Amit Bhardwaj / Książka Miękka
common.buy 233.85 zł
Ursachen Saisonaler Holzpreisschwankungen Kajetan Zwirglmaier / Książka Miękka
common.buy 336.32 zł
Freiheit Birgit Recki / Książka Miękka
common.buy 48.67 zł
Gyulladasgatlo Receptek 2022 MARIANNA JAKAB / Książka Miękka
common.buy 144.72 zł
Wiedersehen in Howards End Edward M. Forster / Książka Miękka
common.buy 57.50 zł
Aktienbewertung mittels technischer Analyse Henning Kempen / Książka Miękka
common.buy 72.56 zł
Szétzilált ország Szelényi Zsuzsanna / Książka Twarda
common.buy 70.95 zł
La Confrérie des Gardiens de l'Arche d'alliance Della Volta Lea / Książka Miękka
common.buy 107.08 zł
Bekenntnisse eines Ichmenschen tendhal / Książka Miękka
common.buy 117.32 zł
Tanie
Saint-John Perse : la culture en dialogues Rigolot / Książka Miękka
common.buy 10.83 zł
Viewegs Geschichte Der Umweltwissenschaften Peter J. Bowler / Książka Miękka
common.buy 140.50 zł
Psychopharmakologischer Leitfaden für Psychologen und Psychotherapeuten Otto Benkert / Książka Miękka
common.buy 299.79 zł
Examen Physiologique de l'Hydrotherapie, Memoire LUBANSKI-A / Książka Miękka
common.buy 58.00 zł
Nový hrabě Monte Christo Ondřej Neff / Książka Twarda
common.buy 53.79 zł
LET'"'"'S GO 2 SB (CATALAN EDITION) / Książka Miękka
common.buy 138.00 zł
Smutný vítěz Jiří Kárnet / Książka Karta
common.buy 38.03 zł
Ökologische Steuerreform und Europäischer Emissionshandel Oliver Rottmann / Książka Miękka
common.buy 211.77 zł

This book constitutes the refereed proceedings of the 7th International Conference on Typed Lambda Calculi and Applications, TLCA 2005, held in Nara, Japan in April 2005.§The 27 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 61 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts.

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 Pawel Urzyczyn
Język Angielski
Oprawa Książka - Miękka
Data wydania 2005
Liczba stron 436
EAN 9783540255932
ISBN 3540255931
Kod Libristo 01560558
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1390
Wymiary 155 x 235 x 25

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ć

Management of Coking Coal Resources Dilip Kumar / Książka Miękka
common.buy 606.81 zł
TOP
Bolivar Marie Arana / Książka Miękka
common.buy 76.17 zł
90 Days in Ruth, Jeremiah and 1 Corinthians DEVER MARK MCKINLE / Książka Twarda
common.buy 78.78 zł
Der Fantastische Mr. Fox Andrew Weisblum / Wideo Blu-ray
common.buy 54.29 zł
Applied Financial Macroeconomics and Investment Strategy T. McGee / Książka Miękka
common.buy 207.05 zł
Introduction to Chemistry and the Environment Baldwin King / Książka Miękka
common.buy 76.17 zł
A MANUAL OF FIELD AND OFFICE METHODS FOR MILO SMITH KETCHUM / Książka Twarda
common.buy 142.21 zł
Lincoln And The Tools Of War Robert V Bruce / Książka Miękka
common.buy 166.20 zł
Beading and Designing Bracelets Sandra D Halpenny / Książka Miękka
common.buy 139.10 zł
The Aspern Papers Henry James / Książka Miękka
common.buy 54.09 zł
Biggles Flies North W E Johns / Audio CD Audio
common.buy 113.51 zł
Alameda Greta Dutcher / Książka Twarda
common.buy 104.27 zł
Pattern Cutting Second Edition LO DENNIC CHUNMAN / Książka Miękka
common.buy 200.63 zł
Unstoppable Me! Kristina Tracy / Książka Twarda
common.buy 76.57 zł
AI and Machine Learning For Coders Laurence Moroney / Książka Miękka
common.buy 210.06 zł
A Journeyman's Journey - The Story of Jim McEwan Udo Sonntag / Książka Twarda
common.buy 258.54 zł
You've Lost a Lot of Blood Eric LaRocca / Książka Miękka
common.buy 42.04 zł
Civil War in Dublin John Dorney / E-book Adobe ePub DRM
common.buy 53.28 zł
The Bloomsbury Handbook of the Spanish Civil War Alison Ribeiro de Menezes / Książka Miękka
common.buy 229.33 zł
Nowość
Translation and Diaspora Nike K. Pokorn / Książka Twarda
common.buy 886.34 zł
World After Susan Ee / Książka Miękka
common.buy 50.28 zł
Agent-Based Models of Geographical Systems Alison J. Heppenstall / Książka Miękka
common.buy 1 317.22 zł
Hrl Adv of Sher Holmes-Wkbk(5) ZUKOWSKI / Książka Książka
common.buy 152.25 zł
Hedda Gabler Henrik Johan Ibsen / Książka Miękka
common.buy 77.98 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?