Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionalities function » functionaries function, functionals function, functionalities citation
based functionalities » basic functionalities, unused functionalities, new functionalities
parallel notation » parallel negotiation, parallel rotational, parallel isolation
notation based » annotation based, citation based, equation based
function https » functions https, fiction https
functionalities function » functionaries function, functionals function, functionalities citation
based functionalities » basic functionalities, unused functionalities, new functionalities
parallel notation » parallel negotiation, parallel rotational, parallel isolation
notation based » annotation based, citation based, equation based
function https » functions https, fiction https
1
Published 2006
Table of Contents:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... with Parallel Rewriting for Chain Code Picture Languages -- Base-Complexity Classifications of QCB0-Spaces...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... -- Generation of View Representation from View Points on Spiral Trajectory -- Gradient Based Edge Detection...”View full text
Electronic
eBook