الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
programming validation » programming validating, programming evaluation, programming animation
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
validation methods » valuation methods, evaluation methods, visualization methods
methods cases » methods case, methods classes, methods lasers
programming validation » programming validating, programming evaluation, programming animation
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
validation methods » valuation methods, evaluation methods, visualization methods
methods cases » methods case, methods classes, methods lasers
1
منشور في 2010
جدول المحتويات:
“... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2007
جدول المحتويات:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2015
جدول المحتويات:
“... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2005
جدول المحتويات:
“... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2008
جدول المحتويات:
“...Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2008
جدول المحتويات:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2010
جدول المحتويات:
“... Requirements Based on Patterns -- A Metamodel for Software Requirement Patterns -- Validation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2010
جدول المحتويات:
“...-Order Groups -- Fully Secure Functional Encryption: Attribute-Based Encryption and (Hierarchical) Inner...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2007
جدول المحتويات:
“...Keynotes -- Modeling Workflow Patterns from First Principles -- Heart Modeling, Computational...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2013
جدول المحتويات:
“...Some Properties of Logic N-GLukG -- The Inverse Method for Many-Valued Logics -- A Parametric...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2007
جدول المحتويات:
“...Invited Talks -- Pattern Recognition and Information Fusion Using Belief Functions: Some Recent...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2015
جدول المحتويات:
“... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
جدول المحتويات:
“... and Analysis.-3.2.1 Safety.-3.2.2 Validity -- 3.2.3 Predictive Value -- 3.3 Treatments.-3.3.1 Abortion...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني