搜索筛选:
搜索耗时1.4932秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
Effect of Electronic Structures of Enantiomers of Ruthenium(II) Polypyridyl Complexes on DNA Binding
[期刊论文] 作者：Luo Haimei,Xiao Jie,Chen Jinca,
来源：黑龙江科技学院学报 年份：
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7...
[期刊论文] 作者：WANG Changjing,DING Xilong,HE Jiangfei,CHEN Xi,HUANG Qing,LUO Haimei,ZUO Zhengkang,
来源：武汉大学自然科学学报（英文版） 年份：2021
We propose a systematic method to deduce and syn-thesize the Dafny programs.First,the specification of problem is described in strict mathematical language.Then,the derivation process uses program specification transformation technology to ......
相关搜索：
