1
Cyhoeddwyd 2005
Tabl Cynhwysion: ... -- On Compatibility of Discrete Relations -- Construction of Two Level Orthogonal Arrays Via Solutions of Linear...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2015
Tabl Cynhwysion: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
Cael y testun llawn
Electronig eLyfr