Cărți de Dale Miller

Autor Dale Miller

13 aug 2022

Preț: 119^.60 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ț: 326^.70 lei 408^.37 lei

6-8 săpt.

-20%

Programming with Higher-Order Logic

Autor Dale Miller et al.

10 iun 2012

Preț: 328^.99 lei 411^.23 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ț: 341^.55 lei 426^.94 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^.89 lei

31-38 zile

-27%

Cultural Divides: Understanding and Overcoming Group Conflict

Editat de Deborah Prentice et al.

22 aug 2001

Preț: 218^.97 lei

Indisponibil temporar