 |
|
|
|
| 1. |
|
Calendrical Calculations
Nachum Dershowitz, Edward M Reingold
E-bok. Cambridge University Press, 2007.
|
 |
| 2. |
|
Calendrical Calculations
Nachum Dershowitz, Edward M Reingold
E-bok. Cambridge University Press, 2007.
|
|
| 3. |
|
Fields of Logic and Computation III
Andreas Blass, Patrick Cgielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
Häftad. Springer Nature Switzerland AG, Schweiz, 2020.
|
|
| 4. |
|
Fields of Logic and Computation III
Andreas Blass, Patrick Cegielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
E-bok. Springer International Publishing, Schweiz, 2020.
|
|
| 5. |
|
Fields of Logic and Computation II
Lev D Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
Häftad. Springer International Publishing AG, Schweiz, 2015.
|
|
| 6. |
|
Fields of Logic and Computation II
Lev D Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
E-bok. Springer International Publishing, Schweiz, 2015.
|
|
| 7. |
|
Verification: Theory and Practice
Nachum Dershowitz
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2004.
|
|
| 8. |
|
Verification: Theory and Practice
Nachum Dershowitz
E-bok. Springer Berlin Heidelberg, Tyskland, 2004.
|
|
| 9. |
|
Rewriting Techniques and Applications
Nachum Dershowitz
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1989.
|
|
| 10. |
|
Conditional and Typed Rewriting Systems
Nachum Dershowitz, Naomi Lindenstrauss
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1995.
|
|
| 11. |
|
Logic for Programming, Artificial Intelligence, and Reasoning
Nachum Dershowitz, Andrei Voronkov
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2007.
|
|
| 12. |
|
Logic for Programming, Artificial Intelligence, and Reasoning
Nachum Dershowitz, Andrei Voronkov
E-bok. Springer Berlin Heidelberg, Tyskland, 2007.
|
|
| 13. |
|
Pillars of Computer Science
Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2008.
|
|
| 14. |
|
Pillars of Computer Science
Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
E-bok. Springer Berlin Heidelberg, Tyskland, 2008.
|
|
| 15. |
|
Unconventional Computation
Christian S Calude, Jose Felix Gomes Da Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2009.
|
|
| 16. |
|
Unconventional Computation
Christian S Calude, Jose Felix Gomes Da Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg
E-bok. Springer Berlin Heidelberg, Tyskland, 2009.
|
|
| 17. |
|
Fields of Logic and Computation
Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2010.
|
|
| 18. |
|
Fields of Logic and Computation
Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
E-bok. Springer Berlin Heidelberg, Tyskland, 2010.
|
|
| 19. |
|
Language, Culture, Computation: Computing - Theory and Technology
Nachum Dershowitz, Ephraim Nissan
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2014.
|
|
| 20. |
|
Language, Culture, Computation: Computing - Theory and Technology
Nachum Dershowitz, Ephraim Nissan
E-bok. Springer Berlin Heidelberg, Tyskland, 2014.
|
|
|
|
|
