Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Typed Lambda Calculi and Applications

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

Limba englezăengleză
Carte Carte broșată
Carte Typed Lambda Calculi and Applications Pierre-Louis Curien
Codul Libristo: 01649911
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2009
This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda C... Descrierea completă
? points 140 b
303.36 lei
La editor doar la comandă Expediem în 17-27 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

HISTORIA DE UNA ESCALERA ANTONIO BUERO VALLEJO / Carte Carte broșată
common.buy 70.91 lei
BEATI CHANT KURT BIKKEMBERGS / Materiale tipărite Note muzicale
common.buy 104.13 lei
100 samolepek s omalovánkovými listy Disney Princezny / Carte Carte broșată
common.buy 18.63 lei
Fatti incredibili del Medioevo che non ti hanno mai raccontato Giulia Boccardi / Carte Carte broșată
common.buy 90.39 lei
Recetas Anti Inflamatorias Faciles Pilar Montechiara / Carte Carte broșată
common.buy 100.17 lei
La prisión perpetua en el derecho penal internacional Del-Carpio-Delgado / Carte Carte broșată
common.buy 200.78 lei
Le Néo-impressionnisme Paul Signac / Carte Carte broșată
common.buy 71.74 lei
La doublure - La vue - Impressions d'Afrique - Locus Solus - L'étoile au Front - La poussière de Sol Raymond Roussel / Carte Carte broșată
common.buy 205.15 lei
RICHARD LLOYD: I SAW THREE SHIPS CHANT LLOYD Carte binding.
common.buy 33.42 lei
L'angolo dei tempi remoti Leonardo Fraternale / Carte Carte broșată
common.buy 89.97 lei
Verhinderung von Zwang Tilman Steinert / Carte Carte broșată
common.buy 179.12 lei
Praxishandbuch Kindergarten Franz Petermann / Carte Copertă tare
common.buy 261.49 lei
Cercando rispetto. Drug economy e cultura di strada Philippe Bourgois / Carte Carte broșată
common.buy 121.42 lei
Guía para la aplicación de la Ley de Jurisdicción Voluntaria de la Administración de Justicia / Carte Carte broșată
common.buy 223.58 lei
Histoire de Napoleon II, Roi de Rome De Saint-Felix-J / Carte Carte broșată
common.buy 101.32 lei
Friedensbewegung in Der Bundesrepublik Deutschland Rudiger Schmitt / Carte Carte broșată
common.buy 253.26 lei
Geheimnisse der Seele Leon Hardt / Carte Carte broșată
common.buy 84.76 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Typed Lambda Calculi and Applications
Autor Pierre-Louis Curien
Limba engleză
Legare Carte - Carte broșată
Data publicării 2009
Număr pagini 417
EAN 9783642022722
ISBN 3642022723
Codul Libristo 01649911
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 658
Dimensiuni 155 x 235 x 24

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Forever My Girl HEIDI MCLAUGHLIN / Carte Carte broșată
common.buy 79.76 lei
Towards a Science of States: their Evolution and Properties Erik Moberg / Carte Carte broșată
common.buy 86.95 lei
Oxford English Literary History: Volume 13: 1948-2000: The Internationalization of English Literature Bruce King / Carte Copertă tare
common.buy 1 073.07 lei
Mandalas & More Mega Book: Complete Collection: Volumes 1, 2 & 3 R a Diane / Carte Carte broșată
common.buy 71.74 lei
Christian Orthodox Migrants in Western Europe Hammerli / Carte Carte broșată
common.buy 338.35 lei
Automatic IRAS: Lower-Earning Households Could Realize Increases in Retirement Income United States Government Accountability / Carte Carte broșată
common.buy 81.53 lei
State Dunces [a Satire in Verse]. Inscrib'd to Mr. Pope. [by P. Whitehead.] Alexander Pope / Carte Carte broșată
common.buy 70.70 lei
Seven Success Skills for Apprentices and Skilled Trades Persons James Sidney Harvey / Carte Copertă tare
common.buy 240.97 lei
Top
ALFREDO PAREDES AT HOME PAREDES ALFREDO / Carte Copertă tare
common.buy 231.19 lei
The Mad Dog 100: The Greatest Sports Arguments of All Time Chris Russo / Carte Carte broșată
common.buy 90.91 lei
High Technology, Productivity and Networks Mario Davide Parrilli / Carte Carte broșată
common.buy 601.00 lei
English-Czech phrasebook and 250-word mini dictionary Andrey Taranov / Carte Carte broșată
common.buy 57.06 lei
Yesterwynde Nightwish / Audio Audio plăci vinil
common.buy 165.89 lei
Conundrums in Practical Theology Bonnie Miller-McLemore / Carte Carte broșată
common.buy 565.17 lei
Of Fire and Stars Audrey Coulthurst / Carte Carte broșată
common.buy 50.92 lei
Neuroinformatics Chiquito J. Crasto / Carte Carte broșată
common.buy 660.77 lei
The Navy Electricity and Electronics Training Series: Module 20 Master Glossary United States Navy / Carte Carte broșată
common.buy 56.85 lei
Analysis of James Surowiecki's The Wisdom of Crowds Nikki Springer / Carte Copertă tare
common.buy 155.89 lei
The Gold and the Dross: Althusser for Educators David I. Backer / Carte Copertă tare
common.buy 829.48 lei
Sacramental Theurgy for Witches: Advanced Liturgy Revealed Keith Ward / Carte Carte broșată
common.buy 109.34 lei
Magical Healing Trees in Slavic Folklore Ronesa Aveela / Carte Copertă tare
common.buy 283.67 lei
Very First Questions and Answers: What is mud? Katie Daynes / Carte Cărți pliante
common.buy 48.83 lei
Taking the Cure Sarah R Taggart / Carte Carte broșată
common.buy 50.92 lei
Sikh Diaspora in Vancouver Kamala Elizabeth Nayar / Carte Copertă tare
common.buy 401.67 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?