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.99 € DHL koeriersdienst 5.99 € GLS koerier 5.49 € DPD-punt 4.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Typed Lambda Calculi and Applications

5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

Taal EngelsEngels
Boek Paperback
Boek Typed Lambda Calculi and Applications Samson Abramsky
Libristo-code: 01563428
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, april 2001
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda C... Volledige beschrijving
? points 125 b
51.34 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Workflow Management Mit Sap(r) Webflow(r) Markus Brahm / Boek Paperback
common.buy 60.89 €
Regression, 1 Blu-ray Alejandro Amenábar / Video Blu-ray
common.buy 13.66 €
Młokos Fiodor Dostojewski / Boek Gebonden
common.buy 12.75 €
Kaskaden Eliot Weinberger / Boek Paperback
common.buy 17.88 €
Familiengründung mit Samenspende Petra Thorn / Boek Paperback
common.buy 25.11 €
Economie et Statistique/ Economics and Statistics n° 522-523 collegium / Boek Paperback
common.buy 20.69 €
La cultura a la Universitat de Valencia. Del segle XIX a 1985 Jose Garcelan Munoz / E-book Adobe ePub DRM
common.buy 11.04 €
Všechna moje nej / Kalender/agenda Agenda
common.buy 10.84 €
Der Todesstrahl Daniel Clowes / Boek Gebonden
common.buy 21.50 €
Erstellung eines Webshops unter Verwendung des Content Management Systems Joomla! Karsten Oltrogge / Boek Paperback
common.buy 24.91 €
Účtovné predpisy 2024 / Boek Paperback
common.buy 5.32 €
Manuale di fisica dello stato solido Giampiero Amato / Boek Paperback
common.buy 53.05 €
Maud-Evelyn suivi de La Mort du lion Henry James Boek Paperback
common.buy 3.81 €
THIRTY FIVE MELODIOUS TECHNICAL EXERCISES SAXOPHONE DOMENICO GATTI Boek binding.
common.buy 33.35 €
MODELOS Y HERRAMIENTAS DE DECISION JOAQUIN BAUTISTA VALHONDO / Boek Paperback
common.buy 47.44 €
Medycyna holistyczna Tom 6 Układ krążenia Sonnenschmidt Rosina / Boek Paperback
common.buy 9.03 €
EL JARDÍN DE ORIGAMI MARK BOLITHO / Boek Gebonden
common.buy 7.93 €
Bildungsgrundsätze Kinder Ministerium für Familie / Boek Paperback
common.buy 18.88 €
Zebra źrebię / Spel/speelgoed Speelgoed
common.buy 7.63 €
Anja und das Reitinternat - Auf gut Glück Feli Fritsch / Boek Paperback
common.buy 12.35 €
La ciudad flotante 1870 Julio Verne / Boek Paperback
common.buy 18.38 €
Taoteking Laozi / Boek Paperback
common.buy 11.14 €
It's my turn! Sefi Atta / Boek Gebonden
common.buy 21.39 €
Déficit público José Ortega Cruz / Boek Paperback
common.buy 69.93 €

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.

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 Samson Abramsky
Taal Engels
Bindwijze Boek - Paperback
Datum van uitgifte 2001
Aantal pagina's 436
EAN 9783540419600
ISBN 3540419608
Libristo-code 01563428
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 682
Afmetingen 155 x 233 x 25

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Wiskunde en wetenschap > Wiskunde > Calculus en wiskundige analyse
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
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

The Reader Bernhard Schlink / Boek Paperback
common.buy 13.46 €
Single Semiconductor Quantum Dots Peter Michler / Boek Gebonden
common.buy 204.39 €
Just-in-Time Systems Roger Rios / Boek Paperback
common.buy 153.34 €
Logical Pluralism and Logical Consequence Erik Stei / Boek Paperback
common.buy 31.85 €
Reference Barbara Abbott / Boek Paperback
common.buy 82.39 €
The Beauty's Beast E D Walker / Boek Paperback
common.buy 15.97 €
Religion and the New Technologies Noreen Herzfeld / Boek Paperback
common.buy 39.38 €
Ascension: The Divine Prerogative Of the Saints Kevin Etta Jr / Boek Paperback
common.buy 10.74 €
The Church And The Changing Order Shailer Mathews / Boek Paperback
common.buy 33.25 €
Provence & Languedoc Travel Guide - Attractions, Eating, Drinking, Shopping & Places To Stay Brendan Kavanagh / Boek Paperback
common.buy 15.06 €
Model Specifications: Concrete Finishing J Paul Guyer / Boek Paperback
common.buy 16.97 €
Programming in Haskell Graham Hutton / Boek Paperback
common.buy 47.32 €
Kingdom of Strangers Zoe Ferraris / Boek Paperback
common.buy 19.08 €
I'm a Happy Hugglewug Niamh Sharkey / Boek Gebonden
common.buy 8.33 €
Latinas/os on the East Coast Yolanda Medina / Boek Paperback
common.buy 60.89 €
Improve your sight-reading! A piece a week Piano Grade 1 Paul Harris / Drukwerk Bladmuziek
common.buy 10.14 €
I Believe Curlee Brazell / Boek Paperback
common.buy 17.38 €
Early Hellenistic Peloponnese Graham Shipley / Boek Gebonden
common.buy 147.31 €
Life and her children Arabella Burton Buckley / Boek Paperback
common.buy 23.10 €
Arms and the Man Bernard Shaw / Boek Paperback
common.buy 6.82 €
Interdisciplinary Perspectives on Math Cognition Marcel Danesi / Boek Gebonden
common.buy 112.54 €
Six Short Sons Shifang Zhu / Boek Paperback
common.buy 9.64 €
Catalogue of Manuscript Music in the British Museum V1: Sacred Vocal Music (1906) Augustus Hughes-Hughes / Boek Paperback
common.buy 48.73 €
Greek Religion: Volume 46 Bremmer / Boek Paperback
common.buy 28.13 €

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?