phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč PPL 99 Kč Zásilkovna 54 Kč
phone Kontakt phoneJak nakupovat

Term Rewriting and Applications

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Term Rewriting and Applications Frank Pfenning
Libristo kód: 01562413
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, července 2006
This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Tec... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 12-17 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Peter Tschaikowsky Constantin Floros / Brožovaná
common.buy 250 Kč
The Master Key System Charles F. Haanel / Brožovaná
common.buy 273 Kč
Verfassungsrechtliche Grenzen rückwirkender Anwaltsgebührenerhöhungen. Hartmut Bauer / Brožovaná
common.buy 930 Kč
Renaissance Florence Roger J. CrumJohn T. Paoletti / Pevná
common.buy 5 454 Kč
Ich rechne mit! - Berlin, Brandenburg, Mecklenburg-Vorpommern, Sachsen, Sachsen-Anhalt, Thüringen - 1. Schuljahr Klaus-Peter Käding / Brožovaná
common.buy 302 Kč
Hundert Jahre im Altkreis Geldern Paul van Treeck / Brožovaná
common.buy 406 Kč
Franz Sternbalds Wanderungen Ludwig Tieck / Brožovaná
common.buy 306 Kč
Jagdmethoden und Fanggeheimnisse Emil Regener / Brožovaná
common.buy 2 182 Kč
Aiming at Virtue in Plato Iakovos Vasiliou / Brožovaná
common.buy 1 433 Kč
Exotic Attractors Jorge Buescu / Brožovaná
common.buy 1 681 Kč
Gitterstrukturen des Erdmagnetfeldes Klaus Piontzik / Brožovaná
common.buy 1 243 Kč
Carfit. Englisch für Fahrzeugberufe, m. 1 Audio-CD / List
common.buy 550 Kč
Tot und begraben Carola Clasen / Brožovaná
common.buy 251 Kč
Ausgabe H, Schwarz / Pevná
common.buy 597 Kč
Die Lücke im Gesetz Ingo Lenßen / Brožovaná
common.buy 380 Kč

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.

Informace o knize

Plný název Term Rewriting and Applications
Autor Frank Pfenning
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2006
Počet stran 418
EAN 9783540368342
ISBN 3540368345
Libristo kód 01562413
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1340
Rozměry 155 x 235 x 24

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet