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ł
Poczta Polska 20.99 zł DPD Kurier 12.99 zł InPost Kurier 12.99 zł Paczkomat 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 118 b
213.35 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

HISTORIA DE UNA ESCALERA ANTONIO BUERO VALLEJO / Książka Miękka
common.buy 58.15 zł
BEATI CHANT KURT BIKKEMBERGS / Prasa Nuty
common.buy 81.48 zł
Ein Lesebuch fur unsere Zeit Carl von Ossietzky / Książka Miękka
common.buy 73.70 zł
Geheimnisse der Seele Leon Hardt / Książka Miękka
common.buy 66.66 zł
Histoire de Napoleon II, Roi de Rome De Saint-Felix-J / Książka Miękka
common.buy 66.33 zł
Den doende radiomannen Broberg / Audiobook MP3
common.buy 28.87 zł
Was ist Bedeutung? Yongjun Cai / Książka Miękka
common.buy 423.68 zł
100 samolepek s omalovánkovými listy Disney Princezny / Książka Miękka
common.buy 15.54 zł
Chine Et l'Europe: Leur Histoire Et Leurs Traditions Comparees Giuseppe Ferrari / Książka Miękka
common.buy 150.14 zł
Fatti incredibili del Medioevo che non ti hanno mai raccontato Giulia Boccardi / Książka Miękka
common.buy 70.27 zł
La prisión perpetua en el derecho penal internacional Del-Carpio-Delgado / Książka Miękka
common.buy 166.40 zł
Recetas Anti Inflamatorias Faciles Pilar Montechiara / Książka Miękka
common.buy 80.57 zł
Grimms Märchen und Sagen Jacob Grimm / Książka Twarda
common.buy 69.56 zł
Le Néo-impressionnisme Paul Signac / Książka Miękka
common.buy 54.92 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.89 zł
RICHARD LLOYD: I SAW THREE SHIPS CHANT LLOYD Książka binding.
common.buy 23.32 zł
L'angolo dei tempi remoti Leonardo Fraternale / Książka Miękka
common.buy 73.20 zł
Verhinderung von Zwang Tilman Steinert / Książka Miękka
common.buy 109.65 zł
Zwei Polemische Gedichte (1754. 1755) Friedrich Wilhelm Zacharia / Książka Miękka
common.buy 175.79 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 185.38 zł
Cercando rispetto. Drug economy e cultura di strada Philippe Bourgois / Książka Miękka
common.buy 94.91 zł
Praxishandbuch Kindergarten Franz Petermann / Książka Twarda
common.buy 194.77 zł
Friedensbewegung in Der Bundesrepublik Deutschland Rudiger Schmitt / Książka Miękka
common.buy 175.59 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ć

Christian Orthodox Migrants in Western Europe Hammerli / Książka Miękka
common.buy 291.10 zł
Mandalas & More Mega Book: Complete Collection: Volumes 1, 2 & 3 R a Diane / Książka Miękka
common.buy 58.15 zł
Oxford English Literary History: Volume 13: 1948-2000: The Internationalization of English Literature Bruce King / Książka Twarda
common.buy 847.48 zł
Forever My Girl HEIDI MCLAUGHLIN / Książka Miękka
common.buy 64.11 zł
Towards a Science of States: their Evolution and Properties Erik Moberg / Książka Miękka
common.buy 70.67 zł
Seven Success Skills for Apprentices and Skilled Trades Persons James Sidney Harvey / Książka Twarda
common.buy 192.03 zł
The Mad Dog 100: The Greatest Sports Arguments of All Time Chris Russo / Książka Miękka
common.buy 73.40 zł
High Technology, Productivity and Networks Mario Davide Parrilli / Książka Miękka
common.buy 519.71 zł
English-Czech phrasebook and 250-word mini dictionary Andrey Taranov / Książka Miękka
common.buy 46.24 zł
Sikh Diaspora in Vancouver Kamala Elizabeth Nayar / Książka Twarda
common.buy 336.24 zł
No Sacred Cows David G. McAfee / Książka Miękka
common.buy 74.41 zł
Of Fire and Stars Audrey Coulthurst / Książka Miękka
common.buy 40.99 zł
Automatic IRAS: Lower-Earning Households Could Realize Increases in Retirement Income United States Government Accountability / Książka Miękka
common.buy 66.53 zł
Analysis of James Surowiecki's The Wisdom of Crowds Nikki Springer / Książka Twarda
common.buy 117.43 zł
The Gold and the Dross: Althusser for Educators David I. Backer / Książka Twarda
common.buy 660.99 zł
Very First Questions and Answers: What is mud? Katie Daynes / Książka Leporelo
common.buy 35.63 zł
Magical Healing Trees in Slavic Folklore Ronesa Aveela / Książka Twarda
common.buy 204.37 zł
Sacramental Theurgy for Witches: Advanced Liturgy Revealed Keith Ward / Książka Miękka
common.buy 93.09 zł
TOP
The Chase Elle Kennedy / Książka Miękka
common.buy 43.91 zł
TOP
ALFREDO PAREDES AT HOME PAREDES ALFREDO / Książka Twarda
common.buy 202.75 zł
Comparing European and U.S. Securities Regulations Michel Noel / Książka Miękka
common.buy 159.53 zł
Neuroinformatics Chiquito J. Crasto / Książka Miękka
common.buy 457.51 zł
Death and Mortality in Contemporary Philosophy Bernard N. SchumacherMichael J. Miller / Książka Twarda
common.buy 434.19 zł
Feminist Views on the English Stage Elaine Aston / Książka Twarda
common.buy 567.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?