Theoretical Aspects of Computing - ICTAC 2004 Editat de Zhiming Liu et al. 8 mar 2005 Paperback Preț: 638.43 lei 798.03 lei 43-57 zile -20%
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings Lecture Notes in Computer Science, nr. 5256 Editat de Shaoying Liu et al. 8 oct 2008 Paperback Preț: 326.55 lei 408.19 lei 43-57 zile -20%
IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999 Editat de Keijiro Araki et al. 24 iun 1999 Paperback Preț: 630.01 lei 787.52 lei 43-57 zile -20%
RIMS Symposium on Software Science and Engineering II Editat de Eiichi Goto et al. mai 1986 Paperback Preț: 324.22 lei 405.27 lei 43-57 zile -20%
FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings Lecture Notes in Computer Science, nr. 2805 Editat de Keijiro Araki et al. 27 aug 2003 Paperback Preț: 652.07 lei 815.08 lei 43-57 zile -20%
High Performance Computing Editat de Constantine Polychronopoulos et al. 22 oct 1997 Paperback Preț: 344.17 lei 430.21 lei 43-57 zile -20%