1
Vydáno 2010
Obsah: ... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2007
Obsah: ... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...
Získat plný text
Elektronický zdroj E-kniha
3
Vydáno 2015
Obsah: ... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2005
Obsah: ... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...
Získat plný text
Elektronický zdroj E-kniha
5
Vydáno 2008
Obsah: ...Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA...
Získat plný text
Elektronický zdroj E-kniha
6
Vydáno 2008
Obsah: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
Získat plný text
Elektronický zdroj E-kniha
7
Vydáno 2010
Obsah: ... Requirements Based on Patterns -- A Metamodel for Software Requirement Patterns -- Validation...
Získat plný text
Elektronický zdroj E-kniha
8
Vydáno 2010
Obsah: ...-Order Groups -- Fully Secure Functional Encryption: Attribute-Based Encryption and (Hierarchical) Inner...
Získat plný text
Elektronický zdroj E-kniha
9
Vydáno 2007
Obsah: ...Keynotes -- Modeling Workflow Patterns from First Principles -- Heart Modeling, Computational...
Získat plný text
Elektronický zdroj E-kniha
10
Vydáno 2013
Obsah: ...Some Properties of Logic N-GLukG -- The Inverse Method for Many-Valued Logics -- A Parametric...
Získat plný text
Elektronický zdroj E-kniha
11
Vydáno 2007
Obsah: ...Invited Talks -- Pattern Recognition and Information Fusion Using Belief Functions: Some Recent...
Získat plný text
Elektronický zdroj E-kniha
12
Vydáno 2015
Obsah: ... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...
Získat plný text
Elektronický zdroj E-kniha
13
Obsah: ... and Analysis.-3.2.1 Safety.-3.2.2 Validity -- 3.2.3 Predictive Value -- 3.3 Treatments.-3.3.1 Abortion...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání