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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Typed Lambda Calculi and Applications

11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Typed Lambda Calculi and Applications Masahito Hasegawa
Libristo-code: 01663877
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mei 2013
This book constitutes the refereed proceedings of the 11th International Conference on Typed Lambda... Volledige beschrijving
? points 115 b
47.47 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Melanges d'Archeologie, d'Histoire Et de Litterature, Collection de Memoires Sur l'Orfevrerie Tome1 CAHIER-C / Boek Gebonden (paperback)
common.buy 28.17 €
Jo, aquí, només sóc el gos Jutta Richter / Boek Gebonden (paperback)
common.buy 10.39 €
Mon Compte Avec MR Larat-Minot, Receveur Particulier Des Finances de l'Arrondissement de Melle Jottreau-E / Boek Gebonden (paperback)
common.buy 13.12 €
La guérison des maladies de l'âme NE Alphonse Goettmann / Boek Gebonden (paperback)
common.buy 35.34 €
GASTOLDI BALLETTI A CINQUE VOCI 20EME CONCERTO PASTORI LP10 BASS PART GASTOLDI Boek binding.
common.buy 12.31 €
ESPAñA DEL ANTIGUO RéGIMEN DESDEVISES DU DEZERT / Boek Gebonden (paperback)
common.buy 35.04 €
L'essentiel d'AutoCAD : Dévoiler les concepts de base Rishabh Arora / Boek Gebonden (paperback)
common.buy 39.18 €

This book constitutes the refereed proceedings of the 11th International Conference on Typed Lambda Calculi and Applications, TLCA 2013, held in Eindhoven, The Netherlands, in June 2013 as part of RDP 2013, the 7th Federated Conference on Rewriting, Deduction, and Programming, together with the 24th International Conference on Rewriting Techniques and Applications, RTA 2013, and several related events. §The 15 revised full papers presented were carefully reviewed and selected from 41 submissions. The papers provide prevailing research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts addressing 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 Masahito Hasegawa
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2013
Aantal pagina's 251
EAN 9783642389450
ISBN 3642389457
Libristo-code 01663877
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 409
Afmetingen 155 x 235 x 17

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

Homegoing Yaa Gyasi / Boek Gebonden (harde band)
common.buy 22.82 €
ADHD Stephen Clark / Boek Gebonden (paperback)
common.buy 15.75 €
Music and How it Works DK / Boek Gebonden (harde band)
common.buy 15.95 €
Friendship's Crown Of Verse: Being Memorials Of Edward Eggleston (1907) Obadiah Cyrus Auringer / Boek Gebonden (paperback)
common.buy 19.28 €
TOP
Atomic Habits James Clear / Boek Gebonden (paperback)
common.buy 18.07 €
When the Haboob Sings NEJOUD AL-YAGOUT / Boek Gebonden (harde band)
common.buy 23.42 €
Animal Tales Naomi Adler / Boek Gebonden (paperback)
common.buy 13.53 €
Hand Over The Chocolate & No One Gets Hurt!: A Chocolate-Lover's Cookbook Gloria Hander Lyons / Boek Gebonden (paperback)
common.buy 7.57 €
Theory of Legitimate Expectations for Public Administration Brown / Boek Gebonden (harde band)
common.buy 136.86 €
One David Chickey / Boek Gebonden (paperback)
common.buy 21.61 €
FOUNDERS PORTRAITS OF PERSONS Charles Knowles 1867-1950 Bolton / Boek Gebonden (paperback)
common.buy 25.04 €
Poetical Works of Robert Lloyd, A. M. Lloyd / Boek Gebonden (harde band)
common.buy 33.53 €
Hemoperfusion, Plasmaperfusion And Other Clinical Uses Of General, Biospecific, Immuno And Leucocyte Adsorbents Thomas Ming Swi Chang / Boek Gebonden (harde band)
common.buy 411.91 €
Oakland on Quality Management John S. Oakland / Boek Gebonden (harde band)
common.buy 147.67 €
Music and Gender in English Renaissance Drama Katrine K. Wong / Boek Gebonden (harde band)
common.buy 244.03 €
TOP
Shogun James Clavell / Boek Gebonden (paperback)
common.buy 13.93 €
TOP
The Charisma Myth Olivia Fox Cabane / Boek Gebonden (paperback)
common.buy 10.39 €

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
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?