Unconventional Computation Editat de Christian S. Calude et al. 28 aug 2009 Paperback Preț: 335.91 lei 419.88 lei 6-8 săpt. -20%
Conditional and Typed Rewriting Systems Editat de Nachum Dershowitz et al. 22 sep 1995 Paperback Preț: 339.95 lei 424.94 lei 6-8 săpt. -20%
Rewriting Techniques and Applications Editat de Nachum Dershowitz 22 mar 1989 Paperback Preț: 409.40 lei 6-8 săpt.
Verification: Theory and Practice Editat de Nachum Dershowitz 24 feb 2004 Paperback Preț: 675.79 lei 844.74 lei 6-8 săpt. -20%
Logic for Programming, Artificial Intelligence, and Reasoning Editat de Nachum Dershowitz et al. 8 oct 2007 Paperback Preț: 349.94 lei 437.43 lei 6-8 săpt. -20%
Pillars of Computer Science Editat de Arnon Avron et al. 8 feb 2008 Paperback Preț: 670.91 lei 838.64 lei 6-8 săpt. -20%
Fields of Logic and Computation II Lecture Notes in Computer Science, nr. 9300 Editat de Lev D. Beklemishev et al. 27 aug 2015 Paperback Preț: 336.75 lei 420.93 lei 6-8 săpt. -20%
Language, Culture, Computation: Computing - Theory and Technology Editat de Nachum Dershowitz et al. 27 noi 2014 Paperback Preț: 352.05 lei 440.06 lei 6-8 săpt. -20%