12 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Hofman, Piotrek. 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
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
Č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
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
Schaefer, Ina. editor.
Format:
Electronic Resources
Alıntı:
Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on
Yazar
Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
Format:
Electronic Resources
Alıntı:
dynamics, term rewriting, transducers, trees, tree languages and tree automata, and weighted automata.
Yazar
Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
Format:
Electronic Resources
Alıntı:
Maneuvers for Non-Deterministic, Accelerating Aircraft Dynamics -- Using Abstract Stobjs in ACL2 to Compute
Yazar
Hoshi, Mizuho. editor.
Format:
Electronic Resources
Alıntı:
; efficient text algorithms; symbolic dynamics; decision problems; relationships to complexity theory and
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics
12 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: