1
Được phát hành 2013
Mục lục: ... in mastering the value function of security measures -- Reduction of computational cost in mutation testing...
lấy văn bản
Điện tử eBook
2
Được phát hành 2014
Mục lục: ...Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving...
lấy văn bản
Điện tử eBook