1
出版事項 2007
目次: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
全文の入手
電子媒体 eBook
2
出版事項 2010
目次: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
全文の入手
電子媒体 eBook