Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.
Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.

Typed Lambda Calculi and Applications

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Typed Lambda Calculi and Applications Samson Abramsky
Libristo kod: 01563428
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, travanj 2001
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda C... Cijeli opis
? points 125 b
51.26 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Workflow Management Mit Sap(r) Webflow(r) Markus Brahm / Knjiga Meki uvez
common.buy 60.91 €
Regression, 1 Blu-ray Alejandro Amenábar / Video Blu-ray
common.buy 13.66 €
Młokos Fiodor Dostojewski / Knjiga Tvrdi uvez
common.buy 12.46 €
Kaskaden Eliot Weinberger / Knjiga Meki uvez
common.buy 17.88 €
Familiengründung mit Samenspende Petra Thorn / Knjiga Meki uvez
common.buy 25.12 €
Economie et Statistique/ Economics and Statistics n° 522-523 collegium / Knjiga Meki uvez
common.buy 19.80 €
La cultura a la Universitat de Valencia. Del segle XIX a 1985 Jose Garcelan Munoz / E-knjiga Adobe ePub DRM
common.buy 10.35 €
Top
Všechna moje nej / Kalendar/Rokovnik Rokovnik
common.buy 10.14 €
Der Todesstrahl Daniel Clowes / Knjiga Tvrdi uvez
common.buy 19.39 €
Erstellung eines Webshops unter Verwendung des Content Management Systems Joomla! Karsten Oltrogge / Knjiga Meki uvez
common.buy 24.92 €
Účtovné predpisy 2024 / Knjiga Meki uvez
common.buy 5.12 €
Manuale di fisica dello stato solido Giampiero Amato / Knjiga Meki uvez
common.buy 50.46 €
Maud-Evelyn suivi de La Mort du lion Henry James Knjiga Meki uvez
common.buy 3.71 €
THIRTY FIVE MELODIOUS TECHNICAL EXERCISES SAXOPHONE DOMENICO GATTI Knjiga binding.
common.buy 31.26 €
MODELOS Y HERRAMIENTAS DE DECISION JOAQUIN BAUTISTA VALHONDO / Knjiga Meki uvez
common.buy 47.44 €
Medycyna holistyczna Tom 6 Układ krążenia Sonnenschmidt Rosina / Knjiga Meki uvez
common.buy 8.74 €
EL JARDÍN DE ORIGAMI MARK BOLITHO / Knjiga Tvrdi uvez
common.buy 7.63 €
Bildungsgrundsätze Kinder Ministerium für Familie / Knjiga Meki uvez
common.buy 18.89 €
Zebra źrebię / Igra/Igračka Igračka
common.buy 7.03 €
Anja und das Reitinternat - Auf gut Glück Feli Fritsch / Knjiga Meki uvez
common.buy 11.05 €
La ciudad flotante 1870 Julio Verne / Knjiga Meki uvez
common.buy 17.88 €
Taoteking Laozi / Knjiga Meki uvez
common.buy 10.75 €
It's my turn! Sefi Atta / Knjiga Tvrdi uvez
common.buy 19.29 €
Déficit público José Ortega Cruz / Knjiga Meki uvez
common.buy 69.86 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Typed Lambda Calculi and Applications
Autor Samson Abramsky
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2001
Broj stranica 436
EAN 9783540419600
ISBN 3540419608
Libristo kod 01563428
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 682
Dimenzije 155 x 233 x 25

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

The Reader Bernhard Schlink / Knjiga Meki uvez
common.buy 12.86 €
Single Semiconductor Quantum Dots Peter Michler / Knjiga Tvrdi uvez
common.buy 204.48 €
Just-in-Time Systems Roger Rios / Knjiga Meki uvez
common.buy 153.40 €
Logical Pluralism and Logical Consequence Erik Stei / Knjiga Meki uvez
common.buy 31.05 €
Reference Barbara Abbott / Knjiga Meki uvez
common.buy 80.22 €
The Beauty's Beast E D Walker / Knjiga Meki uvez
common.buy 15.67 €
Religion and the New Technologies Noreen Herzfeld / Knjiga Meki uvez
common.buy 38.39 €
Ascension: The Divine Prerogative Of the Saints Kevin Etta Jr / Knjiga Meki uvez
common.buy 10.55 €
The Church And The Changing Order Shailer Mathews / Knjiga Meki uvez
common.buy 32.36 €
Provence & Languedoc Travel Guide - Attractions, Eating, Drinking, Shopping & Places To Stay Brendan Kavanagh / Knjiga Meki uvez
common.buy 14.67 €
Model Specifications: Concrete Finishing J Paul Guyer / Knjiga Meki uvez
common.buy 16.58 €
Top
Programming in Haskell Graham Hutton / Knjiga Meki uvez
common.buy 49.75 €
Kingdom of Strangers Zoe Ferraris / Knjiga Meki uvez
common.buy 18.59 €
I'm a Happy Hugglewug Niamh Sharkey / Knjiga Tvrdi uvez
common.buy 8.33 €
Latinas/os on the East Coast Yolanda Medina / Knjiga Meki uvez
common.buy 56.79 €
Improve your sight-reading! A piece a week Piano Grade 1 Paul Harris / Tiskanica Note
common.buy 10.14 €
I Believe Curlee Brazell / Knjiga Meki uvez
common.buy 16.28 €
Early Hellenistic Peloponnese Graham Shipley / Knjiga Tvrdi uvez
common.buy 143.45 €
Life and her children Arabella Burton Buckley / Knjiga Meki uvez
common.buy 23.11 €
Arms and the Man Bernard Shaw / Knjiga Meki uvez
common.buy 6.73 €
Interdisciplinary Perspectives on Math Cognition Marcel Danesi / Knjiga Tvrdi uvez
common.buy 112.59 €
Six Short Sons Shifang Zhu / Knjiga Meki uvez
common.buy 9.64 €
Catalogue of Manuscript Music in the British Museum V1: Sacred Vocal Music (1906) Augustus Hughes-Hughes / Knjiga Meki uvez
common.buy 47.44 €
Greek Religion: Volume 46 Bremmer / Knjiga Meki uvez
common.buy 26.73 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?