-
201. Rewriting Techniques and Applications. Lecture Notes in Computer Science, Volume 690
by Kirchner, Claude, Ed
Seller Description: 487 pp., library, else textually clean and tight, softcover. -If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Photos available upon request. See More Details
1993, Springer
ISBN-13: 9780387568683
Paperback
Cleveland, OH, USA
$141.09
-
202. Canonical Equational Proofs
Seller Description: Brand New. New. See More Details
1991, Birkhauser
ISBN-13: 9780817635558
New Delhi, DELHI, INDIA
$43.12
-
203. Canonical Equational Proofs
Seller Description: Brand New. New. See More Details
1991, Birkhauser
ISBN-13: 9780817635558
New Delhi, DELHI, INDIA
$49.46
-
204. Operationales Spezifizieren Mit Programmierten Gra
Seller Description: Brand New. New. See More Details
1991, Deutscher Universitatsverlag
ISBN-13: 9783824420216
Paperback, New
New Delhi, DELHI, INDIA
$50.96
-
205. Cano Nical Equational Proofs (Progress in Theoretical Computer Science)
by Bachmair
Seller Description: Brand New. New. See More Details
1991, Birkhauser
ISBN-13: 9780817635558
Paperback, New
New Delhi, DELHI, INDIA
$59.28
-
206. Cano Nical Equational Proofs (Progress in Theoretical Computer Science)
by Bachmair
Seller Description: Brand New. New. See More Details
1991, Birkhauser
ISBN-13: 9780817635558
Paperback, New
New Delhi, DELHI, INDIA
$59.52
-
207. Canonical Equational Proofs
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
1991, Birkhauser
ISBN-13: 9780817635558
Irving, TX, USA
$62.14
-
208. Operationales Spezifizieren Mit Programmierten Gra
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
1991, Deutscher Universitatsverlag
ISBN-13: 9783824420216
Paperback, New
Irving, TX, USA
$63.51
-
209. Operationales Spezifizieren Mit Programmierten Graphersetzungssystemen: Formale Definitionen, Anwendungsbeispiele Und Werkzeugunterstützung Herausgegeben Und Eingeleitet Von Manfred Nagl
by Schürr, Andreas
Seller Description: New. Print on demand Text in German. Trade paperback (US). Glued binding. 466 p. Contains: Unspecified. Duv: Datenverarbeitung. See More Details
1991, Deutscher Universitatsverlag
ISBN-13: 9783824420216
Trade paperback, New
NV, USA
$65.35
-
210. Canonical Equational Proofs (Progress in Theoretical Computer Science)
by Bachmair, Leo
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1991, Birkhauser
ISBN-13: 9783764335557
hardcover, Good
Santa Clarita, CA, USA
$66.27
-
211. Operationales Spezifizieren Mit Programmierten Graphersetzungssystemen: Formale Definitionen, Anwendungsbeispiele Und Werkzeugunterstützung Herausgegeben Und Eingeleitet Von Manfred Nagl
by Schürr, Andreas
Seller Description: New. Text in German. Trade paperback (US). Glued binding. 466 p. Contains: Unspecified. Duv: Datenverarbeitung. See More Details
1991, Deutscher Universitatsverlag
ISBN-13: 9783824420216
Trade paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$67.34
-
212. Operationales Spezifizieren Mit Programmierten Gra
Seller Description: Brand New. New. See More Details
1991, Deutscher Universitatsverlag
ISBN-13: 9783824420216
Paperback, New
New Delhi, DELHI, INDIA
$68.89
-
213. Conditional and Typed Rewriting Systems: 2nd International Centres Workshop, Montreal, Canada, Jun 11-14, 1990: Proceedings (Lecture Notes in Computer Science, 516)
by S. Kaplan, M. Okada
Seller Description: 461 pp., softcover, ex library, else text clean & binding tight. -If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. See More Details
1991, Springer
ISBN-13: 9783540543176
Paperback
Cleveland, OH, USA
$71.19
-
214. Canonical Equational Proofs-Progress in Theoretical Computer Science
Seller Description: Brand New. New. See More Details
1991, Birkhauser
ISBN-13: 9780817635558
New Delhi, DELHI, INDIA
$76.38
-
215. Canonical Equational Proofs-Progress in Theoretical Computer Science
Seller Description: Brand New. New. See More Details
1991, Birkhauser
ISBN-13: 9780817635558
New Delhi, DELHI, INDIA
$76.70
-
216. Canonical Equational Proofs (Progress in Theoretical Computer Science)
by Bachmair
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1991, Birkhäuser
ISBN-13: 9780817635558
paperback, Good
Santa Clarita, CA, USA
$86.95
-
217. Rewriting Techniques and Applications: 4th International Conference, Rta-91, Cumo, Italy, April 10-12, 1991 Proceedings (Lecture Notes in Computer Science)
by Book, Ronald V. (Ed. )
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1991, Springer-Verlag
ISBN-13: 9780387539041
paperback, Good
Santa Clarita, CA, USA
$97.19
-
218. Operationales Spezifizieren Mit Programmierten Graphersetzungssystemen: Formale Definitionen, Anwendungsbeispiele Und Werkzeugunterstützung...(Duv: Datenverarbeitung) (German Edition)
by Schürr, Andreas
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1991, Deutscher Universitätsverlag
ISBN-13: 9783824420216
perfect, Good
Santa Clarita, CA, USA
$101.45
-
219. Canonical Equational Proofs (Progress in Theoretical Computer Science)
by Bachmair
Seller Description: New. See More Details
1991, Birkhäuser
ISBN-13: 9780817635558
paperback, New
Santa Clarita, CA, USA
$112.93
-
220. Rewriting Techniques and Applications: 4th International Conference, Rta-91, Cumo, Italy, April 10-12, 1991 Proceedings (Lecture Notes in Computer Science)
by Book, Ronald V. (Ed. )
Seller Description: New. See More Details
1991, Springer-Verlag
ISBN-13: 9780387539041
paperback, New
Miramar, FL, USA
$139.02
-
221. Regulated Rewriting in Formal Language Theory Jürgen Dassow
by Jürgen Dassow
Seller Description: Very good. Regulated Rewriting in Formal Language Theory. See More Details
1990, Springer
ISBN-13: 9783540514145
Hardcover, Very Good
Wahlstedt, S-H, GERMANY
$319.20
-
222. Confluent String Rewriting ( Eatcs Monographs on Theoretical Computer Science)
by Jantzen, M.
Seller Description: Very good. No dust jacket. Nice clean bright tight book-no faults 126 pages. See More Details
1989, Springer
ISBN-13: 9780387137155
Hardcover, Very Good
Hay on Wye, HEREFORDSHIRE, UNITED KINGDOM
$41.22
|
