Books by

Nachum Dershowitz

 
 
 



Ultimate Edition

Calendrical Calculations
(Ultimate Edition)

Calendrical Tabulations



The Evolution of Programs


Language, Culture, Computation
I: Computing Theory and Technology
(Dedicated to Yaacov Choueka)

LNCS 8002

Language, Culture, Computation
II: Computing of the Humanities, Law, and Narratives
(Dedicated to Yaacov Choueka)

LNCS 8003

Language, Culture, Computation
III: Computational Linguistics and Linguistics
(Dedicated to Yaacov Choueka)

Verification:
Theory and Practice
(Dedicated to Zohar Manna)

LNCS 6300

Fields of Logic and Computation
(Dedicated to Yuri Gurevich)

LNCS 9300

Fields of Logic and Computation II
(Dedicated to Yuri Gurevich)

Logic for Programming,
Artificial Intelligence and Reasoning (2007)

Logic in Computer Science (2012)

Pillars of Computer Science
(Dedicated to Boaz Trakhtenbrot)

Unconventional Computation (2009)


Conditional and Typed
Rewriting Systems (1994)

Rewriting Techniques
and Applications (1989)

Calendrical Calculations
(First Edition)


2nd
                    Edition Cover

Calendrical Calculations
The Millenium Edition

3rd Edition Cover

Calendrical Calculations
(Third Edition)