Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs function » programs functional, programme function, programs fiction
function function » function functional, functions functional, function dysfunction
parallel spark » parallel sparse, parallel mark, parallel scara
spark programs » space programs, park program, span programs
function https » functions https, fiction https
programs function » programs functional, programme function, programs fiction
function function » function functional, functions functional, function dysfunction
parallel spark » parallel sparse, parallel mark, parallel scara
spark programs » space programs, park program, span programs
function https » functions https, fiction https
1
Published 2014
Table of Contents:
“... There Yet? 20 Years of Industrial Theorem Proving with SPARK -- Towards a Formally Verified Proof Assistant...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“...Invited Talks -- Data Analysis in the Life Sciences — Sparking Ideas — -- Machine Learning...”View full text
Electronic
eBook