Yazar
Laurent, Anne. editor.
Format:
Electronic Resources
Alıntı:
logistic regression on Markov chains for crop rotation modelling -- Intelligent measurement and control for
Yazar
Laurent, Anne. editor.
Format:
Electronic Resources
Alıntı:
logistic regression on Markov chains for crop rotation modelling -- Intelligent measurement and control for
Yazar
Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001
Format:
Electronic Resources
Alıntı:
Reprogramming of Biological Network Fate -- Control Variates for Stochastic Simulation of Chemical Reaction
Yazar
Kurahashi, Setsuya. editor.
Format:
Electronic Resources
Alıntı:
fine motor control, often accompanied by thoughtful planning. The involvement of body, environment, and
Yazar
Rovatsos, Michael. editor.
Format:
Electronic Resources
Alıntı:
Enforcing Semantic Obligations for Access Control -- Coupling Regulative and Constitutive Dimensions in
Yazar
Jones, Cliff. editor.
Format:
Electronic Resources
Alıntı:
Experiences -- Formal Verification of Lunar Rover Control Software Using UPPAAL -- Formal Verification of a
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Verification Errors -- JDart: A Dynamic Symbolic Analysis Framework -- Diagnostic Information for Control
Yazar
Biere, Armin. editor.
Format:
Electronic Resources
Alıntı:
Verified Document Confidentiality -- VAC - Verifier of Administrative Role-Based Access Control Policies
Yazar
Csuhaj-Varjú, Erzsébet. editor.
Format:
Electronic Resources
Alıntı:
Graphs and Beyond -- Combinatorial Voter Control in Elections -- An Improved Deterministic #SAT Algorithm
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Human-in-the-Loop Control Systems -- Learning Regular Languages over Large Alphabets -- Verification of Concurrent
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Evolving Distributed Control System Using an Event-Based Approach -- Requirements Driven Data Warehouse
Arama Sonuçlarını Sınırlandır
Daraltılmış: