Yazar
Guan, Nan. editor.
Format:
Electronic Resources
Alıntı:
Control Structures and Microprogramming. https://scigraph.springernature.com/ontologies/product
Yazar
Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153
Format:
Electronic Resources
Alıntı:
Control Structures and Microprogramming. https://scigraph.springernature.com/ontologies/product
View Other Search Results
Yazar
Fränzle, Martin. editor.
Format:
Electronic Resources
Alıntı:
are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control
Yazar
Desmedt, Yvo. editor.
Format:
Electronic Resources
Alıntı:
authentication; usability & risk perception; access control; computer security; privacy attacks; cryptography.
Yazar
Akama, Seiki. editor.
Format:
Electronic Resources
Alıntı:
Artificial Neural Network for Structuring Statistical Process Control in Electrical Engineering
Yazar
Meyer, Bertrand. editor.
Format:
Electronic Resources
Alıntı:
cyber-physical systems -- a control-theoretic approach to self-adaptive systems and an application to cloud-based
Yazar
Tuosto, Emilio. editor.
Format:
Electronic Resources
Alıntı:
control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design
Yazar
Zamani, Majid. editor.
Format:
Electronic Resources
Alıntı:
Tutorials -- Correctness and Optimality for Control Systems -- Modeling, Control, and Verification
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
-- Distributed Synthesis of State-Dependent Switching Control -- Compositional Analysis of Boolean Networks Using
Yazar
Bošnački, Dragan. editor.
Format:
Electronic Resources
Alıntı:
Action-Based Probabilistic Operators -- SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space
Yazar
Steffen, Bernhard. editor.
Format:
Electronic Resources
Alıntı:
unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame
Yazar
Câmpeanu, Cezar. editor.
Format:
Electronic Resources
Alıntı:
Control -- Descriptional Complexity of Graph-controlled Insertion-deletion Systems -- Operations on Weakly
Arama Sonuçlarını Sınırlandır
Daraltılmış: