Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Typed Lambda Calculi and Applications

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

Język AngielskiAngielski
Książka Miękka
Książka Typed Lambda Calculi and Applications Samson Abramsky
Kod Libristo: 01563428
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, kwiecień 2001
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda C... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Der Todesstrahl Daniel Clowes / Książka Twarda
common.buy 88.11 zł
Młokos Fiodor Dostojewski / Książka Twarda
common.buy 44.45 zł
Familiengründung mit Samenspende Petra Thorn / Książka Miękka
common.buy 193.20 zł
Regression, 1 Blu-ray Alejandro Amenábar / Wideo Blu-ray
common.buy 55.90 zł
Účtovné predpisy 2024 / Książka Miękka
common.buy 22.57 zł
Erstellung eines Webshops unter Verwendung des Content Management Systems Joomla! Karsten Oltrogge / Książka Miękka
common.buy 106.18 zł
Kaskaden Eliot Weinberger / Książka Miękka
common.buy 88.11 zł
THIRTY FIVE MELODIOUS TECHNICAL EXERCISES SAXOPHONE DOMENICO GATTI Książka binding.
common.buy 144.92 zł
MODELOS Y HERRAMIENTAS DE DECISION JOAQUIN BAUTISTA VALHONDO / Książka Miękka
common.buy 202.13 zł
EL JARDÍN DE ORIGAMI MARK BOLITHO / Książka Twarda
common.buy 34.72 zł
Zebra źrebię / Gra/Zabawka Zabawka
common.buy 32.61 zł
Anja und das Reitinternat - Auf gut Glück Feli Fritsch / Książka Miękka
common.buy 50.98 zł
Taoteking Laozi / Książka Miękka
common.buy 41.84 zł
Bildungsgrundsätze Kinder Ministerium für Familie / Książka Miękka
common.buy 80.79 zł
Déficit público José Ortega Cruz / Książka Miękka
common.buy 298.38 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Typed Lambda Calculi and Applications
Autor Samson Abramsky
Język Angielski
Oprawa Książka - Miękka
Data wydania 2001
Liczba stron 436
EAN 9783540419600
ISBN 3540419608
Kod Libristo 01563428
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 682
Wymiary 155 x 233 x 25

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Matematyka i nauki ścisłe > Matematyka > Rachunek różniczkowy i całkowy, analiza matematyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

The Reader Bernhard Schlink / Książka Miękka
common.buy 58.00 zł
Single Semiconductor Quantum Dots Peter Michler / Książka Twarda
common.buy 871.89 zł
Just-in-Time Systems Roger Rios / Książka Miękka
common.buy 654.19 zł
Logical Pluralism and Logical Consequence Erik Stei / Książka Miękka
common.buy 132.48 zł
TOP
Reference Barbara Abbott / Książka Miękka
common.buy 236.36 zł
Early Hellenistic Peloponnese Graham Shipley / Książka Twarda
common.buy 611.73 zł
Domestication of the Human Species Peter J. Wilson / Książka Miękka
common.buy 136.79 zł
FAA Standards for Airport Sign Systems D Federal Aviation Administration (Faa) / Książka Miękka
common.buy 69.04 zł
Improve your sight-reading! A piece a week Piano Grade 1 Paul Harris / Prasa Nuty
common.buy 37.13 zł
I'm a Happy Hugglewug Niamh Sharkey / Książka Twarda
common.buy 28.69 zł
TOP
Programming in Haskell Graham Hutton / Książka Miękka
common.buy 183.06 zł
Life and her children Arabella Burton Buckley / Książka Miękka
common.buy 98.45 zł
Provence & Languedoc Travel Guide - Attractions, Eating, Drinking, Shopping & Places To Stay Brendan Kavanagh / Książka Miękka
common.buy 62.72 zł
The Church And The Changing Order Shailer Mathews / Książka Miękka
common.buy 138.00 zł
Latinas/os on the East Coast Yolanda Medina / Książka Miękka
common.buy 240.67 zł
Arms and the Man Bernard Shaw / Książka Miękka
common.buy 28.59 zł
Interdisciplinary Perspectives on Math Cognition Marcel Danesi / Książka Twarda
common.buy 480.05 zł
Catalogue of Manuscript Music in the British Museum V1: Sacred Vocal Music (1906) Augustus Hughes-Hughes / Książka Miękka
common.buy 202.33 zł
Greek Religion: Volume 46 Bremmer / Książka Miękka
common.buy 108.29 zł
My Little Pony: Meet the Ponies of Maretime Bay Hasbro / Książka Miękka
common.buy 23.28 zł
The Practice of Feeling Good: How to Upgrade Your Thinking and Live a Feel-Good Life Shannon Buritz / Książka Miękka
common.buy 62.92 zł
Who Paid the Pipers of Western Marxism? Gabriel Rockhill / Książka Miękka
common.buy 112.10 zł
Lambda-Calculus and Combinators J Roger Hindley / Książka Twarda
common.buy 405.78 zł
Environmental Geochemistry J. A. C. Fortescue / Książka Miękka
common.buy 436.59 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?