1
Veröffentlicht 2006
Inhaltsangabe: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2013
Inhaltsangabe: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2015
Inhaltsangabe: ... with Parallel Rewriting for Chain Code Picture Languages -- Base-Complexity Classifications of QCB0-Spaces...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2010
Inhaltsangabe: ... -- Generation of View Representation from View Points on Spiral Trajectory -- Gradient Based Edge Detection...
Volltext
Elektronisch E-Book