Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
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
Εξώφυλλο
ανά Juth, Niklas., Juth, Niklas., Munthe, Christian.
Έκδοση 2012
Πίνακας περιεχομένων: “... and Analysis.-3.2.1 Safety.-3.2.2 Validity -- 3.2.3 Predictive Value -- 3.3 Treatments.-3.3.1 Abortion...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης