A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Rewriting and Typed Lambda Calculi

Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Rewriting and Typed Lambda Calculi Gilles Dowek
Libristo kód: 02775233
Kiadó Springer International Publishing AG, július 2014
This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriti... Teljes leírás
? points 136 b
19 818 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Αγάπα Μόνο Εμένα Amanda Mariel / E-könyv Adobe ePub DRM
common.buy 1 418 Ft
Microsoft 365 Markus Widl / Könyv Kemény kötésű
common.buy 25 350 Ft
Nasze kochane pieski Opracowanie zbiorowe / Könyv Puha kötésű
common.buy 221 Ft
Sami et Julie CP Niveau 3 : Sami et Julie jardinent Emmanuelle Massonaud Könyv Puha kötésű
common.buy 2 232 Ft
Innovative Wertschoepfung durch neue Formen der globalen Zusammenarbeit Katrin Sturm / Könyv Puha kötésű
common.buy 6 609 Ft
AYANTEK MIRIAM JIMENEZ IRIARTE / Könyv Kemény kötésű
common.buy 8 362 Ft
Novellen Helene Böhlau / Könyv Puha kötésű
common.buy 5 210 Ft
Alternative Investments Michael Sezemsky / Könyv Puha kötésű
common.buy 16 564 Ft
Telearbeit unter besonderer Berucksichtigung ihrer Wirtschaftlichkeit und Qualitat Oliver Wiesehahn / Könyv Puha kötésű
common.buy 13 135 Ft
Having a Fulfilling Life as an International Student in Japan (Japanese Edition) Chinthaka Premachandra / Könyv Puha kötésű
common.buy 5 679 Ft
Kompensatorenlyrik Thomas Michels / Könyv Kemény kötésű
common.buy 5 063 Ft
Vulgarisation en zone SOFITEX : cas des régions de Dédougou et Houndé Aimé Germain Traore / Könyv Puha kötésű
common.buy 13 775 Ft
Kod Adi Mucize Ünver Alibey / Könyv Puha kötésű
common.buy 3 912 Ft
Pozvanie kráľa Milan Bubák / Könyv Puha kötésű
common.buy 2 789 Ft
Hagibor Milena Slavická / Könyv Puha kötésű
common.buy 2 890 Ft

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 28 revised full papers and 3 short papers presented were carefully reviewed and selected from 87 submissions. The papers provide research results on all aspects of rewriting and typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts. They address a wide variety of topics such as algorithmic aspects, implementation, logic, types, semantics, and programming.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Rewriting and Typed Lambda Calculi
Szerző Gilles Dowek
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2014
Oldalszám 491
EAN 9783319089171
ISBN 331908917X
Libristo kód 02775233
Kiadó Springer International Publishing AG
Súly 7723
Méretek 155 x 235 x 26

Kategória

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete > Matematikaelmélet számítástechnikai tudósok számára
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási technikák
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Errors-in-Variables Methods in System Identification Torsten Söderström / Könyv Kemény kötésű
common.buy 67 106 Ft
Kurdistan LUNGTHUIYANG RIAMEI / Könyv Kemény kötésű
common.buy 24 562 Ft
Sea Edward Bond / Könyv Puha kötésű
common.buy 6 683 Ft
Secrets of a Soap Opera Diva Victoria Rowell / Könyv Puha kötésű
common.buy 5 283 Ft
Dyslexia Included Michael Thomson / Könyv Puha kötésű
common.buy 22 169 Ft
Few Words on No. 90 of the Tracts for the Times; In a Letter to One of His Parishioners. John Henry Newman / Könyv Puha kötésű
common.buy 5 500 Ft
Awakening the Actor Within Foster / Könyv Kemény kötésű
common.buy 11 165 Ft
Murder Under the Bridge Kate Jessica Raphael / Könyv Puha kötésű
common.buy 5 270 Ft
How to Make a Motor or Dynamo A. E. Watson / Könyv Puha kötésű
common.buy 7 750 Ft
Guile Constance Cooper / Könyv Puha kötésű
common.buy 5 399 Ft
Salt Skin Michelle Rhodes / Könyv Puha kötésű
common.buy 5 661 Ft
Ecogenetics P. Grandjean / Könyv Puha kötésű
common.buy 59 222 Ft
The Brothers Karamazov Fyodor Mikhailovich Dostoyevsky / Könyv Puha kötésű
common.buy 10 259 Ft
Dance and Dancers in the Victorian and Edwardian Music Hall Ballet CARTER / Könyv Kemény kötésű
common.buy 80 108 Ft
Market Harborough and Inside the Bar George John Whyte-Melville / Könyv Puha kötésű
common.buy 10 346 Ft
Design Technology in Contemporary Architectural Practice Holzer / Könyv Puha kötésű
common.buy 18 244 Ft
Fundamentals of Sleep Medicine Richard B. Berry / Könyv Kemény kötésű
common.buy 46 980 Ft
ADHD 2.0 Edward M. Hallowell / E-könyv Adobe ePub DRM
common.buy 3 691 Ft
Toplistás
Field Guide to the Wild Flowers of the Canary Islands Chris Thorogood / Könyv Puha kötésű
common.buy 15 850 Ft
Practical Handbook of Transportation Contracting and Rate Negotiations Colin Barrett / Könyv Puha kötésű
common.buy 19 818 Ft
Living With Loss Robin Haywood / Könyv Kemény kötésű
common.buy 3 723 Ft
Light of the Night Sky F. E. Roach / Könyv Puha kötésű
common.buy 19 818 Ft
Hannibal: Clouds of War Ben Kane / Könyv Puha kötésű
common.buy 4 059 Ft
Toplistás
Quest of the Historical Jesus Albert Schweitzer / Könyv Puha kötésű
common.buy 7 253 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?