18 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Harel, David, 1950-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format:
Electronic Resources
Alıntı:
Dynamic logic / Harel, David, 1950-
Yazar
Kosowski, Adrian. editor.
Format:
Electronic Resources
Alıntı:
, automata, and dynamics; and logic and games.
View Other Search Results
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
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
Lluch Lafuente, Alberto. editor.
Format:
Electronic Resources
Alıntı:
Protocol -- Improving Gossip Dynamics through Overlapping Replicates -- From Modelling to Systematic
Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
-- Reversible causal graph dynamics -- Boosting Reversible Pushdown Machines By Preprocessing -- Reversible
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.
18 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: