Cărți de Dale Miller

Autor Dale Miller

13 aug 2022

Preț: 118^.56 lei

6-8 săpt.

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7679

Editat de Chris Hawblitzel et al.

noi 2012

Preț: 323^.90 lei 404^.88 lei

6-8 săpt.

-20%

Programming with Higher-Order Logic

Autor Dale Miller et al.

10 iun 2012

Preț: 326^.17 lei 407^.72 lei

6-8 săpt.

-20%

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7364

Editat de Bernhard Gramlich et al.

20 iun 2012

Preț: 338^.63 lei 423^.29 lei

6-8 săpt.

-20%

John Stuart Mill and the Art of Life

Editat de Ben Eggleston et al.

22 dec 2010

Preț: 624^.87 lei 856^.92 lei

31-37 zile

-27%

Cultural Divides: Understanding and Overcoming Group Conflict

Editat de Deborah Prentice et al.

22 aug 2001

Preț: 217^.06 lei

Indisponibil temporar