Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionals function » function function, functions functional, function dysfunction
parallel notation » parallel negotiation, parallel rotational, parallel isolation
based functionals » based functional, base functional, based functions
notation based » annotation based, citation based, equation based
function https » functions https, fiction https
functionals function » function function, functions functional, function dysfunction
parallel notation » parallel negotiation, parallel rotational, parallel isolation
based functionals » based functional, base functional, based functions
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