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ł.

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

Język AngielskiAngielski
Książka Miękka
Książka Rewriting and Typed Lambda Calculi Gilles Dowek
Kod Libristo: 02775233
Wydawnictwo Springer International Publishing AG, lipiec 2014
This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriti... 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

Αγάπα Μόνο Εμένα Amanda Mariel / E-book Adobe ePub DRM
common.buy 16.85 zł
Microsoft 365 Markus Widl / Książka Twarda
common.buy 279.61 zł
Nasze kochane pieski Opracowanie zbiorowe / Książka Miękka
common.buy 1.90 zł
Sami et Julie CP Niveau 3 : Sami et Julie jardinent Emmanuelle Massonaud Książka Miękka
common.buy 26.59 zł
Innovative Wertschoepfung durch neue Formen der globalen Zusammenarbeit Katrin Sturm / Książka Miękka
common.buy 72.56 zł
AYANTEK MIRIAM JIMENEZ IRIARTE / Książka Twarda
common.buy 100.56 zł
Novellen Helene Böhlau / Książka Miękka
common.buy 57.30 zł
Alternative Investments Michael Sezemsky / Książka Miękka
common.buy 181.66 zł
Telearbeit unter besonderer Berucksichtigung ihrer Wirtschaftlichkeit und Qualitat Oliver Wiesehahn / Książka Miękka
common.buy 144.02 zł
Having a Fulfilling Life as an International Student in Japan (Japanese Edition) Chinthaka Premachandra / Książka Miękka
common.buy 63.02 zł
Kompensatorenlyrik Thomas Michels / Książka Twarda
common.buy 55.49 zł
Vulgarisation en zone SOFITEX : cas des régions de Dédougou et Houndé Aimé Germain Traore / Książka Miękka
common.buy 151.14 zł
Kod Adi Mucize Ünver Alibey / Książka Miękka
common.buy 43.25 zł
Hagibor Milena Slavická / Książka Miękka
common.buy 34.72 zł

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.

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 Rewriting and Typed Lambda Calculi
Autor Gilles Dowek
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 491
EAN 9783319089171
ISBN 331908917X
Kod Libristo 02775233
Wydawnictwo Springer International Publishing AG
Waga 7723
Wymiary 155 x 235 x 26

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Techniki programowania
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ć

Errors-in-Variables Methods in System Identification Torsten Söderström / Książka Twarda
common.buy 741.21 zł
Kurdistan LUNGTHUIYANG RIAMEI / Książka Twarda
common.buy 272.59 zł
Sea Edward Bond / Książka Miękka
common.buy 74.06 zł
Secrets of a Soap Opera Diva Victoria Rowell / Książka Miękka
common.buy 57.60 zł
Dyslexia Included Michael Thomson / Książka Miękka
common.buy 248.40 zł
Few Words on No. 90 of the Tracts for the Times; In a Letter to One of His Parishioners. John Henry Newman / Książka Miękka
common.buy 59.91 zł
Awakening the Actor Within Foster / Książka Twarda
common.buy 119.83 zł
Murder Under the Bridge Kate Jessica Raphael / Książka Miękka
common.buy 57.50 zł
How to Make a Motor or Dynamo A. E. Watson / Książka Miękka
common.buy 83.20 zł
Guile Constance Cooper / Książka Miękka
common.buy 59.21 zł
Salt Skin Michelle Rhodes / Książka Miękka
common.buy 62.92 zł
Ecogenetics P. Grandjean / Książka Miękka
common.buy 654.19 zł
The Brothers Karamazov Fyodor Mikhailovich Dostoyevsky / Książka Miękka
common.buy 113.91 zł
Dance and Dancers in the Victorian and Edwardian Music Hall Ballet CARTER / Książka Twarda
common.buy 916.05 zł
Market Harborough and Inside the Bar George John Whyte-Melville / Książka Miękka
common.buy 113.51 zł
Design Technology in Contemporary Architectural Practice Holzer / Książka Miękka
common.buy 208.45 zł
Fundamentals of Sleep Medicine Richard B. Berry / Książka Twarda
common.buy 533.14 zł
ADHD 2.0 Edward M. Hallowell / E-book Adobe ePub DRM
common.buy 44.15 zł
TOP
Field Guide to the Wild Flowers of the Canary Islands Chris Thorogood / Książka Miękka
common.buy 178.54 zł
Practical Handbook of Transportation Contracting and Rate Negotiations Colin Barrett / Książka Miękka
common.buy 218.99 zł
Living With Loss Robin Haywood / Książka Twarda
common.buy 40.94 zł
Light of the Night Sky F. E. Roach / Książka Miękka
common.buy 218.99 zł
Hannibal: Clouds of War Ben Kane / Książka Miękka
common.buy 45.86 zł
Quest of the Historical Jesus Albert Schweitzer / Książka Miękka
common.buy 79.18 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?