在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
computation programming » communication programming, computation programmatic, computing programming
deduction computation » prediction computation, detection computational, education computational
programming system » programming series
system array » systems array, system arab, system area
computation programming » communication programming, computation programmatic, computing programming
deduction computation » prediction computation, detection computational, education computational
programming system » programming series
system array » systems array, system arab, system area
1
出版 2013
書本目錄:
“... Array-Based Systems with Applications to Security-Aware Workflows -- Presburger Arithmetic in Memory...”獲取全文
電子
電子書
2
出版 2010
書本目錄:
“... of Comparative Similarity over Arbitrary Distance Spaces -- Extended Computation Tree Logic -- Using Causal...”獲取全文
電子
電子書
3
出版 2007
書本目錄:
“... with Cooperating Analysis Plugins -- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification...”獲取全文
電子
電子書
4
出版 2006
書本目錄:
“... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...”獲取全文
電子
電子書
5
出版 2010
書本目錄:
“... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”獲取全文
電子
電子書
6
出版 2006
書本目錄:
“... Programming Language -- Distance-Based Repairs of Databases -- Natural Deduction Calculus for Linear-Time...”獲取全文
電子
電子書
7
出版 2013
書本目錄:
“... for Verification of Data-Centric Processes -- Bounded Proofs and Step Frames -- Compression of Propositional...”獲取全文
電子
電子書