1
Publié 2006
Table des matières: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
Accéder au texte intégral
Électronique eBook
2
Publié 2010
Table des matières: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
Accéder au texte intégral
Électronique eBook
3
Publié 2012
Table des matières: ... in Parameterized Algorithmics -- Scott Is Always Simple -- Simple Models for Recursive Schemes -- Unordered...
Accéder au texte intégral
Électronique eBook
4
Publié 2010
Table des matières: ... Performance Computing -- Trust Worthy Architecture for Mobile Ad Hoc Network Environment -- A Cross Layer...
Accéder au texte intégral
Électronique eBook