1
Được phát hành 2007
Mục lục: ... in Effectively Propositional Logic -- Combination Methods for Satisfiability and Model-Checking of Infinite-State...
lấy văn bản
Điện tử eBook
2
Được phát hành 2015
Mục lục: ...Image and Video Processing -- An Efficient Hybrid Steganography Method Based on Edge Adaptive...
lấy văn bản
Điện tử eBook
3
Được phát hành 2013
Mục lục: ...: The Lattice Boltzmann method as a general framework for blood flow modelling and simulations -- 11...
lấy văn bản
Điện tử eBook