Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
parallel spark » parallel sparse, parallel mark, parallel scara
function https » functions https, fiction https
spark program » spark programs, park program, space program
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
parallel spark » parallel sparse, parallel mark, parallel scara
function https » functions https, fiction https
spark program » spark programs, park program, space program
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