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