Search Results for Dynamics.

Yazar

Češka, Milan. editor. (orcid)0000-0002-0300-9727

Format:

Electronic Resources

Alıntı:

-- Deep Abstractions of Chemical Reaction Networks -- Derivation of A Biomass Proxy for Dynamic Analysis

Yazar

Mazzara, Manuel. editor.

Format:

Electronic Resources

Alıntı:

-- Maximally-Polyvariant Partial Evaluation in Polynomial Time -- Dynamics Security Policies and Process Opacity for Timed

Yazar

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

Format:

Electronic Resources

Alıntı:

-- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of

Yazar

Iida, Shusaku. editor.

Format:

Electronic Resources

Alıntı:

Architectures -- Behaviour, Interaction and Dynamics -- Partially Ordered Knowledge Sharing and Fractionated

	{displayName}	{count}
{error}