phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Typed Lambda Calculi and Applications

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Typed Lambda Calculi and Applications Martin Hofmann
Libristo kód: 01562714
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, máj 2003
This book constitutes the refereed proceedings of the 6th International Conference on Typed Lambda C... Celý popis
? points 154 b
61.28 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Transactions on Petri Nets and Other Models of Concurrency IX Maciej Koutny / Brožovaná
common.buy 61.28 €
System Design Optimization for Product Manufacturing Masataka Yoshimura / Pevná
common.buy 120.75 €
7 Strategies for Improving Your School Williamson / Brožovaná
common.buy 44.57 €
PRIPRAVUJEME
Handbuch Sportverletzungen Christian Plesch / Brožovaná
common.buy 18.21 €
Logos of Phenomenology and Phenomenology of The Logos. Book Four Anna-Teresa Tymieniecka / Brožovaná
common.buy 185.76 €
Biological Materials of Marine Origin Hermann Ehrlich / Brožovaná
common.buy 108.38 €
C0-Groups, Commutator Methods and Spectral Theory of N-Body Hamiltonians Werner Amrein / Pevná
common.buy 61.28 €

This book constitutes the refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003.§The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to the application of proof assistants.

Informácie o knihe

Celý názov Typed Lambda Calculi and Applications
Autor Martin Hofmann
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2003
Počet strán 320
EAN 9783540403326
ISBN 3540403329
Libristo kód 01562714
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 505
Rozmery 155 x 235 x 19

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
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

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet