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

9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Typed Lambda Calculi and Applications Pierre-Louis Curien
Kod Libristo: 01649911
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2009
This book constitutes the refereed proceedings of the 9th 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

HISTORIA DE UNA ESCALERA ANTONIO BUERO VALLEJO / Książka Miękka
common.buy 57.30 zł
BEATI CHANT KURT BIKKEMBERGS / Prasa Nuty
common.buy 84.10 zł
Was ist Bedeutung? Yongjun Cai / Książka Miękka
common.buy 434.98 zł
100 samolepek s omalovánkovými listy Disney Princezny / Książka Miękka
common.buy 14.14 zł
Fatti incredibili del Medioevo che non ti hanno mai raccontato Giulia Boccardi / Książka Miękka
common.buy 69.14 zł
Recetas Anti Inflamatorias Faciles Pilar Montechiara / Książka Miękka
common.buy 76.17 zł
La prisión perpetua en el derecho penal internacional Del-Carpio-Delgado / Książka Miękka
common.buy 162.18 zł
Le Néo-impressionnisme Paul Signac / Książka Miękka
common.buy 58.00 zł
La doublure - La vue - Impressions d'Afrique - Locus Solus - L'étoile au Front - La poussière de Sol Raymond Roussel / Książka Miękka
common.buy 165.70 zł
RICHARD LLOYD: I SAW THREE SHIPS CHANT LLOYD Książka binding.
common.buy 26.99 zł
L'angolo dei tempi remoti Leonardo Fraternale / Książka Miękka
common.buy 69.34 zł
Verhinderung von Zwang Tilman Steinert / Książka Miękka
common.buy 112.60 zł
Praxishandbuch Kindergarten Franz Petermann / Książka Twarda
common.buy 200.02 zł
Cercando rispetto. Drug economy e cultura di strada Philippe Bourgois / Książka Miękka
common.buy 93.33 zł
Guía para la aplicación de la Ley de Jurisdicción Voluntaria de la Administración de Justicia / Książka Miękka
common.buy 180.65 zł
Histoire de Napoleon II, Roi de Rome De Saint-Felix-J / Książka Miękka
common.buy 77.98 zł
Friedensbewegung in Der Bundesrepublik Deutschland Rudiger Schmitt / Książka Miękka
common.buy 180.25 zł
Geheimnisse der Seele Leon Hardt / Książka Miękka
common.buy 64.63 zł

This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil in July 2008 in conjunction with RTA 2007, the 19th International Conference on Rewriting Techniques and Applications as part of RDP 2009, the 5th International Conference on Rewriting, Deduction, and Programming.§The 27 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 53 submissions. The papers present original research results that are broadly relevant to the theory and applications of typed calculi and address a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.

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 Pierre-Louis Curien
Język Angielski
Oprawa Książka - Miękka
Data wydania 2009
Liczba stron 417
EAN 9783642022722
ISBN 3642022723
Kod Libristo 01649911
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 658
Wymiary 155 x 235 x 24

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
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ć

Forever My Girl HEIDI MCLAUGHLIN / Książka Miękka
common.buy 60.61 zł
Towards a Science of States: their Evolution and Properties Erik Moberg / Książka Miękka
common.buy 66.73 zł
Oxford English Literary History: Volume 13: 1948-2000: The Internationalization of English Literature Bruce King / Książka Twarda
common.buy 829.13 zł
Mandalas & More Mega Book: Complete Collection: Volumes 1, 2 & 3 R a Diane / Książka Miękka
common.buy 55.19 zł
Christian Orthodox Migrants in Western Europe Hammerli / Książka Miękka
common.buy 261.75 zł
Automatic IRAS: Lower-Earning Households Could Realize Increases in Retirement Income United States Government Accountability / Książka Miękka
common.buy 62.72 zł
State Dunces [a Satire in Verse]. Inscrib'd to Mr. Pope. [by P. Whitehead.] Alexander Pope / Książka Miękka
common.buy 53.59 zł
Seven Success Skills for Apprentices and Skilled Trades Persons James Sidney Harvey / Książka Twarda
common.buy 186.17 zł
TOP
ALFREDO PAREDES AT HOME PAREDES ALFREDO / Książka Twarda
common.buy 191.49 zł
The Mad Dog 100: The Greatest Sports Arguments of All Time Chris Russo / Książka Miękka
common.buy 69.34 zł
High Technology, Productivity and Networks Mario Davide Parrilli / Książka Miękka
common.buy 490.39 zł
English-Czech phrasebook and 250-word mini dictionary Andrey Taranov / Książka Miękka
common.buy 43.75 zł
Yesterwynde Nightwish / Audio Winyl Audio
common.buy 133.98 zł
Conundrums in Practical Theology Bonnie Miller-McLemore / Książka Miękka
common.buy 436.79 zł
Of Fire and Stars Audrey Coulthurst / Książka Miękka
common.buy 38.93 zł
Neuroinformatics Chiquito J. Crasto / Książka Miękka
common.buy 469.71 zł
The Navy Electricity and Electronics Training Series: Module 20 Master Glossary United States Navy / Książka Miękka
common.buy 43.65 zł
Analysis of James Surowiecki's The Wisdom of Crowds Nikki Springer / Książka Twarda
common.buy 120.03 zł
The Gold and the Dross: Althusser for Educators David I. Backer / Książka Twarda
common.buy 641.04 zł
Sacramental Theurgy for Witches: Advanced Liturgy Revealed Keith Ward / Książka Miękka
common.buy 108.09 zł
Magical Healing Trees in Slavic Folklore Ronesa Aveela / Książka Twarda
common.buy 218.49 zł
Very First Questions and Answers: What is mud? Katie Daynes / Książka Leporelo
common.buy 36.93 zł
Taking the Cure Sarah R Taggart / Książka Miękka
common.buy 38.93 zł
Sikh Diaspora in Vancouver Kamala Elizabeth Nayar / Książka Twarda
common.buy 324.78 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?