Filtre: Calculatoare şi IT

Cărți de Adenilso Simao

Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6435

Editat de Alexandre Petrenko et al.

8 oct 2010

Preț: 322^.92 lei 403^.65 lei

3-5 săpt.

-20%

Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12545

Editat de Violet Ka I Pun et al.

25 noi 2020

Preț: 324^.86 lei 406^.08 lei

6-8 săpt.

-20%

Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Lecture Notes in Computer Science, nr. 7021

Editat de Adenilso Simao et al.

28 oct 2011

Preț: 403^.12 lei 503^.90 lei

6-8 săpt.

-20%

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Lecture Notes in Computer Science, nr. 6527

Editat de Jim Davies et al.

23 mar 2011

Preț: 324^.23 lei 405^.29 lei

6-8 săpt.

-20%