[email protected]
LIBRISTO 0
Österreichische Post 5.99 € DPD-Kurier 6.49 € GLS-Kurier 4.49 €
phone Kontakt phoneWie einkaufen

Rewriting Techniques and Applications

Sprache EnglischEnglisch
Buch Broschur
Buch Rewriting Techniques and Applications Hubert Comon
Libristo-Code: 02092633
Verlag Springer, Berlin, November 1996
This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Tech... Vollständige Beschreibung
? points 161 b
64.16 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

LBK Realpolitik: An Archaeometric Study of Conflict and Social Structure in the Belgian Early Neolithic Mark Golitko / Broschur
common.buy 82.52 €
China's Spiritual Need and Claims James Hudson Taylor / Broschur
common.buy 47.51 €
UEber Ludwig Tiecks Leitprinzip in Der getreue Eckart und der Tannenhauser Stefan Krause / Broschur
common.buy 18.11 €
Money Power William Guy Carr / Broschur
common.buy 24.81 €
Catalogue of the Collections of Sir Aurel Stein in the Library of the Hungarian Academy of Sciences John Falconer / Hardcover
common.buy 38.94 €
Technologie Der Textilveredelung Paul Heermann / Broschur
common.buy 80.71 €
Coral gardens and their magic Bronislaw Malinowsky / Broschur
common.buy 56.90 €
IPR - leicht gemacht Sascha Gruschwitz / Broschur
common.buy 12.01 €
Alices Abenteuer im Wunderland John Tenniel / Broschur
common.buy 5.45 €
Risiken der Politikberatung Birger P. Priddat / Broschur
common.buy 29.26 €
At the Root of Things Palash Baran Pal / Broschur
common.buy 75.56 €
Phantasm III - Das Böse III - Lord Of The Dead, 1 Blu-ray Don Coscarelli / Blu-ray
common.buy 15.12 €
The Hand of God: A Fragment, and Other Poems Edward Swaine / Broschur
common.buy 21.58 €
Basiswissen BGB AT - 2022 Jan Wendorf / Broschur
common.buy 7.97 €

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.

Informationen zum Buch

Vollständiger Name Rewriting Techniques and Applications
Autor Hubert Comon
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1997
Anzahl der Seiten 348
EAN 9783540629504
ISBN 3540629505
Libristo-Code 02092633
Verlag Springer, Berlin
Gewicht 469
Abmessungen 156 x 234 x 18

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto