Yazar
Badger, Julia M. editor.
Format:
Electronic Resources
Alıntı:
; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional
Yazar
Fotakis, Dimitris. editor.
Format:
Electronic Resources
Alıntı:
Algorithmic Game Theory 12th International Symposium, SAGT 2019, Athens, Greece, September 30
Yazar
Bhargava, Deepshikha. editor.
Format:
Electronic Resources
Alıntı:
Routing Algorithms for Underwater Sensor Network.-chapter 5. Resource Utilization of DTN Routing Protocols
Yazar
Roca, Xevi. editor.
Format:
Electronic Resources
Alıntı:
Comparison and Workload Analysis of Mesh Untangling and Smoothing Algorithms -- Accurate Manycore-Accelerated
Yazar
Birta, Louis G. author.
Format:
Electronic Resources
Alıntı:
DEDS domains Provides numerous illustrative examples, case studies and useful algorithms, as well as
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and
Yazar
Mazal, Jan. editor. (orcid)0000-0001-5741-558X
Format:
Electronic Resources
Alıntı:
Constructive Simulation -- Autonomous Air Defense Effectors Deployment Algorithms for Modeling and Simulation
Yazar
Song, Houbing. editor.
Format:
Electronic Resources
Alıntı:
Investigation of Data Volume Generation Strength of Smartphone Sensors -- A Relay Station Deployment Algorithm
Yazar
Radu, Florin Adrian. editor.
Format:
Electronic Resources
Alıntı:
, implementation, and analysis of numerical algorithms as well as their applications to relevant, societal problems