Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
-- Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs -- Quantum
View Other Search Results
Yazar
Yang, Hongseok. editor.
Format:
Electronic Resources
Alıntı:
against Concurrency -- Incremental update for graph rewriting -- Linearity, Control Effects, and
View Other Search Results