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é 2013
Table des matières: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Accéder au texte intégral
Électronique eBook
3
Publié 2015
Table des matières: ... with Parallel Rewriting for Chain Code Picture Languages -- Base-Complexity Classifications of QCB0-Spaces...
Accéder au texte intégral
Électronique eBook
4
Publié 2010
Table des matières: ... -- Generation of View Representation from View Points on Spiral Trajectory -- Gradient Based Edge Detection...
Accéder au texte intégral
Électronique eBook