Cărți de Xingyuan Zhang

Interactive Theorem Proving

Lecture Notes in Computer Science, nr. 9236

Editat de Christian Urban et al.

27 aug 2015

Preț: 344^.83 lei 431^.04 lei

43-57 zile

-20%

Deep Integration, Global Firms, and Technology Spillovers

Advances in Japanese Business and Economics, nr. 26

Autor Naoto Jinji et al.

11 noi 2021

Preț: 391^.53 lei

43-57 zile