1
Publicado 2006
Tabla de Contenidos: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
Enlace del recurso
Electrónico eBook
2
Publicado 2010
Tabla de Contenidos: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
Enlace del recurso
Electrónico eBook
3
Publicado 2012
Tabla de Contenidos: ... in Parameterized Algorithmics -- Scott Is Always Simple -- Simple Models for Recursive Schemes -- Unordered...
Enlace del recurso
Electrónico eBook
4
Publicado 2010
Tabla de Contenidos: ... Performance Computing -- Trust Worthy Architecture for Mobile Ad Hoc Network Environment -- A Cross Layer...
Enlace del recurso
Electrónico eBook