Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Typed Lambda Calculi and Applications

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Typed Lambda Calculi and Applications Pierre-Louis Curien
Libristo-code: 01649911
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juni 2009
This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda C... Volledige beschrijving
? points 125 b
51.68 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

HISTORIA DE UNA ESCALERA ANTONIO BUERO VALLEJO / Boek Gebonden (paperback)
common.buy 13.34 €
BEATI CHANT KURT BIKKEMBERGS / Drukwerk Bladmuziek
common.buy 19.51 €
Was ist Bedeutung? Yongjun Cai / Boek Gebonden (paperback)
common.buy 102.66 €
100 samolepek s omalovánkovými listy Disney Princezny / Boek Gebonden (paperback)
common.buy 3.23 €
Fatti incredibili del Medioevo che non ti hanno mai raccontato Giulia Boccardi / Boek Gebonden (paperback)
common.buy 16.98 €
Recetas Anti Inflamatorias Faciles Pilar Montechiara / Boek Gebonden (paperback)
common.buy 18.00 €
La prisión perpetua en el derecho penal internacional Del-Carpio-Delgado / Boek Gebonden (paperback)
common.buy 38.13 €
Le Néo-impressionnisme Paul Signac / Boek Gebonden (paperback)
common.buy 13.34 €
La doublure - La vue - Impressions d'Afrique - Locus Solus - L'étoile au Front - La poussière de Sol Raymond Roussel / Boek Gebonden (paperback)
common.buy 38.73 €
RICHARD LLOYD: I SAW THREE SHIPS CHANT LLOYD Boek binding.
common.buy 6.06 €
L'angolo dei tempi remoti Leonardo Fraternale / Boek Gebonden (paperback)
common.buy 16.38 €
Verhinderung von Zwang Tilman Steinert / Boek Gebonden (paperback)
common.buy 26.59 €
Praxishandbuch Kindergarten Franz Petermann / Boek Gebonden (harde band)
common.buy 47.13 €
Cercando rispetto. Drug economy e cultura di strada Philippe Bourgois / Boek Gebonden (paperback)
common.buy 22.85 €
Guía para la aplicación de la Ley de Jurisdicción Voluntaria de la Administración de Justicia / Boek Gebonden (paperback)
common.buy 42.48 €
Histoire de Napoleon II, Roi de Rome De Saint-Felix-J / Boek Gebonden (paperback)
common.buy 16.78 €
Friedensbewegung in Der Bundesrepublik Deutschland Rudiger Schmitt / Boek Gebonden (paperback)
common.buy 42.48 €
Geheimnisse der Seele Leon Hardt / Boek Gebonden (paperback)
common.buy 15.26 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Typed Lambda Calculi and Applications
Auteur Pierre-Louis Curien
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2009
Aantal pagina's 417
EAN 9783642022722
ISBN 3642022723
Libristo-code 01649911
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 658
Afmetingen 155 x 235 x 24

Categorieën

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Forever My Girl HEIDI MCLAUGHLIN / Boek Gebonden (paperback)
common.buy 14.25 €
Towards a Science of States: their Evolution and Properties Erik Moberg / Boek Gebonden (paperback)
common.buy 15.77 €
Oxford English Literary History: Volume 13: 1948-2000: The Internationalization of English Literature Bruce King / Boek Gebonden (harde band)
common.buy 212.72 €
Mandalas & More Mega Book: Complete Collection: Volumes 1, 2 & 3 R a Diane / Boek Gebonden (paperback)
common.buy 13.04 €
Christian Orthodox Migrants in Western Europe Hammerli / Boek Gebonden (paperback)
common.buy 64.83 €
Automatic IRAS: Lower-Earning Households Could Realize Increases in Retirement Income United States Government Accountability / Boek Gebonden (paperback)
common.buy 14.76 €
State Dunces [a Satire in Verse]. Inscrib'd to Mr. Pope. [by P. Whitehead.] Alexander Pope / Boek Gebonden (paperback)
common.buy 12.63 €
Seven Success Skills for Apprentices and Skilled Trades Persons James Sidney Harvey / Boek Gebonden (harde band)
common.buy 43.89 €
TOP
ALFREDO PAREDES AT HOME PAREDES ALFREDO / Boek Gebonden (harde band)
common.buy 45.21 €
The Mad Dog 100: The Greatest Sports Arguments of All Time Chris Russo / Boek Gebonden (paperback)
common.buy 16.38 €
High Technology, Productivity and Networks Mario Davide Parrilli / Boek Gebonden (paperback)
common.buy 119.76 €
English-Czech phrasebook and 250-word mini dictionary Andrey Taranov / Boek Gebonden (paperback)
common.buy 10.31 €
Conundrums in Practical Theology Bonnie Miller-McLemore / Boek Gebonden (paperback)
common.buy 104.69 €
TOP
Of Fire and Stars Audrey Coulthurst / Boek Gebonden (paperback)
common.buy 9.20 €
Neuroinformatics Chiquito J. Crasto / Boek Gebonden (paperback)
common.buy 110.76 €
The Navy Electricity and Electronics Training Series: Module 20 Master Glossary United States Navy / Boek Gebonden (paperback)
common.buy 10.31 €
Analysis of James Surowiecki's The Wisdom of Crowds Nikki Springer / Boek Gebonden (harde band)
common.buy 29.63 €
The Gold and the Dross: Althusser for Educators David I. Backer / Boek Gebonden (harde band)
common.buy 154.56 €
Sacramental Theurgy for Witches: Advanced Liturgy Revealed Keith Ward / Boek Gebonden (paperback)
common.buy 22.04 €
Magical Healing Trees in Slavic Folklore Ronesa Aveela / Boek Gebonden (harde band)
common.buy 51.48 €
TOP
Very First Questions and Answers: What is mud? Katie Daynes / Boek Leporello (harmonicaboek)
common.buy 9.30 €
Taking the Cure Sarah R Taggart / Boek Gebonden (paperback)
common.buy 9.20 €
Sikh Diaspora in Vancouver Kamala Elizabeth Nayar / Boek Gebonden (harde band)
common.buy 75.76 €
Death and Mortality in Contemporary Philosophy Bernard N. SchumacherMichael J. Miller / Boek Gebonden (harde band)
common.buy 96.70 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken