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 Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Term Rewriting and Applications

17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Term Rewriting and Applications Frank Pfenning
Kod Libristo: 01562413
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipiec 2006
This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Tec... Cały opis
? points 125 b
224.50 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Sardegna slow. Viaggio nel cuore dell'isola. Le guide ai sapori e ai piaceri / Książka Miękka
common.buy 68.41 zł
TOP
Puzzle 1000 elementów. Compact Anime Dragon Ball / Gra/Zabawka Puzzle
common.buy 22.93 zł
Hass Vergibt Nicht H P Barkam / Książka Miękka
common.buy 43.41 zł
How to Argue With a Meat Eater (And Win Every Time) WINTERS ED / Książka Miękka
common.buy 55.14 zł
En el ocaso del pensamiento occidental Herman Dooyeweerd / Książka Miękka
common.buy 74.48 zł
O can MONTSE GANGES / Książka Twarda
common.buy 15.11 zł
Instrumental Carpenters The Instrumental/Carpenters / Audio CD Audio
common.buy 46.29 zł
Reflejo 3. Lengua castellana y Literatura 3 ESO MERCE ARCE LASSO / Książka Miękka
common.buy 248.88 zł
Pakůň / Gra/Zabawka Zabawka
common.buy 32.30 zł
Maurice Denis Maurice DENIS / Książka Miękka
common.buy 50.41 zł
Vivre une vie philosophique - Thoreau le sauvage Michel Onfray / Książka Miękka
common.buy 83.85 zł
Merlin le prophète - un thème de la littérature polémique de l'historiographie et des romans Zumthor / Książka Twarda
common.buy 360.63 zł
Tot und begraben Carola Clasen / Książka Miękka
common.buy 42.69 zł
TOP
Carfit. Englisch für Fahrzeugberufe, m. 1 Audio-CD / Książka Karta
common.buy 99.90 zł
Ausgabe H, Schwarz / Książka Twarda
common.buy 97.74 zł
Verfassungsrechtliche Grenzen rückwirkender Anwaltsgebührenerhöhungen. Hartmut Bauer / Książka Miękka
common.buy 164.10 zł
Gitterstrukturen des Erdmagnetfeldes Klaus Piontzik / Książka Miękka
common.buy 135.91 zł
Hundert Jahre im Altkreis Geldern Paul van Treeck / Książka Miękka
common.buy 31.78 zł
Die Lücke im Gesetz Ingo Lenßen / Książka Miękka
common.buy 65.22 zł
Lymphologie und Manuelle Lymphdrainage beim Pferd Christina Fedele / Książka Twarda
common.buy 344.06 zł
Jagdmethoden und Fanggeheimnisse Emil Regener / Książka Miękka
common.buy 154.94 zł
O čertovi Pavel Čech / Książka Twarda
common.buy 40.43 zł
Matematika pro 4. ročník základní školy 1. díl Zdena Rosecká / Książka Książka
common.buy 12.34 zł
L'amant MARGUERITE DURAS / Książka Miękka
common.buy 51.54 zł

This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. The book presents 23 revised full papers and 4 systems description papers together with 2 invited talks and a plenary talk of the hosting FLoC conference. Topics include equational reasoning, system verification, lambda calculus, theorem proving, system descriptions, termination, higher-order rewriting and unification, and more.

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 Term Rewriting and Applications
Autor Frank Pfenning
Język Angielski
Oprawa Książka - Miękka
Data wydania 2006
Liczba stron 418
EAN 9783540368342
ISBN 3540368345
Kod Libristo 01562413
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1340
Wymiary 155 x 235 x 24

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
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 > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
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ć

Victim Bibe / Książka Miękka
common.buy 52.77 zł
Zapowiedź
Exhibiting Mormonism Reid L. Neilson / Książka Twarda
common.buy 238.49 zł
Unjust Enrichment and Contract Tariq A. Baloch / Książka Twarda
common.buy 553.85 zł
God from the Machine William Sims Bainbridge / Książka Twarda
common.buy 540.79 zł
Blackwell Guide to Hume's Treatise Traiger / Książka Twarda
common.buy 490.47 zł
Uncle Bubba's Chicken Wing Fling Mitchel Whitington / Książka Miękka
common.buy 68.62 zł
Introduction to Oil and Gas Operational Safety Wise Global Training Ltd / Książka Miękka
common.buy 757.58 zł
Sufis in Western Society Markus Dressler / Książka Miękka
common.buy 326.88 zł
Power Plays Alan Arkin / Książka Miękka
common.buy 75.92 zł
Other State, New Mexico USA Richard McCord / Książka Miękka
common.buy 52.46 zł
Mary's Girl Shannon K Cook / Książka Miękka
common.buy 49.89 zł
Lord of Death and the Queen of Life Homer E Flint / Książka Twarda
common.buy 120.99 zł
Donna Diana Richard Bagot / Książka Miękka
common.buy 166.26 zł
Lovers' Poetry James Butler / Książka Miękka
common.buy 49.58 zł
Herbaceous Layer in Forests of Eastern North America Frank Gilliam / Książka Twarda
common.buy 588.74 zł
Who Is Naturalove? Analisa Jean Naturalove / Książka Miękka
common.buy 68.41 zł
Nuggets & Pearls Ash Pradhan / Książka Miękka
common.buy 83.85 zł
Feuerbach: The Roots Of The Socialist Philosophy (1903) Frederick Engels / Książka Miękka
common.buy 100.41 zł
Poetics of Unnatural Narrative Jan Alber / Książka Miękka
common.buy 193.42 zł
Becoming a Literacy Leader Jennifer Allen / Książka Miękka
common.buy 195.59 zł
Zapowiedź
Magnum Ireland Brigitte Lardinois / Książka Miękka
common.buy 91.98 zł
Violin Exam Pieces 2020-2023, ABRSM Grade 7, Score & Part ABRSM / Prasa Nuty
common.buy 105.45 zł
SAFE-BURGLARY UNITED STATES. CONGR / Książka Twarda
common.buy 149.80 zł
Prisoners of the American Dream Mike Davis / Książka Miękka
common.buy 84.36 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?