Yazar
Kari, Jarkko. editor.
Format:
Electronic Resources
Alıntı:
Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku
Yazar
Hofman, Piotrek. editor.
Format:
Electronic Resources
Alıntı:
languages; codes; efficient text algorithms; symbolic dynamics; decision problems; relationships to
View Other Search Results
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
algorithms; symbolic dynamics; term rewriting; transducers; trees, tree languages and tree automata; weighted
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
computational biology and bioinformatics; string processing algorithms; symbolic dynamics; term rewriting
Yazar
Chaves, Madalena. editor.
Format:
Electronic Resources
Alıntı:
-- Combinatorial dynamics for regulatory networks -- Reactive models for biological regulatory networks -- Temporal
Yazar
Ferrarotti, Flavio. editor.
Format:
Electronic Resources
Alıntı:
submissions. The papers address various topics such as big data; database design; dynamics of information
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
dynamics; term rewriting; transducers; trees, tree languages and tree automata; weighted automata.
Yazar
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
Format:
Electronic Resources
Alıntı:
model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics
Yazar
Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699
Format:
Electronic Resources
Alıntı:
submissions. The topics of the conference include deal with dynamical, topological, ergodic and algebraic
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
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
Beierle, Christoph. editor.
Format:
Electronic Resources
Alıntı:
selected from 52 submissions. The papers address various topics such as database design, dynamics of
Arama Sonuçlarını Sınırlandır
Daraltılmış: