-
401. Automatische Synthese Rekursiver Programme Als Beweisverfahren (Informatik-Fachberichte, 302) (German Edition)
by Biundo, Susanne
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1992, Springer
ISBN-13: 9783540553007
perfect, Good
Santa Clarita, CA, USA
$94.74
-
402. Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992: Proceedings (Lecture Notes in Artificial Intelligence 624)
by Andrei Voronkov
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1992, Springer-Verlag
ISBN-13: 9780387557274
paperback, Good
Santa Clarita, CA, USA
$112.95
-
403. Logic Programming and Automated Reasoning: International Conference Lpar '92, St. Petersburg, Russia, July 15-20, 1992. Proceedings (Lecture Notes in Computer Science, 624)
Seller Description: New. See More Details
1992, Springer
ISBN-13: 9783540557272
paperback, New
Santa Clarita, CA, USA
$120.68
-
404. Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992: Proceedings (Lecture Notes in Artificial Intelligence 624)
by Andrei Voronkov
Seller Description: New. See More Details
1992, Springer-Verlag
ISBN-13: 9780387557274
paperback, New
Miramar, FL, USA
$143.98
-
405. Simulation in Der Regelungstechnik
Seller Description: Brand New. New. See More Details
1990, Springer
ISBN-13: 9783540529422
Paperback, New
New Delhi, DELHI, INDIA
$53.75
-
406. Simulation in Der Regelungstechnik
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
1990, Springer
ISBN-13: 9783540529422
Paperback, New
Irving, TX, USA
$57.88
-
407. Simulation in Der Regelungstechnik
by Fasol, Karl H (Editor), and Diekmann, Klaus (Editor)
Seller Description: New. Print on demand Text in German. Trade paperback (US). Glued binding. 495 p. Contains: Illustrations, black & white. Fachberichte Simulation, 12. See More Details
1990, Springer
ISBN-13: 9783540529422
Trade paperback, New
NV, USA
$65.75
-
408. Simulation in Der Regelungstechnik
Seller Description: New, Satisfaction guaranteed! ! See More Details
1990, Springer
ISBN-13: 9783540529422
Paperback, New
Irving, TX, USA
$73.24
-
409. Simulation in Der Regelungstechnik
Seller Description: Brand New. New. See More Details
1990, Springer
ISBN-13: 9783540529422
Paperback, New
New Delhi, DELHI, INDIA
$74.24
-
410. Simulation in Der Regelungstechnik
by Fasol, Karl H (Editor), and Diekmann, Klaus (Editor)
Seller Description: New. Text in German. Trade paperback (US). Glued binding. 495 p. Contains: Illustrations, black & white. Fachberichte Simulation, 12. See More Details
1990, Springer
ISBN-13: 9783540529422
Trade paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$80.70
-
411. Simulation in Der Regelungstechnik (Fachberichte Simulation, 12) (German Edition)
by Fasol, Karl H.
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1990, Springer
ISBN-13: 9783540529422
paperback, Good
Santa Clarita, CA, USA
$107.78
-
412. Automatic Programming Applied to Vlsi Cad Software
Seller Description: Brand New. New. See More Details
1990, Springer
ISBN-13: 9780792391128
New Delhi, DELHI, INDIA
$118.47
-
413. Automatic Programming Applied to Vlsi Cad Software: a Case Study (the Springer International Series in Engineering and Computer Science, 101)
by Setliff, Dorothy E.
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1990, Springer
ISBN-13: 9780792391128
hardcover, Good
Santa Clarita, CA, USA
$193.06
-
414. Automatic Programming Applied to VLSI CAD Software: A Case Study
by Setliff, Dorothy E, and Rutenbar, Rob A
Seller Description: New. Sewn binding. Cloth over boards. 234 p. The Springer International Engineering and Computer Science, 101. See More Details
1990, Springer
ISBN-13: 9780792391128
Hardcover, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$198.05
-
415. Automated Theorem Proving
Seller Description: Brand New. New. See More Details
1987, Vieweg+teubner Verlag
ISBN-13: 9783528185206
Paperback, New
New Delhi, DELHI, INDIA
$84.66
-
416. Automated Theorem Proving
Seller Description: Brand New. New. See More Details
1987, Vieweg+teubner Verlag
ISBN-13: 9783528185206
Paperback, New
New Delhi, DELHI, INDIA
$96.58
-
417. Automated Theorem Proving
Seller Description: New, Satisfaction guaranteed! ! See More Details
1987, Vieweg+teubner Verlag
ISBN-13: 9783528185206
Paperback, New
Irving, TX, USA
$98.50
-
418. Automated Theorem Proving
by Bibel, Wolfgang
Seller Description: New. Trade paperback (US). Glued binding. 289 p. Künstliche Intelligenz. See More Details
1987, Vieweg+teubner Verlag
ISBN-13: 9783528185206
Trade paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$120.97
-
419. Automated Theorem Proving (Künstliche Intelligenz)
by Bibel, Wolfgang
Seller Description: New. See More Details
1987, Vieweg+Teubner Verlag
ISBN-13: 9783528185206
paperback, New
Miramar, FL, USA
$130.97
-
420. Automated Theorem Proving (Künstliche Intelligenz)
by Bibel, Wolfgang
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1987, Vieweg+Teubner Verlag
ISBN-13: 9783528185206
paperback, Good
Santa Clarita, CA, USA
$134.54
-
421. Automated Theorem Proving (Künstliche Intelligenz)
by Bibel, Wolfgang
Seller Description: New. See More Details
1987, Vieweg+Teubner Verlag
ISBN-13: 9783528185206
paperback, New
Santa Clarita, CA, USA
$175.16
-
422. Automated Theorem Proving
Seller Description: Brand New. New. See More Details
1982, Vieweg+teubner Verlag
ISBN-13: 9783528085209
Paperback, New
New Delhi, DELHI, INDIA
$49.17
|
