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
Bonsangue, Marcello M. editor.
Format:
Electronic Resources
Alıntı:
-- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra -- Algebraic
View Other Search Results
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
Maler, Oded. editor.
Format:
Electronic Resources
Alıntı:
Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013
Yazar
Norman, Gethin. editor.
Format:
Electronic Resources
Alıntı:
Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy
Arama Sonuçlarını Sınırlandır
Daraltılmış: