1
Publicerad 2007
Innehållsförteckning: ... in Effectively Propositional Logic -- Combination Methods for Satisfiability and Model-Checking of Infinite-State...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2015
Innehållsförteckning: ...Image and Video Processing -- An Efficient Hybrid Steganography Method Based on Edge Adaptive...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2013
Innehållsförteckning: ...: The Lattice Boltzmann method as a general framework for blood flow modelling and simulations -- 11...
Hämta fulltext
Elektronisk E-bok