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
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

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.78 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Kaskaden Eliot Weinberger / Knjiga Meki uvez
common.buy 18.03 €
Młokos Fiodor Dostojewski / Knjiga Tvrdi uvez
common.buy 12.76 €
Der Todesstrahl Daniel Clowes / Knjiga Tvrdi uvez
common.buy 19.65 €
Regression, 1 Blu-ray Alejandro Amenábar / Video Blu-ray
common.buy 12.66 €
Účtovné predpisy 2024 / Knjiga Meki uvez
common.buy 4.96 €
Zebra źrebię / Igra/Igračka Igračka
common.buy 7.29 €
Erstellung eines Webshops unter Verwendung des Content Management Systems Joomla! Karsten Oltrogge / Knjiga Meki uvez
common.buy 25.12 €
THIRTY FIVE MELODIOUS TECHNICAL EXERCISES SAXOPHONE DOMENICO GATTI Knjiga binding.
common.buy 32.62 €
MODELOS Y HERRAMIENTAS DE DECISION JOAQUIN BAUTISTA VALHONDO / Knjiga Meki uvez
common.buy 47.83 €
Familiengründung mit Samenspende Petra Thorn / Knjiga Meki uvez
common.buy 43.67 €
EL JARDÍN DE ORIGAMI MARK BOLITHO / Knjiga Tvrdi uvez
common.buy 7.29 €
Anja und das Reitinternat - Auf gut Glück Feli Fritsch / Knjiga Meki uvez
common.buy 11.34 €
Bildungsgrundsätze Kinder Ministerium für Familie / Knjiga Meki uvez
common.buy 20.87 €
Taoteking Laozi / Knjiga Meki uvez
common.buy 11.34 €
Déficit público José Ortega Cruz / Knjiga Meki uvez
common.buy 70.53 €

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.25 €
Single Semiconductor Quantum Dots Peter Michler / Knjiga Tvrdi uvez
common.buy 206.13 €
Just-in-Time Systems Roger Rios / Knjiga Meki uvez
common.buy 168.02 €
Logical Pluralism and Logical Consequence Erik Stei / Knjiga Meki uvez
common.buy 31.31 €
Top
Reference Barbara Abbott / Knjiga Meki uvez
common.buy 58.57 €
Early Hellenistic Peloponnese Graham Shipley / Knjiga Tvrdi uvez
common.buy 144.61 €
FAA Standards for Airport Sign Systems D Federal Aviation Administration (Faa) / Knjiga Meki uvez
common.buy 16.31 €
Improve your sight-reading! A piece a week Piano Grade 1 Paul Harris / Tiskanica Note
common.buy 8.81 €
Latinas/os on the East Coast Yolanda Medina / Knjiga Meki uvez
common.buy 60.19 €
Kingdom of Strangers Zoe Ferraris / Knjiga Meki uvez
common.buy 18.74 €
Programming in Haskell Graham Hutton / Knjiga Meki uvez
common.buy 46.81 €
Life and her children Arabella Burton Buckley / Knjiga Meki uvez
common.buy 23.30 €
Provence & Languedoc Travel Guide - Attractions, Eating, Drinking, Shopping & Places To Stay Brendan Kavanagh / Knjiga Meki uvez
common.buy 14.79 €
The Church And The Changing Order Shailer Mathews / Knjiga Meki uvez
common.buy 32.62 €
The Beauty's Beast E D Walker / Knjiga Meki uvez
common.buy 15.80 €
I'm a Happy Hugglewug Niamh Sharkey / Knjiga Tvrdi uvez
common.buy 6.37 €
Arms and the Man Bernard Shaw / Knjiga Meki uvez
common.buy 6.78 €
Interdisciplinary Perspectives on Math Cognition Marcel Danesi / Knjiga Tvrdi uvez
common.buy 113.50 €
Catalogue of Manuscript Music in the British Museum V1: Sacred Vocal Music (1906) Augustus Hughes-Hughes / Knjiga Meki uvez
common.buy 47.83 €
Greek Religion: Volume 46 Bremmer / Knjiga Meki uvez
common.buy 26.95 €
Paper Doll Color, Cut, Play Little Princess: Coloring book for kids - Princess paper dolls Art in Wonderland / Knjiga Meki uvez
common.buy 8.60 €
My Little Pony: Meet the Ponies of Maretime Bay Hasbro / Knjiga Meki uvez
common.buy 5.46 €
The Practice of Feeling Good: How to Upgrade Your Thinking and Live a Feel-Good Life Shannon Buritz / Knjiga Meki uvez
common.buy 14.89 €
The Animals of Farthing Wood Colin Dann / Knjiga Meki uvez
common.buy 8.71 €

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?