Yazar
Gopal, T.V. editor.
Format:
Electronic Resources
Alıntı:
Asset Management -- First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation.
Yazar
Kranakis, Evangelos. editor.
Format:
Electronic Resources
Alıntı:
Distance -- Comparison-Based FIFO Buffer Management in QoS Switches -- Scheduling on Power-Heterogeneous
Yazar
Geffert, Viliam. editor.
Format:
Electronic Resources
Alıntı:
Establishment of an Information Security Management System Compliant to ISO 27001 -- ProofBook: An Online Social
Yazar
van Hoeve, Willem-Jan. editor.
Format:
Electronic Resources
Alıntı:
-- Off-line and on-line Optimization Under Uncertainty: A Case Study on Energy Management -- Reasoning on
Yazar
Bender, Michael A. editor.
Format:
Electronic Resources
Alıntı:
Management in Smart Grid -- An Average-Case Lower Bound against ACC^0 -- Compressed Indexing with Signature
Arama Sonuçlarını Sınırlandır
Daraltılmış: