Yazar
Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
Format:
Electronic Resources
Alıntı:
Maneuvers for Non-Deterministic, Accelerating Aircraft Dynamics -- Using Abstract Stobjs in ACL2 to Compute
Yazar
Nóvoa, Henriqueta. editor.
Format:
Electronic Resources
Alıntı:
Based Simulation of Trust Dynamics in Dependence Networks -- Towards an IT-Based Coordination Platform
Yazar
Sako, Kazue. editor.
Format:
Electronic Resources
Alıntı:
Security and Dependability of Industrial Networks with Opinion Dynamics -- Searchable Encryption -- Dynamic
Yazar
Hammoudi, Slimane. editor.
Format:
Electronic Resources
Alıntı:
Dynamics Analysis -- Task-oriented Requirements Engineering for Personal Decision Support Systems
Yazar
Spirakis, Paul. editor.
Format:
Electronic Resources
Alıntı:
Synchronous Mobile Agents in Graphs -- The Dynamics and Stability of Probabilistic Population Processes
Yazar
Aceto, Luca. editor.
Format:
Electronic Resources
Alıntı:
Quantitative Regular Expressions -- Improving the Timed Automata Approach to Biological Pathway Dynamics
Yazar
Goldfarb, Veniamin. editor.
Format:
Electronic Resources
Alıntı:
-- Influence of layout features and parameters of a planetary gear on its dynamics and strength indicators, by
Yazar
Prattichizzo, Domenico. editor.
Format:
Electronic Resources
Alıntı:
Dynamics -- Influence of Scanning Velocity on Skin Vibration for Coarse Texture -- Judged roughness as a
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Verification Errors -- JDart: A Dynamic Symbolic Analysis Framework -- Diagnostic Information for Control-Flow
Yazar
Maedche, Alexander. editor.
Format:
Electronic Resources
Alıntı:
-- Design and Evaluation of a System Dynamics based Business Model Evaluation Method -- Towards Distributed
Yazar
Thomson, Robert. editor.
Format:
Electronic Resources
Alıntı:
Decision-Making Model of Incivility (MADI) -- Legislative Voting Dynamics in Ukraine -- Stop Words Are Not
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics
Arama Sonuçlarını Sınırlandır
Daraltılmış: