Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings Lecture Notes in Computer Science, nr. 5123 Editat de Aarti Gupta et al. 17 iun 2008 Paperback Preț: 793.92 lei 992.40 lei 3-5 săpt. -20%
Performance Analysis of Real-Time Embedded Software Autor Yau-Tsun Steven Li et al. 30 noi 1998 Hardback Preț: 617.83 lei 726.85 lei 6-8 săpt. -15%
Asynchronous Circuit Design for VLSI Signal Processing Editat de Sharad Malik et al. 31 mar 1994 Hardback Preț: 931.61 lei 1136.11 lei 6-8 săpt. -18%