Cărți de Nachum Dershowitz

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

Lecture Notes in Computer Science, nr. 6300

Editat de Andreas Blass et al.

5 aug 2010

Preț: 638^.18 lei 797^.73 lei

3-5 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 5715

Editat de Christian S. Calude et al.

28 aug 2009

Preț: 322^.43 lei 403^.04 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 12180

Editat de Andreas Blass et al.

23 mai 2020

Preț: 322^.58 lei 403^.23 lei

6-8 săpt.

-20%

Calendrical Calculations: The Ultimate Edition

Autor Edward M. Reingold et al.

4 apr 2018

Preț: 301^.28 lei 376^.59 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 9300

Editat de Lev D. Beklemishev et al.

27 aug 2015

Preț: 321^.65 lei 402^.06 lei

6-8 săpt.

-20%

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, nr. 8001

Editat de Nachum Dershowitz et al.

27 noi 2014

Preț: 335^.28 lei 419^.10 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 4800

Editat de Arnon Avron et al.

8 feb 2008

Preț: 640^.74 lei 800^.93 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 4790

Editat de Nachum Dershowitz et al.

8 oct 2007

Preț: 336^.26 lei 420^.33 lei

6-8 săpt.

-20%

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Lecture Notes in Computer Science, nr. 2772

Editat de Nachum Dershowitz

24 feb 2004

Preț: 640^.74 lei 800^.93 lei

6-8 săpt.

-20%

Calendrical Tabulations, 1900–2200

Autor Edward M. Reingold et al.

15 sep 2002

Preț: 1337^.40 lei 1736^.88 lei

6-8 săpt.

-23%

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

Lecture Notes in Computer Science, nr. 968

Editat de Nachum Dershowitz et al.

22 sep 1995

Preț: 324^.50 lei 405^.63 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 355

Editat de Nachum Dershowitz

22 mar 1989

Preț: 389^.84 lei

6-8 săpt.