Yazar
Kosowski, Adrian. editor.
Format:
Electronic Resources
Alıntı:
, automata, and dynamics; and logic and games.
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
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
Format:
Electronic Resources
Alıntı:
Modeling and Semantics -- Testing -- Analysis -- Probabilities -- System Dynamics -- Applications.
Yazar
Brlek, Srečko. editor.
Format:
Electronic Resources
Alıntı:
languages -- Codes; efficient text algorithms -- Symbolic dynamics; decision problems -- Relationships to
Yazar
Zeume, Thomas. author.
Format:
Electronic Resources
Alıntı:
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity / Zeume
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
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
Charlier, Émilie. editor.
Format:
Electronic Resources
Alıntı:
-- Efficient text algorithms -- Symbolic dynamics -- Decision problems -- Relationships to complexity theory
Yazar
Lluch Lafuente, Alberto. editor.
Format:
Electronic Resources
Alıntı:
Protocol -- Improving Gossip Dynamics through Overlapping Replicates -- From Modelling to Systematic
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
Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703
Format:
Electronic Resources
Alıntı:
Relational Rules -- Learning Dynamics with Synchronous, Asynchronous and General Semantics -- Was the Year
Yazar
Mazzara, Manuel. editor.
Format:
Electronic Resources
Alıntı:
-- Maximally-Polyvariant Partial Evaluation in Polynomial Time -- Dynamics Security Policies and Process Opacity for Timed
Arama Sonuçlarını Sınırlandır
Daraltılmış: