Books by

Nachum Dershowitz

 
 
 



Ultimate Edition

Calendrical Calculations
(Ultimate Edition)

Calendrical Tabulations

The Evolution of Programs

Verification:
Theory and Practice
(Dedicated to Zohar Manna)

Pillars of Computer Science
(Dedicated to Boaz Trakhtenbrot)

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)
LNCS 6300

Fields of Logic and Computation
(Dedicated to Yuri Gurevich)

 		LNCS 9300

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

 		LNCS

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

Rewriting Techniques
and Applications (1989)

Logic in Computer Science (2012)

Conditional and Typed
Rewriting Systems (1994)

Unconventional Computation (2009)

Logic for Programming,
Artificial Intelligence and Reasoning (2007)

Calendrical Calculations
(First Edition)
2nd Edition Cover

Calendrical Calculations
The Millenium Edition

 3rd Edition Cover

Calendrical Calculations
(Third Edition)