Yazar
Baltag, Alexandru. editor.
Format:
Electronic Resources
Alıntı:
Johan van Benthem on Logic and Information Dynamics Baltag, Alexandru. editor.
Yazar
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
Format:
Electronic Resources
Alıntı:
Modeling and Semantics -- Testing -- Analysis -- Probabilities -- System Dynamics -- Applications.
View Other Search Results
Yazar
Zeume, Thomas. author.
Format:
Electronic Resources
Alıntı:
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity / Zeume
Yazar
Lintas, Alessandra. editor.
Format:
Electronic Resources
Alıntı:
-- Neuromorphic Hardware -- Brain Topology and Dynamics -- Neural Networks Meet Natural and Environmental Sciences
Yazar
Charlier, Émilie. editor.
Format:
Electronic Resources
Alıntı:
-- Efficient text algorithms -- Symbolic dynamics -- Decision problems -- Relationships to complexity theory
Yazar
Lintas, Alessandra. editor.
Format:
Electronic Resources
Alıntı:
-- Neuromorphic Hardware -- Brain Topology and Dynamics -- Neural Networks Meet Natural and Environmental Sciences
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
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
-- Reversible causal graph dynamics -- Boosting Reversible Pushdown Machines By Preprocessing -- Reversible
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
Gerdt, Vladimir P. editor.
Format:
Electronic Resources
Alıntı:
Simulation of Satellite Dynamics with Aerodynamic Attitude Control System -- Finding Multiple Solutions in
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.
Arama Sonuçlarını Sınırlandır
Daraltılmış: