Yazar
Hofman, Piotrek. editor.
Format:
Electronic Resources
Alıntı:
languages; codes; efficient text algorithms; symbolic dynamics; decision problems; relationships to
Yazar
Brlek, Srečko. editor.
Format:
Electronic Resources
Alıntı:
languages -- Codes; efficient text algorithms -- Symbolic dynamics; decision problems -- Relationships to
View Other Search Results
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
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
Beierle, Christoph. editor.
Format:
Electronic Resources
Alıntı:
selected from 52 submissions. The papers address various topics such as database design, dynamics of
Yazar
Mercaş, Robert. editor. (orcid)0000-0001-6034-433X
Format:
Electronic Resources
Alıntı:
, symbolic dynamics, numeration systems, text processing, number theory, etc.
Yazar
Iida, Shusaku. editor.
Format:
Electronic Resources
Alıntı:
Architectures -- Behaviour, Interaction and Dynamics -- Partially Ordered Knowledge Sharing and Fractionated
Yazar
Blackburn, Patrick. editor.
Format:
Electronic Resources
Alıntı:
Interpolation -- Dynamic Term-Modal Logic for Epistemic Social Network Dynamics -- Analyzing Echo Chambers: A
Yazar
van der Hoek, Wiebe. editor.
Format:
Electronic Resources
Alıntı:
dynamics -- Informational Dynamics of `Might' Assertions -- A poor man's epistemic logic based on
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Verification Errors -- JDart: A Dynamic Symbolic Analysis Framework -- Diagnostic Information for Control-Flow
Arama Sonuçlarını Sınırlandır
Daraltılmış: