phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Rewriting Techniques and Applications

Limba englezăengleză
Carte Carte broșată
Carte Rewriting Techniques and Applications Hubert Comon
Codul Libristo: 02092633
Editura Springer, Berlin, noiembrie 1996
This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Tech... Descrierea completă
? points 161 b
324 lei
În depozitul extern în cantități mici Expediem în 12-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

LBK Realpolitik: An Archaeometric Study of Conflict and Social Structure in the Belgian Early Neolithic Mark Golitko / Carte broșată
common.buy 417 lei
UEber Ludwig Tiecks Leitprinzip in Der getreue Eckart und der Tannenhauser Stefan Krause / Carte broșată
common.buy 225 lei
Money Power William Guy Carr / Carte broșată
common.buy 125 lei
Catalogue of the Collections of Sir Aurel Stein in the Library of the Hungarian Academy of Sciences John Falconer / Copertă tare
common.buy 197 lei
Technologie Der Textilveredelung Paul Heermann / Carte broșată
common.buy 495 lei
China's Spiritual Need and Claims James Hudson Taylor / Carte broșată
common.buy 239 lei
Coral gardens and their magic Bronislaw Malinowsky / Carte broșată
common.buy 287 lei
Risiken der Politikberatung Birger P. Priddat / Carte broșată
common.buy 161 lei
IPR - leicht gemacht Sascha Gruschwitz / Carte broșată
common.buy 79 lei
Alices Abenteuer im Wunderland John Tenniel / Carte broșată
common.buy 31 lei
At the Root of Things Palash Baran Pal / Carte broșată
common.buy 340 lei
Basiswissen BGB AT - 2022 Jan Wendorf / Carte broșată
common.buy 56 lei
The Hand of God: A Fragment, and Other Poems Edward Swaine / Carte broșată
common.buy 108 lei
Phantasm III - Das Böse III - Lord Of The Dead, 1 Blu-ray Don Coscarelli / Blu-ray
common.buy 64 lei

This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, Spain, in June 1997.The 24 revised full papers presented were selected from a total of 54 submissions. Also included are abstracts of two invited talks and four system descriptions. Besides classical topics like termination, confluence, or applications to theorem proving, several new approaches to rewriting are presented. All in all, this volume presents the state of the art in the area of rewriting techniques and applications.

Informații despre carte

Titlu complet Rewriting Techniques and Applications
Autor Hubert Comon
Limba engleză
Legare Carte - Carte broșată
Data publicării 1997
Număr pagini 348
EAN 9783540629504
ISBN 3540629505
Codul Libristo 02092633
Editura Springer, Berlin
Greutatea 469
Dimensiuni 156 x 234 x 18

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo