| Books 1 - 10 of 24 | Previous | Next | 
|  | | Logic for Programming, Artificial Intelligence, and Reasoning: 4th International Conference, LPAR 2007, Yerevan, Armenia, October 5-9, 2007, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Nachum Dershowitz (Editor), Andrei Voronkov (Editor)
Paperback, 562 Pages, Published 2007 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | The Evolution of Programs (Progress in Computer Science, No. 5)
by Nachum Dershowitz
Hardcover, 357 Pages, Published 1984 by Birkhauser
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Verification: Theory and Practice (1st Edition)
by Nachum Dershowitz (Editor)
Paperback, 783 Pages, Published 2004 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Evolution of Programmes (Progress in Computer Science S)
by Nachum Dershowitz
Hardcover, 357 Pages, Published 1984 by Birkhauser, Switzerland
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 3 - 5, 994. Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Nachum Dershowitz (Editor), Naomi Lindenstrauss (Editor)
Paperback, 375 Pages, Published 1995 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 989, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Nachum Dershowitz (Editor)
Paperback, 579 Pages, Published 1989 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (Lecture Notes in Computer Science) (1st Edition)
by Arnon Avron (Editor), Nachum Dershowitz (Editor), Alexander Rabinovich (Editor)
Hardcover, 683 Pages, Published 2008 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Calendrical Calculations: The Millennium Edition (Millennium edition)
by Edward M. Reingold, Nachum Dershowitz
Paperback, 423 Pages, Published 2001 by Cambridge University Press, Millennium edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Calendrical Tabulations 900-2200 (1st Edition)
by Edward M. Reingold, Nachum Dershowitz
Hardcover, 650 Pages, Published 2002 by Cambridge University Press, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | The Evolution of Programs. (Progress in Computer Science, Vol.5) Basel, 1983,
by Nachum Dershowitz
Hardcover, Published 1983 by Birkhauser
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 10 of 24 | Previous | Next |
|