関連のトピックス ...
関連のトピックス ...
提案スペルによる検索:
programming decisions » programming decision, programming design, programming session
programming semantics » programming mathematics, programming series, programming secrets
function computation » function computing, function decomposition, section computational
arrays via » arrays a
programming decisions » programming decision, programming design, programming session
programming semantics » programming mathematics, programming series, programming secrets
function computation » function computing, function decomposition, section computational
arrays via » arrays a
1
出版事項 2005
目次:
“...Formal Approaches in Modelling -- On the Physical Formal and Semantic Frontiers Between Human...”全文の入手
電子媒体
eBook
2
出版事項 2015
目次:
“... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”全文の入手
電子媒体
eBook