在您的搜尋 主題建議
搜索替代詞:
functions computational » function computation, directions computational, section computational
programming validating » programming evaluating, programming writing, programming balancing
functions computation » function computation, functions composition, function composition
validating program » evaluating program, facilitating program, evaluating programs
program cetus » program impetus, program costs, program codes
1
封面圖片
出版 2005
書本目錄: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
2
封面圖片
出版 2005
書本目錄: “...Part II: Mathematical responses to industrial problems: a framework for validation of computer...”
Conference Proceeding 圖書
加到收藏夾
Saved in:
3
封面圖片
出版 2006
書本目錄: “...: Conditional Random Fields for Logical Sequences -- Unsupervised Multiple-Instance Learning for Functional...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
檢索工具: 得到RSS訂閱 — 推薦此搜索 — 保存搜索