Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

phone

Kontakt

phone

Pomoc

Môj účet

▸ Prázdny :-(

0

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Kniha Typed Lambda Calculi and Applications Samson Abramsky

Typed Lambda Calculi and Applications

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

Samson Abramsky

Jazyk

Angličtina

Kniha Brožovaná

Kniha Typed Lambda Calculi and Applications Samson Abramsky

Libristo kód: 01563428

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, apríl 2001

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda C... Celý popis

Libristo kód: 01563428

?

points

125 b

51.59 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Der Todesstrahl Daniel Clowes

/

Pevná

20.79 €

Młokos Fiodor Dostojewski

/

Pevná

12.41 €

Familiengründung mit Samenspende Petra Thorn

/

Brožovaná

43.61 €

Regression, 1 Blu-ray Alejandro Amenábar

/

Blu-ray

13.12 €

Účtovné predpisy 2024

/

Brožovaná

4.74 €

Erstellung eines Webshops unter Verwendung des Content Management Systems Joomla! Karsten Oltrogge

/

Brožovaná

25.03 €

Kaskaden Eliot Weinberger

/

Brožovaná

20.79 €

THIRTY FIVE MELODIOUS TECHNICAL EXERCISES SAXOPHONE DOMENICO GATTI Kniha

binding.

34.12 €

MODELOS Y HERRAMIENTAS DE DECISION JOAQUIN BAUTISTA VALHONDO

/

Brožovaná

47.65 €

EL JARDÍN DE ORIGAMI MARK BOLITHO

/

Pevná

8.17 €

Zebra źrebię

/

Hračka

7.66 €

Anja und das Reitinternat - Auf gut Glück Feli Fritsch

/

Brožovaná

12.01 €

Taoteking Laozi

/

Brožovaná

11.90 €

Bildungsgrundsätze Kinder Ministerium für Familie

/

Brožovaná

18.97 €

Déficit público José Ortega Cruz

/

Brožovaná

70.26 €

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.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

Ewa Kasp

Ewa Kasp

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Typed Lambda Calculi and Applications

Autor Samson Abramsky

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2001

Počet strán 436

EAN 9783540419600

ISBN 3540419608

Libristo kód 01563428

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 682

Rozmery 155 x 233 x 25

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika

Matematika a veda > Matematika > Diferenciálny a integrálny počet a matematická analýza

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Prekladače a interpretre

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne

Výpočtové a informačné technológie > Informatika > Teória algoritmov

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn

Darujte túto knihu ešte dnes

Je to jednoduché

1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

The Reader Bernhard Schlink

/

Brožovaná

13.62 €

Single Semiconductor Quantum Dots Peter Michler

/

Pevná

205.36 €

Just-in-Time Systems Roger Rios

/

Brožovaná

154.07 €

Logical Pluralism and Logical Consequence Erik Stei

/

Brožovaná

29.78 €

Reference Barbara Abbott

/

Brožovaná

58.35 €

Early Hellenistic Peloponnese Graham Shipley

/

Pevná

137.41 €

Domestication of the Human Species Peter J. Wilson

/

Brožovaná

33.71 €

FAA Standards for Airport Sign Systems D Federal Aviation Administration (Faa)

/

Brožovaná

15.44 €

Improve your sight-reading! A piece a week Piano Grade 1 Paul Harris

/

Noty

8.77 €

I'm a Happy Hugglewug Niamh Sharkey

/

Pevná

6.35 €

Programming in Haskell Graham Hutton

/

Brožovaná

43.10 €

Life and her children Arabella Burton Buckley

/

Brožovaná

23.21 €

Provence & Languedoc Travel Guide - Attractions, Eating, Drinking, Shopping & Places To Stay Brendan Kavanagh

/

Brožovaná

14.02 €

The Church And The Changing Order Shailer Mathews

/

Brožovaná

30.89 €

Latinas/os on the East Coast Yolanda Medina

/

Brožovaná

59.97 €

Arms and the Man Bernard Shaw

/

Brožovaná

6.35 €

Interdisciplinary Perspectives on Math Cognition Marcel Danesi

/

Pevná

113.08 €

Catalogue of Manuscript Music in the British Museum V1: Sacred Vocal Music (1906) Augustus Hughes-Hughes

/

Brožovaná

45.33 €

Greek Religion: Volume 46 Bremmer

/

Brožovaná

26.85 €

My Little Pony: Meet the Ponies of Maretime Bay Hasbro

/

Brožovaná

5.14 €

The Practice of Feeling Good: How to Upgrade Your Thinking and Live a Feel-Good Life Shannon Buritz

/

Brožovaná

14.02 €

Who Paid the Pipers of Western Marxism? Gabriel Rockhill

/

Brožovaná

26.34 €

Lambda-Calculus and Combinators J Roger Hindley

/

Pevná

91.06 €

Environmental Geochemistry J. A. C. Fortescue

/

Brožovaná

102.78 €

Knižný radca Libroamiko

Ahoj, som Libroamiko, môžem pomôcť?