ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
Nachum Dershowitz has written 3 work(s)
Search for other authors with the same name
displaying 1 to 3 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9783642037443 Cover for 9780521885409 Cover for 9783540510819
1
cover image for 9783642037443
Product Description: This book constitutes the refereed proceedings of the 8th International Conference on Unconventional Computation, UC 2009, held in Ponta Delgada, Portugal, in September 2009. The 18 revised full papers presented together with 8 invited talks, 3 tutorials and 5 posters were carefully reviewed and selected from 40 submissions...read more
Edition summary (click for prices and details):

Paperback:

9783642037443 | Springer-Verlag New York Inc, September 1, 2009, cover price $79.95 | About this edition: This book constitutes the refereed proceedings of the 8th International Conference on Unconventional Computation, UC 2009, held in Ponta Delgada, Portugal, in September 2009.

2
cover image for 9780521885409
Product Description: A valuable resource for working programmers, as well as a fount of useful algorithmic tools for computer scientists, this new edition of the popular calendars book expands the treatment of the previous edition to new calendar variants: generic cyclical calendars and astronomical lunar calendars as well as the Korean, Vietnamese, Aztec, and Tibetan calendars...read more
Edition summary (click for prices and details):

Hardcover:

9780521885409 | 3 edition (Cambridge Univ Pr, December 31, 2007), cover price $116.00 | About this edition: A valuable resource for working programmers, as well as a fount of useful algorithmic tools for computer scientists, this new edition of the popular calendars book expands the treatment of the previous edition to new calendar variants: generic cyclical calendars and astronomical lunar calendars as well as the Korean, Vietnamese, Aztec, and Tibetan calendars.

3
cover image for 9783540510819
Product Description: Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, programming language design, semantics, and implementations, and symbolic and algebraic manipulation...read more
Edition summary (click for prices and details):

Paperback:

9783540510819 | Springer Verlag, June 1, 1996, cover price $89.95 | About this edition: Rewriting has always played an important role in symbolic manipulation and automated deduction systems.

displaying 1 to 3 | at end