Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Typed Lambda Calculi and Applications

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Typed Lambda Calculi and Applications Samson Abramsky
Koda Libristo: 01563428
Založba 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... Celoten opis
? points 118 b
48.57 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Workflow Management Mit Sap(r) Webflow(r) Markus Brahm / Knjiga Mehka
common.buy 57.62 €
Regression, 1 Blu-ray Alejandro Amenábar / Film Blu-ray
common.buy 12.96 €
Młokos Fiodor Dostojewski / Knjiga Trda
common.buy 11.46 €
Kaskaden Eliot Weinberger / Knjiga Mehka
common.buy 16.89 €
Familiengründung mit Samenspende Petra Thorn / Knjiga Mehka
common.buy 42.53 €
Economie et Statistique/ Economics and Statistics n° 522-523 collegium / Knjiga Mehka
common.buy 18.90 €
La cultura a la Universitat de Valencia. Del segle XIX a 1985 Jose Garcelan Munoz / E-knjiga Adobe ePub DRM
common.buy 9.85 €
Všechna moje nej / Koledar/Rokovnik Rokovnik
common.buy 9.54 €
Der Todesstrahl Daniel Clowes / Knjiga Trda
common.buy 18.29 €
Erstellung eines Webshops unter Verwendung des Content Management Systems Joomla! Karsten Oltrogge / Knjiga Mehka
common.buy 23.42 €
Účtovné predpisy 2024 / Knjiga Mehka
common.buy 5.12 €
Manuale di fisica dello stato solido Giampiero Amato / Knjiga Mehka
common.buy 47.86 €
Maud-Evelyn suivi de La Mort du lion Henry James Knjiga Mehka
common.buy 3.81 €
THIRTY FIVE MELODIOUS TECHNICAL EXERCISES SAXOPHONE DOMENICO GATTI Knjiga binding.
common.buy 29.96 €
MODELOS Y HERRAMIENTAS DE DECISION JOAQUIN BAUTISTA VALHONDO / Knjiga Mehka
common.buy 44.76 €
Medycyna holistyczna Tom 6 Układ krążenia Sonnenschmidt Rosina / Knjiga Mehka
common.buy 8.04 €
EL JARDÍN DE ORIGAMI MARK BOLITHO / Knjiga Trda
common.buy 7.23 €
Bildungsgrundsätze Kinder Ministerium für Familie / Knjiga Mehka
common.buy 17.89 €
Zebra źrebię / Igra/Igrača Igrača
common.buy 7.03 €
Anja und das Reitinternat - Auf gut Glück Feli Fritsch / Knjiga Mehka
common.buy 10.45 €
La ciudad flotante 1870 Julio Verne / Knjiga Mehka
common.buy 16.99 €
Taoteking Laozi / Knjiga Mehka
common.buy 9.85 €
It's my turn! Sefi Atta / Knjiga Trda
common.buy 18.19 €
Déficit público José Ortega Cruz / Knjiga Mehka
common.buy 65.87 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Typed Lambda Calculi and Applications
Avtor Samson Abramsky
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2001
Število strani 436
EAN 9783540419600
ISBN 3540419608
Koda Libristo 01563428
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 682
Mere 155 x 233 x 25

Kategorije

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Calculus & mathematical analysis
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

The Reader Bernhard Schlink / Knjiga Mehka
common.buy 12.16 €
Single Semiconductor Quantum Dots Peter Michler / Knjiga Trda
common.buy 193.40 €
Just-in-Time Systems Roger Rios / Knjiga Mehka
common.buy 145.12 €
Logical Pluralism and Logical Consequence Erik Stei / Knjiga Mehka
common.buy 29.66 €
Reference Barbara Abbott / Knjiga Mehka
common.buy 76.83 €
The Beauty's Beast E D Walker / Knjiga Mehka
common.buy 14.88 €
Religion and the New Technologies Noreen Herzfeld / Knjiga Mehka
common.buy 36.30 €
Ascension: The Divine Prerogative Of the Saints Kevin Etta Jr / Knjiga Mehka
common.buy 9.95 €
The Church And The Changing Order Shailer Mathews / Knjiga Mehka
common.buy 30.78 €
Provence & Languedoc Travel Guide - Attractions, Eating, Drinking, Shopping & Places To Stay Brendan Kavanagh / Knjiga Mehka
common.buy 13.98 €
Model Specifications: Concrete Finishing J Paul Guyer / Knjiga Mehka
common.buy 15.69 €
Programming in Haskell Graham Hutton / Knjiga Mehka
common.buy 50.38 €
Kingdom of Strangers Zoe Ferraris / Knjiga Mehka
common.buy 17.60 €
I'm a Happy Hugglewug Niamh Sharkey / Knjiga Trda
common.buy 8.04 €
Latinas/os on the East Coast Yolanda Medina / Knjiga Mehka
common.buy 57.82 €
Improve your sight-reading! A piece a week Piano Grade 1 Paul Harris / Tiskani izdelki Note
common.buy 9.65 €
I Believe Curlee Brazell / Knjiga Mehka
common.buy 16.48 €
Early Hellenistic Peloponnese Graham Shipley / Knjiga Trda
common.buy 136.87 €
Life and her children Arabella Burton Buckley / Knjiga Mehka
common.buy 21.71 €
Arms and the Man Bernard Shaw / Knjiga Mehka
common.buy 6.63 €
Interdisciplinary Perspectives on Math Cognition Marcel Danesi / Knjiga Trda
common.buy 106.50 €
Six Short Sons Shifang Zhu / Knjiga Mehka
common.buy 9.05 €
Catalogue of Manuscript Music in the British Museum V1: Sacred Vocal Music (1906) Augustus Hughes-Hughes / Knjiga Mehka
common.buy 45.17 €
Greek Religion: Volume 46 Bremmer / Knjiga Mehka
common.buy 27.04 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?