Your Trusted Source for Nachum Dershowitz

Find your favorites among our trusted selection of Nachum Dershowitz must-haves.

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings: 968 (Lecture Notes in Computer Science, 968)

1 609 Br

Calendrical Calculations Millennium edition

3.1

1 259 Br

The Evolution of Programs

934 Br

Calendrical Calculations: The Ultimate Edition

141 Br

Calendrical Calculations

366 Br

Calendrical Tabulations, 1900–2200 1st Edition

2 889 Br

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday (Lecture Notes in Computer Science Book 12180)

44 Br

Language, Culture, Computation: Computing - Theory and Technology : Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I

192 Br

Calendrical Calculations: The Ultimate Edition

584 Br

The Evolution of Programs (Progress in Computer Science)

2 849 Br

Calendrical Tabulations, 1900–2200

719 Br

Calendrical Tabulations, 1900–2200

575 Br

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

1 109 Br

Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings (Lecture Notes in Computer Science)

499 BYN

The Evolution of Programs

1 029 Br

Calendrical Calculations

4.4

529 Br

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday: 2772 (Lecture Notes in Computer Science, 2772)

306 Br

Calendrical Calculations by Nachum Dershowitz (2007-12-10)

1 629 Br

Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings

1 179 Br

Verification: Theory and Practice

2 059 Br

Calendrical Calculations: The Ultimate Edition

829 Br

Calendrical Calculations: The Ultimate Edition

4.2

594 Br

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

939 Br

Unconventional Computation: 8th International Conference, Uc 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings

185 Br

Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings (Lecture Notes in Computer Science, 355)

570 Br

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday: 4800 (Lecture Notes in Computer Science, 4800)

1 029 Br

Calendrical Calculations Millennium edition

824 Br

Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings (Lecture Notes in Computer Science)

487 BYN

Language, Culture, Computation: Computing for the Humanities, Law, and Narratives : Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part II

196 Br

The Evolution of Programs: 5 (Progress in Computer Science and Applied Logic)

144 Br

Language, Culture, Computation: Computing for the Humanities, Law, and Narratives: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 ... (Lecture Notes in Computer Science, 8002)

1 019 BYN

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings: 5715 (Lecture Notes in Computer Science)

199 Br

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

364 Br

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday (Lecture Notes in Computer Science)

431 BYN

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings (Lecture Notes in Computer Science, 968)

207 Br

Language, Culture, Computation: Computational Linguistics and Linguistics : Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part III

182 Br

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Lecture Notes in Computer Science Book 9300)

1 099 Br

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings (Lecture Notes in Computer Science, 4790)

944 Br

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday (Lecture Notes in Computer Science Book 12180)

504 Br

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, ... (Lecture Notes in Computer Science, 4790)

153 Br

Calendrical Tabulations, 1900-2200

829 Br

Language, Culture, Computation: Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I (Lecture Notes in Computer Science, 8001)

944 Br

Language, Culture, Computation: Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I: 8001 (Lecture Notes in Computer Science, 8001)

341 Br

Calendrical Calculations

4.4

79 Br

Language, Culture, Computation: Computational Linguistics and Linguistics: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part ... (Lecture Notes in Computer Science, 8003)

257 Br

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday (Lecture Notes in Computer Science)

839 BYN

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Programming and Software Engineering)

2 429 Br

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings

339 Br

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Lecture Notes in Computer Science Book 9300)

402 Br

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

221 Br

Language, Culture, Computation: Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I (Lecture Notes in Computer Science)

574 BYN

Language, Culture, Computation: Computing for the Humanities, Law, and Narratives: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part II (Lecture Notes in Computer Science)

699 BYN

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings (Lecture Notes in Computer Science)

FREE

Language, Culture, Computation: Computational Linguistics and Linguistics: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part III (Lecture Notes in Computer Science)

634 BYN

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings: 968 (Lecture Notes in Computer Science)

375 Br