標(biāo)題: Titlebook: Formal Methods in Computer-Aided Design; 4th International Co Mark D. Aagaard,John W. O’Leary Conference proceedings 2002 Springer-Verlag B [打印本頁] 作者: PLY 時間: 2025-3-21 19:46
書目名稱Formal Methods in Computer-Aided Design影響因子(影響力)
書目名稱Formal Methods in Computer-Aided Design影響因子(影響力)學(xué)科排名
書目名稱Formal Methods in Computer-Aided Design網(wǎng)絡(luò)公開度
書目名稱Formal Methods in Computer-Aided Design網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Formal Methods in Computer-Aided Design被引頻次
書目名稱Formal Methods in Computer-Aided Design被引頻次學(xué)科排名
書目名稱Formal Methods in Computer-Aided Design年度引用
書目名稱Formal Methods in Computer-Aided Design年度引用學(xué)科排名
書目名稱Formal Methods in Computer-Aided Design讀者反饋
書目名稱Formal Methods in Computer-Aided Design讀者反饋學(xué)科排名