Showing 1 - 2 results of 2 for search 'YANXiao-lang(严晓浪)', 查询时间: 0.02s Refine Results
  1. 1
    Computational and theoretical analysis of supervised dimensionality reduction(监督降维算法的计算和理论分析)

    Computational and theoretical analysis of supervised dimensionality reduction(监督降维算法的计算和理论分析) 由 ZHAOWu-feng(赵武锋), SHENHai-bin(沈海斌), YANXiao-lang(严晓浪)

    出版 2009-11-01
    获取全文
    文件
  2. 2
    A formal verification method: model checking(一种形式化验证方法：模型检验)

    A formal verification method: model checking(一种形式化验证方法：模型检验) 由 YANGJun(杨军), GEHai-tong(葛海通), ZHENGFei-jun(郑飞君), YANXiao-lang(严晓浪)

    出版 2006-07-01
    获取全文
    文件

检索工具: