Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Term Rewriting and Applications

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Term Rewriting and Applications Frank Pfenning
Libristo kod: 01562413
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpanj 2006
This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Tec... Cijeli opis
? points 125 b
51.78 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Matematika pro 4. ročník základní školy 1. díl Zdena Rosecká / Knjiga Knjiga
common.buy 2.83 €
Sardegna slow. Viaggio nel cuore dell'isola. Le guide ai sapori e ai piaceri / Knjiga Meki uvez
common.buy 15.70 €
Top
Puzzle 1000 elementów. Compact Anime Dragon Ball / Igra/Igračka Puzzle
common.buy 5.87 €
O can MONTSE GANGES / Knjiga Tvrdi uvez
common.buy 3.44 €
Instrumental Carpenters The Instrumental/Carpenters / Audio Audio CD
common.buy 10.63 €
How to Argue With a Meat Eater (And Win Every Time) WINTERS ED / Knjiga Meki uvez
common.buy 12.66 €
En el ocaso del pensamiento occidental Herman Dooyeweerd / Knjiga Meki uvez
common.buy 17.22 €
Maurice Denis Maurice DENIS / Knjiga Meki uvez
common.buy 11.04 €
Reflejo 3. Lengua castellana y Literatura 3 ESO MERCE ARCE LASSO / Knjiga Meki uvez
common.buy 57.35 €
Merlin le prophète - un thème de la littérature polémique de l'historiographie et des romans Zumthor / Knjiga Tvrdi uvez
common.buy 79.45 €
Vivre une vie philosophique - Thoreau le sauvage Michel Onfray / Knjiga Meki uvez
common.buy 18.33 €
Pakůň / Igra/Igračka Igračka
common.buy 8.30 €
Tot und begraben Carola Clasen / Knjiga Meki uvez
common.buy 9.31 €
Top
Carfit. Englisch für Fahrzeugberufe, m. 1 Audio-CD / Knjiga List
common.buy 23.00 €
Ausgabe H, Schwarz / Knjiga Tvrdi uvez
common.buy 22.49 €
Verfassungsrechtliche Grenzen rückwirkender Anwaltsgebührenerhöhungen. Hartmut Bauer / Knjiga Meki uvez
common.buy 37.79 €
Gitterstrukturen des Erdmagnetfeldes Klaus Piontzik / Knjiga Meki uvez
common.buy 31.31 €
Hundert Jahre im Altkreis Geldern Paul van Treeck / Knjiga Meki uvez
common.buy 7.29 €
Die Lücke im Gesetz Ingo Lenßen / Knjiga Meki uvez
common.buy 14.18 €
Lymphologie und Manuelle Lymphdrainage beim Pferd Christina Fedele / Knjiga Tvrdi uvez
common.buy 79.34 €
Hass Vergibt Nicht H P Barkam / Knjiga Meki uvez
common.buy 10.02 €
Jagdmethoden und Fanggeheimnisse Emil Regener / Knjiga Meki uvez
common.buy 35.76 €
Pripremamo
O čertovi Pavel Čech / Knjiga Tvrdi uvez
common.buy 8.50 €
L'amant MARGUERITE DURAS / Knjiga Meki uvez
common.buy 10.73 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Term Rewriting and Applications
Autor Frank Pfenning
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2006
Broj stranica 418
EAN 9783540368342
ISBN 3540368345
Libristo kod 01562413
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 1340
Dimenzije 155 x 235 x 24

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
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 > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Column Generation G. Desaulniers / Knjiga Tvrdi uvez
common.buy 211.70 €
Unjust Enrichment and Contract Tariq A. Baloch / Knjiga Tvrdi uvez
common.buy 134.37 €
Blackwell Guide to Hume's Treatise Traiger / Knjiga Tvrdi uvez
common.buy 119.78 €
Uncle Bubba's Chicken Wing Fling Mitchel Whitington / Knjiga Meki uvez
common.buy 15.80 €
Introduction to Oil and Gas Operational Safety Wise Global Training Ltd / Knjiga Meki uvez
common.buy 174.61 €
Sufis in Western Society Markus Dressler / Knjiga Meki uvez
common.buy 75.39 €
Power Plays Alan Arkin / Knjiga Meki uvez
common.buy 17.52 €
Other State, New Mexico USA Richard McCord / Knjiga Meki uvez
common.buy 12.05 €
Mary's Girl Shannon K Cook / Knjiga Meki uvez
common.buy 12.15 €
Lord of Death and the Queen of Life Homer E Flint / Knjiga Tvrdi uvez
common.buy 27.86 €
Donna Diana Richard Bagot / Knjiga Meki uvez
common.buy 38.30 €
Lovers' Poetry James Butler / Knjiga Meki uvez
common.buy 11.44 €
Victim Bibe / Knjiga Meki uvez
common.buy 12.15 €
Who Is Naturalove? Analisa Jean Naturalove / Knjiga Meki uvez
common.buy 15.80 €
Nuggets & Pearls Ash Pradhan / Knjiga Meki uvez
common.buy 19.35 €
God from the Machine William Sims Bainbridge / Knjiga Tvrdi uvez
common.buy 131.23 €
Poetics of Unnatural Narrative Jan Alber / Knjiga Meki uvez
common.buy 44.58 €
Becoming a Literacy Leader Jennifer Allen / Knjiga Meki uvez
common.buy 45.09 €
Imaginative Teaching through Creative Writing ASH AMY / Knjiga Tvrdi uvez
common.buy 134.37 €
The Hebrew New Testament of the British and Foreign Bible Society (1883) Franz Julius Delitzsch / Knjiga Meki uvez
common.buy 25.12 €
SAFE-BURGLARY UNITED STATES. CONGR / Knjiga Tvrdi uvez
common.buy 34.55 €
Feuerbach: The Roots Of The Socialist Philosophy (1903) Frederick Engels / Knjiga Meki uvez
common.buy 23.10 €
Pripremamo
Magnum Ireland Brigitte Lardinois / Knjiga Meki uvez
common.buy 21.17 €
Top
Bauhaus. Updated Edition 1919 - 1933 Magdalena Droste / Knjiga Tvrdi uvez
common.buy 20.36 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?