Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings Lecture Notes in Computer Science, nr. 6255 Editat de Ana Cavalcanti et al. 11 aug 2010 Paperback Preț: 332.64 lei 415.80 lei 3-5 săpt. -20%
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers Lecture Notes in Computer Science, nr. 7681 Editat de Burkhard Wolff et al. 4 ian 2013 Paperback Preț: 418.77 lei 523.47 lei 6-8 săpt. -20%
FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. Lecture Notes in Computer Science, nr. 1051 Editat de Marie-Claude Gaudel et al. 6 mar 1996 Paperback Preț: 653.10 lei 816.38 lei 6-8 săpt. -20%
TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings Lecture Notes in Computer Science, nr. 668 Editat de Marie-Claude Gaudel et al. 6 apr 1993 Paperback Preț: 655.66 lei 819.58 lei 6-8 săpt. -20%