Yazar
Bojańczyk, Mikołaj. editor.
Format:
Electronic Resources
Alıntı:
semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and
Yazar
Potapov, Igor. editor.
Format:
Electronic Resources
Alıntı:
infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating
View Other Search Results
Yazar
Stepney, Susan. editor. (orcid)0000-0003-3146-5401
Format:
Electronic Resources
Alıntı:
hypercomputation; chaos and dynamical systems based computing; granular, fuzzy and rough computing; mechanical
Yazar
Abate, Alessandro. editor.
Format:
Electronic Resources
Alıntı:
Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015
Yazar
Bonsangue, Marcello M. editor.
Format:
Electronic Resources
Alıntı:
-- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra -- Algebraic
Yazar
Jansen, David N. editor. (orcid)0000-0002-6636-3301
Format:
Electronic Resources
Alıntı:
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing
Yazar
Hague, Matthew. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between
Yazar
Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699
Format:
Electronic Resources
Alıntı:
Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA
Yazar
Lluch Lafuente, Alberto. editor.
Format:
Electronic Resources
Alıntı:
range of topics and techniques related to system coordination, including: programming and communication
Yazar
Ganty, Pierre. editor. (orcid)0000-0002-3625-6003
Format:
Electronic Resources
Alıntı:
Verification and Evaluation of Computer and Communication Systems 13th International Conference
Yazar
Maler, Oded. editor.
Format:
Electronic Resources
Alıntı:
Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013
Arama Sonuçlarını Sınırlandır
Daraltılmış: