Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programme function » programming function, programme action, programs functional
function function » function functional, functions functional, function dysfunction
proof programme » food programme, book programme, proofs programs
parallel proof » parallel prolog, parallel probe, parallel bloom
function https » functions https, fiction https
programme function » programming function, programme action, programs functional
function function » function functional, functions functional, function dysfunction
proof programme » food programme, book programme, proofs programs
parallel proof » parallel prolog, parallel probe, parallel bloom
function https » functions https, fiction https
1
Published 2013
Table of Contents:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... Hessian Curves -- Reduction-Centric Non-programmable Security Proof for the Full Domain Hash in the Random...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...”View full text
Electronic
eBook