Filtre: Calculatoare şi IT

Cărți de Ganesh Gopalakrishnan

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6806

Editat de Ganesh Gopalakrishnan et al.

5 iul 2011

Preț: 343^.09 lei 428^.86 lei

6-8 săpt.

-20%

Computation Engineering: Applied Automata Theory and Logic

Autor Ganesh Gopalakrishnan

2 iun 2006

Preț: 717^.28 lei 896^.60 lei

6-8 săpt.

-20%

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings

Lecture Notes in Computer Science, nr. 1522

Editat de Ganesh Gopalakrishnan et al.

21 oct 1998

Preț: 331^.78 lei 414^.73 lei

6-8 săpt.

-20%