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
Potapov, Igor. editor.
Format:
Electronic Resources
Alıntı:
languages, codes, efficient text algorithms, symbolic dynamics, decision problems, relationships to
Yazar
Shur, Arseny M. editor.
Format:
Electronic Resources
Alıntı:
Words and Languages, Variable Length Codes, Symbolic Dynamics, Cellular Automata, Polyominoes and
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
Yazar
Mäki, Uskali. editor.
Format:
Electronic Resources
Alıntı:
Policy -- Chapter 5. Social Epistemology, Debate Dynamics, and Truth Approximation; Gustavo Cevolani
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics
Yazar
Rojas, Ignacio. editor.
Format:
Electronic Resources
Alıntı:
dimensionality reduction methods applied to protein molecular dynamics -- Computational systems for modelling
Arama Sonuçlarını Sınırlandır
Daraltılmış: