在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
certification functionality » classification functionality, verification functional, application functionality
computers certification » computers communications
functionality function » functionals function, functionaries function, functional functions
parallel computers » parallel computing
function https » functions https, fiction https
certification functionality » classification functionality, verification functional, application functionality
computers certification » computers communications
functionality function » functionals function, functionaries function, functional functions
parallel computers » parallel computing
function https » functions https, fiction https
1
出版 2006
書本目錄:
“... Transducer -- A Computational Approach to Pocklington Certificates in Type Theory -- Defining and Reasoning...”獲取全文
電子
電子書
2
出版 2014
書本目錄:
“... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”獲取全文
電子
電子書
3
出版 2013
書本目錄:
“... and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm...”獲取全文
電子
電子書
4
出版 2014
書本目錄:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”獲取全文
電子
電子書
5
出版 2013
書本目錄:
“... Diffusion Collaborated with Non Local Means -- Various Aspects of Computer Security A Practical Certificate...”獲取全文
電子
電子書
6
出版 2008
書本目錄:
“... Functional Language -- On Reachability Games of Ordinal Length -- An Algorithm for Computation of the Scene...”獲取全文
電子
電子書
7
出版 2007
書本目錄:
“... of Group-Based Key Agreement Protocols Using Subgroup Distance Functions -- Cryptanalysis -- Length Based...”獲取全文
電子
電子書
8
出版 2008
書本目錄:
“...-on-Tangent vs. Tangent-on-Reverse for Second Differentiation of Constrained Functionals -- Parallel Reverse...”獲取全文
電子
電子書
9
出版 2014
書本目錄:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”獲取全文
電子
電子書
10
出版 2005
書本目錄:
“... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...”獲取全文
電子
電子書
11
出版 2013
書本目錄:
“... Computation and Secret Sharing -- Securely Solving Simple Combinatorial Graph Problems -- Parallel and Dynamic...”獲取全文
電子
電子書
12
出版 2015
書本目錄:
“... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...”獲取全文
電子
電子書
13
出版 2006
書本目錄:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”獲取全文
電子
電子書
14
出版 2014
書本目錄:
“... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”獲取全文
電子
電子書