Deutsch
Österreich
Anmelden
Tipp von eurobuch.at
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Buchtipps
Aktuelles
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 21,58 €, größter Preis: 103,45 €, Mittelwert: 76,42 €
Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings (Lecture Notes in Computer Science v. 1103) - Harald Ganzinger
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Harald Ganzinger:
Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings (Lecture Notes in Computer Science v. 1103) - gebrauchtes Buch

ISBN: 3540614648

Broché, [EAN: 9783540614647], Springer, Springer, Book, [PU: Springer], Springer, 301130, Thèmes, 689215031, Actu, Politique et Société, 4237308031, Adolescents, 301144, Art, Musique et Cinéma, 301133, Bandes dessinées, 293136011, Beaux livres, 8434456031, Calendriers et Agendas, 302050, Cuisine et Vins, 301147, Dictionnaires, langues et encyclopédies, 301985, Droit, 301135, Entreprise et Bourse, 573312, Érotisme, 406310, Esotérisme et Paranormal, 3961911, Etudes supérieures, 301142, Famille et bien-être, 301138, Fantasy et Terreur, 689214031, Histoire, 302009, Humour, 301131, Informatique et Internet, 301137, Livres pour enfants, 355635011, Loisirs créatifs, décoration et bricolage, 302004, Manga, 355636011, Nature et animaux, 301997, Religions et Spiritualités, 302042, Romance et littérature sentimentale, 301132, Romans et littérature, 301134, Romans policiers et polars, 12641896031, Santé, Forme et Diététique, 1381962031, Science-Fiction, 301141, Sciences, Techniques et Médecine, 301139, Sciences humaines, 301146, Scolaire et Parascolaire, 301143, Sports et passions, 302051, Tourisme et Voyages, 301061, Livres

gebrauchtes bzw. antiquarisches Buch Amazon.fr
Zubal Books Inc.
Gebraucht Versandkosten:Innerhalb Deutschland, Italien, Luxembourg, Holland und UK. Plus 1.55 EUR pro Produkt sowie lokale Versandkosten.. Expédition sous 1 à 2 jours ouvrés (EUR 5.50)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings (Lecture Notes in Computer Science v. 1103) - Harald Ganzinger
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Harald Ganzinger:
Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings (Lecture Notes in Computer Science v. 1103) - gebrauchtes Buch

ISBN: 3540614648

Copertina flessibile, [EAN: 9783540614647], Springer, Springer, Libro, [PU: Springer], Springer, 411664031, Categorie, 13077484031, Adolescenti e ragazzi, 508758031, Arte, cinema e fotografia, 508779031, Azione e avventura, 508714031, Biografie, diari e memorie, 508791031, Calendari e agende, 508785031, Diritto, 508864031, Dizionari e opere di consultazione, 508786031, Economia, affari e finanza, 13466594031, Erotica, 508792031, Famiglia, salute e benessere, 1345828031, Fantascienza, Horror e Fantasy, 508784031, Fumetti e manga, 508771031, Gialli e Thriller, 1346712031, Guide di revisione e aiuto allo studio, 508820031, Humour, 508733031, Informatica, Web e Digital Media, 508770031, Letteratura e narrativa, 508715031, Libri per bambini, 508888031, Libri scolastici, 508857031, Lingua, linguistica e scrittura, 508780031, Narrativa storica, 508811031, Politica, 508745031, Religione, 508775031, Romanzi rosa, 508867031, Scienze, tecnologia e medicina, 508794031, Self-help, 508879031, Società e scienze sociali, 508835031, Sport, 508796031, Storia, 508821031, Tempo libero, 508753031, Viaggi, 411663031, Libri

gebrauchtes bzw. antiquarisches Buch Amazon.it
TML Bookstore
Gebraucht Versandkosten:Amazon-Produkte ab EUR 19 Versandkostenfrei in Italien und der Schweiz, EUR 6 für den Rest der EU.. Generalmente spedito in 1-2 giorni lavorativi (EUR 5.50)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Rewriting Techniques and Applications - Harald Ganzinger
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Harald Ganzinger:
Rewriting Techniques and Applications - neues Buch

ISBN: 9783540614647

ID: 808720359

This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996. The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and abstracts of three invited papers. The topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, symbolic and algebraic computation, and efficient implementation of rewriting on sequential and parallel machines. 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996. Proceedings Buch (fremdspr.) Taschenbuch 01.07.1996 Bücher>Fremdsprachige Bücher>Englische Bücher, Springer, .199

Neues Buch Orellfuessli.ch
No. 1877305. Versandkosten:Zzgl. Versandkosten. (EUR 15.65)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Rewriting Techniques and Applications - Harald Ganzinger
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Harald Ganzinger:
Rewriting Techniques and Applications - neues Buch

ISBN: 9783540614647

ID: 836164222

This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996. The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and abstracts of three invited papers. The topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, symbolic and algebraic computation, and efficient implementation of rewriting on sequential and parallel machines. 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996. Proceedings Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Neues Buch Thalia.de
No. 1877305. Versandkosten:, Versandfertig in 2 - 3 Tagen, DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Rewriting Techniques and Applications - Harald Ganzinger
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Harald Ganzinger:
Rewriting Techniques and Applications - neues Buch

ISBN: 9783540614647

ID: 9783540614647

Computer Science; Software Engineering/Programming and Operating Systems; Theory of Computation; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics) Automatische Deduktion, Ersetzungssysteme, Höherstufige Logiken, automated deduction, graph rewriting, higher-order logics, proving, rewriting systems, term rewriting, theorem proving Books Book, Springer Science+Business Media

Neues Buch Springer.com
Versandkosten: EUR 0.00
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Rewriting Techniques and Applications

This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996.The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and abstracts of three invited papers. The topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, symbolic and algebraic computation, and efficient implementation of rewriting on sequential and parallel machines.

Detailangaben zum Buch - Rewriting Techniques and Applications


EAN (ISBN-13): 9783540614647
ISBN (ISBN-10): 3540614648
Taschenbuch
Erscheinungsjahr: 1996
Herausgeber: Springer-Verlag GmbH
456 Seiten
Gewicht: 0,684 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 04.05.2007 18:08:03
Buch zuletzt gefunden am 17.10.2017 16:13:41
ISBN/EAN: 3540614648

ISBN - alternative Schreibweisen:
3-540-61464-8, 978-3-540-61464-7


< zum Archiv...
Benachbarte Bücher