Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Typed Lambda Calculi and Applications

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

Limba englezăengleză
Carte Carte broșată
Carte Typed Lambda Calculi and Applications Samson Abramsky
Codul Libristo: 01563428
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprilie 2001
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda C... Descrierea completă
? points 132 b
285.28 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Déficit público José Ortega Cruz / Carte Carte broșată
common.buy 390.33 lei
Erstellung eines Webshops unter Verwendung des Content Management Systems Joomla! Karsten Oltrogge / Carte Carte broșată
common.buy 139.05 lei
Účtovné predpisy 2024 / Carte Carte broșată
common.buy 27.97 lei
Regression, 1 Blu-ray Alejandro Amenábar / Videoclip Blu-ray
common.buy 69.05 lei
Młokos Fiodor Dostojewski / Carte Copertă tare
common.buy 65.41 lei
Kaskaden Eliot Weinberger / Carte Carte broșată
common.buy 108.88 lei
Der Todesstrahl Daniel Clowes / Carte Copertă tare
common.buy 108.88 lei
THIRTY FIVE MELODIOUS TECHNICAL EXERCISES SAXOPHONE DOMENICO GATTI Carte binding.
common.buy 179.09 lei
MODELOS Y HERRAMIENTAS DE DECISION JOAQUIN BAUTISTA VALHONDO / Carte Carte broșată
common.buy 263.75 lei
EL JARDÍN DE ORIGAMI MARK BOLITHO / Carte Copertă tare
common.buy 42.84 lei
Zebra źrebię / Joc / Jucărie Jucărie
common.buy 40.24 lei
Familiengründung mit Samenspende Petra Thorn / Carte Carte broșată
common.buy 238.89 lei
Anja und das Reitinternat - Auf gut Glück Feli Fritsch / Carte Carte broșată
common.buy 63.02 lei
Bildungsgrundsätze Kinder Ministerium für Familie / Carte Carte broșată
common.buy 105.45 lei
Taoteking Laozi / Carte Carte broșată
common.buy 62.60 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Typed Lambda Calculi and Applications
Autor Samson Abramsky
Limba engleză
Legare Carte - Carte broșată
Data publicării 2001
Număr pagini 436
EAN 9783540419600
ISBN 3540419608
Codul Libristo 01563428
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 682
Dimensiuni 155 x 233 x 25

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

The Reader Bernhard Schlink / Carte Carte broșată
common.buy 71.65 lei
Single Semiconductor Quantum Dots Peter Michler / Carte Copertă tare
common.buy 1 136.27 lei
Just-in-Time Systems Roger Rios / Carte Carte broșată
common.buy 852.74 lei
Top
Reference Barbara Abbott / Carte Carte broșată
common.buy 306.29 lei
Logical Pluralism and Logical Consequence Erik Stei / Carte Carte broșată
common.buy 171.29 lei
Domestication of the Human Species Peter J. Wilson / Carte Carte broșată
common.buy 177.11 lei
Who Paid the Pipers of Western Marxism? Gabriel Rockhill / Carte Carte broșată
common.buy 146.85 lei
FAA Standards for Airport Sign Systems D Federal Aviation Administration (Faa) / Carte Carte broșată
common.buy 89.64 lei
Improve your sight-reading! A piece a week Piano Grade 1 Paul Harris / Materiale tipărite Note muzicale
common.buy 48.25 lei
Latinas/os on the East Coast Yolanda Medina / Carte Carte broșată
common.buy 314.92 lei
I'm a Happy Hugglewug Niamh Sharkey / Carte Copertă tare
common.buy 35.56 lei
Top
Programming in Haskell Graham Hutton / Carte Carte broșată
common.buy 238.27 lei
Life and her children Arabella Burton Buckley / Carte Carte broșată
common.buy 128.85 lei
Provence & Languedoc Travel Guide - Attractions, Eating, Drinking, Shopping & Places To Stay Brendan Kavanagh / Carte Carte broșată
common.buy 81.43 lei
The Church And The Changing Order Shailer Mathews / Carte Carte broșată
common.buy 178.88 lei
The Beauty's Beast E D Walker / Carte Carte broșată
common.buy 86.84 lei
Early Hellenistic Peloponnese Graham Shipley / Carte Copertă tare
common.buy 791.17 lei
Arms and the Man Bernard Shaw / Carte Carte broșată
common.buy 37.02 lei
Interdisciplinary Perspectives on Math Cognition Marcel Danesi / Carte Copertă tare
common.buy 625.70 lei
Catalogue of Manuscript Music in the British Museum V1: Sacred Vocal Music (1906) Augustus Hughes-Hughes / Carte Carte broșată
common.buy 262.30 lei
Greek Religion: Volume 46 Bremmer / Carte Carte broșată
common.buy 140.81 lei
My Little Pony: Meet the Ponies of Maretime Bay Hasbro / Carte Carte broșată
common.buy 30.57 lei
The Practice of Feeling Good: How to Upgrade Your Thinking and Live a Feel-Good Life Shannon Buritz / Carte Carte broșată
common.buy 81.64 lei
Genetically Engineered Crops Miguel Altieri / Carte Copertă tare
common.buy 973.81 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?