基于对偶变量的计算机代数证明的机器检验Machine Checking for Computer Algebraic Proofs Based on Dual Variables
魏峰玉, 黄怡桐, 刘 帅, 江建国 下载量: 222 浏览量: 332
应用数学进展 Vol.11 No.11, November 28 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111867 被引量
面向系统能力培养的计算机硬件实验教学模式改革研究Research on Teaching Reform of Computer Hardware Experiment Oriented to System Ability Training
刘 超, 胡成玉, 龚文引, 陈云亮, 童恒建, 王媛妮, 刘远兴 下载量: 942 浏览量: 1,275 科研立项经费支持
创新教育研究 Vol.7 No.3, June 5 2019, PDF, HTML, XML DOI:10.12677/CES.2019.73044 被引量
人机信任中的信任滥用和信任缺乏A Discussion of Trust Abuse and Lack of Trust in Human-Computer Trust
王云霄, 陈 华 下载量: 541 浏览量: 1,411 科研立项经费支持
心理学进展 Vol.12 No.8, August 11 2022, PDF, HTML, XML DOI:10.12677/AP.2022.128317 被引量
《水利行业辅助制图》课程教学改革与实践探索——以昆明理工大学水利水电工程专业为例Teaching Reform and Practice Exploration of Computer Aided Drawing of Water Conservancy Industry—An Example of Water Conservancy and Hydropower Engineering Major of Kunming University of Science and Technology
张洪波, 张小艳, 赵 伟, 雷红军, 刘 娟 下载量: 593 浏览量: 705 科研立项经费支持
创新教育研究 Vol.10 No.7, July 12 2022, PDF, HTML, XML DOI:10.12677/CES.2022.107242 被引量
计算机学院教学管理系统分析与建模Analysis and Modeling of Teaching Management System in School of Computer
李真, 何伟娜, 孙科 下载量: 1,194 浏览量: 1,796 科研立项经费支持
软件工程与应用 Vol.7 No.5, September 10 2018, PDF, HTML, XML DOI:10.12677/SEA.2018.75027 被引量
高校“学–教–管”课程思政体系的探索与实践——以计算机系统结构课程为例Exploration and Practice of “Studying-Teaching-Managing” Framework of Ideological and Political Theories Teaching in All Courses—Taking the Computer Systems Architecture Course for Example
焦佳佳, 刘昱昊, 韩德志 下载量: 507 浏览量: 744 科研立项经费支持
教育进展 Vol.11 No.5, September 2 2021, PDF, HTML, XML DOI:10.12677/AE.2021.115244 被引量
中美计算机专业学术论文摘要中模糊限制语应用的实证研究Empirical Study on Hedges in the Abstracts of Articles in Computer Science between China and America
刘 昂, 王雪霏 下载量: 947 浏览量: 1,396
现代语言学 Vol.7 No.6, December 20 2019, PDF, HTML, XML DOI:10.12677/ML.2019.76129 被引量
基于CDIO理念的计算机专业应用型实践教学体系的研究Research on Computer Professional Applied Practice Teaching System Based on CDIO Concept
纪 威, 李 君 下载量: 814 浏览量: 1,245 科研立项经费支持
职业教育 Vol.8 No.4, October 17 2019, PDF, HTML, XML DOI:10.12677/VE.2019.84028 被引量
翻转课堂中异质小组的探究——以计算机科学与技术专业为例Exploration of Heterogeneous Groups in the Flipped Classroom—Taking Computer Science and Technology as an Example
郑文琦 下载量: 384 浏览量: 501
教育进展 Vol.12 No.1, January 12 2022, PDF, HTML, XML DOI:10.12677/AE.2022.121026 被引量
新型PHD抑制剂类口服抗贫血药物分子的计算机辅助设计Computer Aided Design of New PHD Inhibitors for Oral Anti-Anemia Drug Molecules
杨汉跃, 董淑波, 陈学民 下载量: 2,190 浏览量: 5,475
药物化学 Vol.5 No.2, May 24 2017, PDF, HTML, XML DOI:10.12677/HJMCe.2017.52003 被引量