by
Piessens, Frank. editor.
Format:
Elektronik Kaynak
Alıntı:
Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study -- Towards a
by
Devitt, Simon. editor.
Format:
Elektronik Kaynak
Alıntı:
-- Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs -- Quantum
View Other Search Results
by
Babaoglu, Ozalp. editor.
Format:
Elektronik Kaynak
Alıntı:
-- Self-Management of Systems Through Automatic Restart -- Fundamentals of Dynamic Decentralized Optimization in
by
Ng, Michael K. editor.
Format:
Elektronik Kaynak
Alıntı:
Complex System Optimization -- Optimal Decision Making for Airline Inventory Control -- Automatic Text
by
Matsuura, Kanta. editor.
Format:
Elektronik Kaynak
Alıntı:
Elliptic Curve Discrete Logarithm Problem: State of the Art -- Authentication and Access Control -- An
by
Won, Dong Ho. editor.
Format:
Elektronik Kaynak
Alıntı:
Control-Flow Side Channel Attacks -- The Dilemma of Covert Channels Searching -- A Probabilistic Approach to
by
Dorigo, Marco. editor.
Format:
Elektronik Kaynak
Alıntı:
Algorithms -- Observing the Effects of Overdesign in the Automatic Design of Control Software for Robot
by
Ghosh, R. K. editor.
Format:
Elektronik Kaynak
Alıntı:
Detection -- Using Schemas to Simplify Access Control for XML Documents -- Automatic Enforcement of Access
by
Megiddo, Nimrod. editor.
Format:
Elektronik Kaynak
Alıntı:
-- Improvement of Genetic Algorithm and Its Application in Optimization of Fuzzy Traffic Control Algorithm
by
Nikoletseas, Sotiris E. editor.
Format:
Elektronik Kaynak
Alıntı:
Autonomous Sensor Sampling Frequency Control Scheme for Energy-Efficient Data Acquisition in Wireless Sensor
by
Hermanns, Holger. editor.
Format:
Elektronik Kaynak
Alıntı:
Experimental Comparison of the Effectiveness of Control Flow Based Testing Approaches on Seeded Faults
by
Voelker, Geoffrey M. editor.
Format:
Elektronik Kaynak
Alıntı:
/Subscribe in One Protocol -- Friends Troubleshooting Network: Towards Privacy-Preserving, Automatic
Arama Sonuçlarını Sınırlandır
Daraltılmış: