الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
certification functionals » verification functional, identification functional, defuzzification functionals
computing certification » computers certification, computers cerification, combating desertification
functionals function » function function, functions functional, function dysfunction
function https » functions https, fiction https
certification functionals » verification functional, identification functional, defuzzification functionals
computing certification » computers certification, computers cerification, combating desertification
functionals function » function function, functions functional, function dysfunction
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...”احصل على النص الكامل
الكتروني
كتاب الكتروني