1
Publicado em 2006
Sumário: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2012
Sumário: ... in Parameterized Algorithmics -- Scott Is Always Simple -- Simple Models for Recursive Schemes -- Unordered...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2010
Sumário: ... Performance Computing -- Trust Worthy Architecture for Mobile Ad Hoc Network Environment -- A Cross Layer...
Obter o texto integral
Recurso Electrónico livro electrónico