Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
programme function » programming function, programme action, programs functional
function function » function functional, functions functional, function dysfunction
proofs programme » proofs programs, proofs program, proofs programming
parallel proofs » parallel proof, parallel process, parallel prolog
function https » functions https, fiction https
programme function » programming function, programme action, programs functional
function function » function functional, functions functional, function dysfunction
proofs programme » proofs programs, proofs program, proofs programming
parallel proofs » parallel proof, parallel process, parallel prolog
function https » functions https, fiction https
1
Опубликовано 2013
Оглавление:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2013
Оглавление:
“...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2013
Оглавление:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2015
Оглавление:
“... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2012
Оглавление:
“... Hessian Curves -- Reduction-Centric Non-programmable Security Proof for the Full Domain Hash in the Random...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2015
Оглавление:
“... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...”Полный текст
Электронный ресурс
eКнига