Yazar
Ganty, Pierre. editor. (orcid)0000-0002-3625-6003
Format:
Electronic Resources
Alıntı:
Modeling Concurrent Behaviors as Words,- Non-Standard Zeno-Free Simulation Semantics for Hybrid
Yazar
Khendek, Ferhat . editor.
Format:
Electronic Resources
Alıntı:
Specifications -- An Arithmetic Semantics for GRL Goal Models with Function Generation -- Textual User
View Other Search Results
Yazar
Vinh, Phan Cong. editor. (orcid)0000-0002-0797-0152
Format:
Electronic Resources
Alıntı:
-- Hedge Algebra Approach For Semantics-Based Algorithm To Improve Result Of Time Series Forecasting
Yazar
Hammoudi, Slimane. editor.
Format:
Electronic Resources
Alıntı:
tooling, formal semantics and behaviour modelling, and MDD-based product-line engineering.
Yazar
Iklé, Matthew. editor.
Format:
Electronic Resources
Alıntı:
Computational Theory for Life-Long Learning of Semantics -- Cumulative Learning with Causal-Relational Models
Yazar
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093
Format:
Electronic Resources
Alıntı:
Privacy-Preserving Ontology Publishing -- Clustering of Argument Graphs Using Semantic Similarity Measures
Yazar
Lohstroh, Marten. editor.
Format:
Electronic Resources
Alıntı:
Preservation in Multicore Systems -- A Semantic Account of Rigorous Simulation -- On Determinism -- Lossy
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and
Yazar
Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712
Format:
Electronic Resources
Alıntı:
Emptiness Checks with Partial Order Reductions -- A Coalgebraic Semantics Framework for Quantum Systems
Yazar
Aceto, Luca. editor.
Format:
Electronic Resources
Alıntı:
; semantics and reasoning; real-time and distributed systems; and modeling and simulation.
Yazar
Zomaya, Albert Y. editor.
Format:
Electronic Resources
Alıntı:
Engines -- Unbounded Data Processing -- Semantic Data Integration -- Linked Data Management -- Non-native
Yazar
Kunkel, Julian M. editor.
Format:
Electronic Resources
Alıntı:
-- Dynamically Adaptable I/O Semantics for High Performance Computing -- Predicting Performance of Non-contiguous
Arama Sonuçlarını Sınırlandır
Daraltılmış: