机译:通过功能化焊接材料表面对GMA焊接过程中高强度细粒结构钢焊接强度的针对性影响
机译:通过功能化焊接材料表面对GMA焊接过程中高强度细粒结构钢焊接强度的针对性影响
机译:理想和弹性散射体对固定和非固定声音的散射,放置在媒体界面附近,水下声通道和平面波导中
机译:变速器代表性测试规范和测试周期开发的理想测试规范
机译:通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
机译:耳道吸收声功率的规范:在抑制刺激频率耳声发射中的应用
机译:C,Lambda微积分和编译器验证-在Haskell中研究用于命令式编程语言的正式规范的纯功能技术及其编译器的认识论验证
机译:代数规范的细粒度增量实现