Buy Calendrical Calculations by Nachum Dershowitz from Australia's Online Independent Bookstore, Boomerang Books.
Book DetailsISBN: 9780521702386
» Have you read this book? We'd like to know what you think about it - write a review about Calendrical Calculations book by Nachum Dershowitz and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)
In addition to his expertise on calendars, Nachum Dershowitz is a leading figure in software verification in general, and termination of programs in particular; he is an international authority on equational inference and term-rewriting. Other research interests of his include program semantics and combinatorial enumeration. Dershowitz has authored or co-authored over one hundred research papers and several books and has held visiting positions at prominent institutions around the globe. He has won numerous awards for his research and teaching. He was born in 1951 and his graduate degrees in Applied Mathematics are from the Weizmann Institute in Israel. He is currently a Professor of Computer Science at Tel-Aviv University. Edward M. Reingold was born in Chicago, Illinois in 1945. He has an undergraduate degree in Mathematics from Illinois Institute of Technology and a Ph.D. in Computer Science from Cornell University. Reingold has been at the University of Illinois at Urbana-Champaign since 1970; he now a Professor of Computer Science there. His research interests are in theoretical computer science, especially the design and analysis of algorithms and data structures. A Fellow of the Association for Computing Machinery since 1995, Reingold has authored or co-authored over fifty research papers and nine books; his papers on backtrack search, generation of combinations, weight-balanced binary trees, and drawing of trees and graphs are considered classics. He has won awards for his undergraduate and graduate teaching. Reingold is intensely interested in calendars and their computer implementation: in addition to Calendrical Tabulations and Calendrical Calculations, he is the author and maintainer of the calendar/diary part of GNU Emacs.
© 2003-2018. All Rights Reserved. Eclipse Commerce Pty Ltd - ACN: 122 110 687 - ABN: 49 122 110 687