Generative Programming and Component Engineering Editat de Frank Pfenning et al. 12 sep 2003 Paperback Preț: 327.12 lei 408.89 lei 6-8 săpt. -20%
Automated Deduction - CADE-21 Editat de Frank Pfenning 5 iul 2007 Paperback Preț: 333.22 lei 416.53 lei 6-8 săpt. -20%
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings Lecture Notes in Computer Science, nr. 822 Editat de Frank Pfenning 22 iun 1994 Paperback Preț: 322.93 lei 403.66 lei 6-8 săpt. -20%
Term Rewriting and Applications Editat de Frank Pfenning 26 iul 2006 Paperback Preț: 328.13 lei 410.16 lei 6-8 săpt. -20%
Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings Lecture Notes in Computer Science, nr. 7794 Editat de Frank Pfenning 20 feb 2013 Paperback Preț: 328.29 lei 410.37 lei 6-8 săpt. -20%