Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Typed Lambda Calculi and Applications

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Typed Lambda Calculi and Applications Pierre-Louis Curien
Libristo kod: 01649911
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipanj 2009
This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda C... Cijeli opis
? points 125 b
51.59 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

HISTORIA DE UNA ESCALERA ANTONIO BUERO VALLEJO / Knjiga Meki uvez
common.buy 12.81 €
BEATI CHANT KURT BIKKEMBERGS / Tiskanica Note
common.buy 18.97 €
Was ist Bedeutung? Yongjun Cai / Knjiga Meki uvez
common.buy 102.47 €
100 samolepek s omalovánkovými listy Disney Princezny / Knjiga Meki uvez
common.buy 3.32 €
Fatti incredibili del Medioevo che non ti hanno mai raccontato Giulia Boccardi / Knjiga Meki uvez
common.buy 16.25 €
Recetas Anti Inflamatorias Faciles Pilar Montechiara / Knjiga Meki uvez
common.buy 17.96 €
La prisión perpetua en el derecho penal internacional Del-Carpio-Delgado / Knjiga Meki uvez
common.buy 36.54 €
Le Néo-impressionnisme Paul Signac / Knjiga Meki uvez
common.buy 13.12 €
La doublure - La vue - Impressions d'Afrique - Locus Solus - L'étoile au Front - La poussière de Sol Raymond Roussel / Knjiga Meki uvez
common.buy 37.35 €
RICHARD LLOYD: I SAW THREE SHIPS CHANT LLOYD Knjiga binding.
common.buy 6.05 €
L'angolo dei tempi remoti Leonardo Fraternale / Knjiga Meki uvez
common.buy 16.35 €
Verhinderung von Zwang Tilman Steinert / Knjiga Meki uvez
common.buy 26.54 €
Praxishandbuch Kindergarten Franz Petermann / Knjiga Tvrdi uvez
common.buy 47.14 €
Cercando rispetto. Drug economy e cultura di strada Philippe Bourgois / Knjiga Meki uvez
common.buy 22.00 €
Guía para la aplicación de la Ley de Jurisdicción Voluntaria de la Administración de Justicia / Knjiga Meki uvez
common.buy 40.58 €
Histoire de Napoleon II, Roi de Rome De Saint-Felix-J / Knjiga Meki uvez
common.buy 18.37 €
Friedensbewegung in Der Bundesrepublik Deutschland Rudiger Schmitt / Knjiga Meki uvez
common.buy 42.40 €
Geheimnisse der Seele Leon Hardt / Knjiga Meki uvez
common.buy 15.24 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Typed Lambda Calculi and Applications
Autor Pierre-Louis Curien
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2009
Broj stranica 417
EAN 9783642022722
ISBN 3642022723
Libristo kod 01649911
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 658
Dimenzije 155 x 235 x 24

Kategorija

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Mathematics & Science > Mathematics > Mathematical foundations
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer programming / software engineering
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Forever My Girl HEIDI MCLAUGHLIN / Knjiga Meki uvez
common.buy 14.23 €
Towards a Science of States: their Evolution and Properties Erik Moberg / Knjiga Meki uvez
common.buy 15.74 €
Oxford English Literary History: Volume 13: 1948-2000: The Internationalization of English Literature Bruce King / Knjiga Tvrdi uvez
common.buy 195.26 €
Mandalas & More Mega Book: Complete Collection: Volumes 1, 2 & 3 R a Diane / Knjiga Meki uvez
common.buy 13.01 €
Christian Orthodox Migrants in Western Europe Hammerli / Knjiga Meki uvez
common.buy 61.58 €
Automatic IRAS: Lower-Earning Households Could Realize Increases in Retirement Income United States Government Accountability / Knjiga Meki uvez
common.buy 14.73 €
State Dunces [a Satire in Verse]. Inscrib'd to Mr. Pope. [by P. Whitehead.] Alexander Pope / Knjiga Meki uvez
common.buy 12.61 €
Seven Success Skills for Apprentices and Skilled Trades Persons James Sidney Harvey / Knjiga Tvrdi uvez
common.buy 43.81 €
Top
ALFREDO PAREDES AT HOME PAREDES ALFREDO / Knjiga Tvrdi uvez
common.buy 41.08 €
The Mad Dog 100: The Greatest Sports Arguments of All Time Chris Russo / Knjiga Meki uvez
common.buy 16.35 €
High Technology, Productivity and Networks Mario Davide Parrilli / Knjiga Meki uvez
common.buy 109.14 €
English-Czech phrasebook and 250-word mini dictionary Andrey Taranov / Knjiga Meki uvez
common.buy 10.29 €
Yesterwynde Nightwish / Audio Audio vinil
common.buy 29.78 €
Conundrums in Practical Theology Bonnie Miller-McLemore / Knjiga Meki uvez
common.buy 102.88 €
Of Fire and Stars Audrey Coulthurst / Knjiga Meki uvez
common.buy 9.18 €
Neuroinformatics Chiquito J. Crasto / Knjiga Meki uvez
common.buy 110.55 €
The Navy Electricity and Electronics Training Series: Module 20 Master Glossary United States Navy / Knjiga Meki uvez
common.buy 10.29 €
Analysis of James Surowiecki's The Wisdom of Crowds Nikki Springer / Knjiga Tvrdi uvez
common.buy 28.26 €
The Gold and the Dross: Althusser for Educators David I. Backer / Knjiga Tvrdi uvez
common.buy 150.94 €
Sacramental Theurgy for Witches: Advanced Liturgy Revealed Keith Ward / Knjiga Meki uvez
common.buy 19.48 €
Magical Healing Trees in Slavic Folklore Ronesa Aveela / Knjiga Tvrdi uvez
common.buy 51.38 €
Very First Questions and Answers: What is mud? Katie Daynes / Knjiga Leporelo
common.buy 8.67 €
Taking the Cure Sarah R Taggart / Knjiga Meki uvez
common.buy 9.18 €
Sikh Diaspora in Vancouver Kamala Elizabeth Nayar / Knjiga Tvrdi uvez
common.buy 72.79 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?