検索結果 - parallel spark programs functionals function https

提案スペルによる検索:
programs functionals » programs functional , programming functionals , program functionality
functionals function » function function , 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

表紙画像

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

出版事項 2014

目次: “... There Yet? 20 Years of Industrial Theorem Proving with SPARK -- Towards a Formally Verified Proof Assistant...”
全文の入手

電子媒体 eBook

2

表紙画像

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings /

出版事項 2005

目次: “...Invited Talks -- Data Analysis in the Life Sciences — Sparking Ideas — -- Machine Learning...”
全文の入手

電子媒体 eBook