1
Publicado em 2007
Sumário: ... Programming -- Specifying and Verifying Programs in Spec# -- Basic Protocols: Specification Language...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2012
Sumário: ...-sensor Fusion Method -- Group Sparse Inverse Covariance Selection with a Dual Augmented Lagrangian Method...
Obter o texto integral
Recurso Electrónico livro electrónico