1
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2005
Tabl Cynhwysion: ... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...
Cael y testun llawn
Electronig eLyfr