Yazar
Dong, Hao.
Format:
Kitap
Alıntı:
Machine learning.
Yazar
Beklemishev, Lev D. editor.
Format:
Electronic Resources
Alıntı:
theory of order, abstract state machines, formal methods, foundations of computer science, security, and
View Other Search Results
Yazar
Fernández, Maribel. author.
Format:
Electronic Resources
Alıntı:
machines and structural operational semantics. Programming Languages and Operational Semantics gives an
Yazar
Dathan, Brahma. author.
Format:
Electronic Resources
Alıntı:
-- Exploring Inheritance -- Modelling with Finite State Machines -- Interactive Systems and the MVC
Yazar
Pop, Florin. editor.
Format:
Electronic Resources
Alıntı:
Machines Heterogeneity on Datacenter Power Consumption in Data-Intensive Applications -- Implementing the
Yazar
Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736
Format:
Electronic Resources
Alıntı:
, Metamodeling and Protocols -- Deriving Distributed Design Models from Global State Machines Requirements
Yazar
Nielsen, Frank. author.
Format:
Electronic Resources
Alıntı:
clusters, followed by machine learning classification, and an introduction to graph analytics. This part
Yazar
Rayadurgam, Sanjai. editor.
Format:
Electronic Resources
Alıntı:
Machines -- Hierarchical Verification of Quantum Circuits -- Correctness and Certification -- Semantics for
Yazar
Chatterjee, Mainak. editor.
Format:
Electronic Resources
Alıntı:
Reconfiguration for Paxos State Machines -- A Causal Checkpointing Algorithm for Mobile Computing Environments
Arama Sonuçlarını Sınırlandır
Daraltılmış: