Yazar
Bezerra, Eduardo Augusto. author.
Format:
Electronic Resources
Alıntı:
of Finite State Machines -- Finite State Machines as Control Modules -- Processes in Details
Yazar
Goldfarb, Veniamin. editor.
Format:
Electronic Resources
Alıntı:
Mechanisms and Machine Science,
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
Gavrilova, Marina L. editor.
Format:
Electronic Resources
Alıntı:
Machine Learning. https://scigraph.springernature.com/ontologies/product-market-codes/I21010
Yazar
Ferreira, João Eduardo. editor. (orcid)0000-0001-9607-2014
Format:
Electronic Resources
Alıntı:
-- Data Service API Design for Data Analytics -- Virtual Machine Profiling for Analyzing Resource Usage of
Yazar
Jelasity, Márk. editor.
Format:
Electronic Resources
Alıntı:
Acceleration to KVM Virtual Machines in InfiniBand Clusters with rCUDA -- Benchmarking Wireless Protocols for
Yazar
Krimmer, Robert. editor. (orcid)0000-0002-0873-539X
Format:
Electronic Resources
Alıntı:
evidence produced from `e-voting machines' -- A New Method for Stratified Risk-Limiting Audits -- Rounding
Yazar
Alvim, Mário S. editor.
Format:
Electronic Resources
Alıntı:
-- Axiomatizing Team Equivalence for Finite-State Machines -- Asynchronous pi-calculus at work: the call-by-need
Yazar
Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842
Format:
Electronic Resources
Alıntı:
computational models, such as turing machines, finite automata, grammars, splicing systems and others. The topics
Yazar
Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622
Format:
Electronic Resources
Alıntı:
Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl
Yazar
Da Silva, Dilma. editor.
Format:
Electronic Resources
Alıntı:
Disk Images over WAN -- Live Migration of Virtual Machines in OpenStack: A Perspective from Reliability
Yazar
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331
Format:
Electronic Resources
Alıntı:
Characteristics -- A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems -- Safety
Arama Sonuçlarını Sınırlandır
Daraltılmış: