分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 888 浏览量: 2,724
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
基于WIFI模块的智能鱼缸监控系统Monitoring and Control System of Intelligent Aquarium Based on WIFI Module
王泽政 下载量: 1,974 浏览量: 6,123
计算机科学与应用 Vol.7 No.1, January 22 2017, PDF, , XML DOI:10.12677/CSA.2017.71006 被引量
云贵川金融发展与经济增长互动关系的实证分析 An Empirical Analysis of the Interactive Relationship between Financial Development and Economic Growth in Yunnan, Guizhou and Sichuan
王 驰 下载量: 897 浏览量: 1,299
统计学与应用 Vol.8 No.2, April 10 2019, PDF, HTML, XML DOI:10.12677/SA.2019.82032 被引量
基于视频分析的小学语文师生课堂交互行为分析Classroom Interactive Behavior Analysis of Primary School Chinese Teachers and Students Based on Video Analysis
辛 鑫, 张海燕 下载量: 349 浏览量: 578
教育进展 Vol.12 No.6, June 23 2022, PDF, HTML, XML DOI:10.12677/AE.2022.126300 被引量
《云计算》课程的教学改革研究Research on Teaching Reform of “Cloud Computing”
金 鑫, 刘 波 下载量: 350 浏览量: 525 科研立项经费支持
创新教育研究 Vol.10 No.12, December 9 2022, PDF, HTML, XML DOI:10.12677/CES.2022.1012470 被引量
基于“雨课堂”智慧教学平台的混合式教学模式探究——以《实变函数》课程为例Research on Mixed Teaching Mode Based on the Intelligent Teaching Platform of “Rain Class”—Taking the Course of Real Analysis as an Example
晋子钰, 任咏红 下载量: 601 浏览量: 884 科研立项经费支持
创新教育研究 Vol.9 No.6, December 14 2021, PDF, HTML, XML DOI:10.12677/CES.2021.96293 被引量
适应研究式教学的数学类网络课程体系建设Research on the Construction of the Mathematical Network Course System Adapting to the Research Teaching
马 宁, 支丽霞, 王玉凤 下载量: 1,031 浏览量: 2,196 科研立项经费支持
创新教育研究 Vol.6 No.4, August 15 2018, PDF, HTML, XML DOI:10.12677/CES.2018.64050 被引量
珠江–西江经济带(广西)高等教育与经济互动发展研究报告Research Report on the Interactive Development of Higher Education and Economy in the Pearl River-Xijiang Economic Belt (Guangxi
梁建华, 王礼芬 下载量: 159 浏览量: 252
世界经济探索 Vol.13 No.1, March 28 2024, PDF, HTML, XML DOI:10.12677/wer.2024.131011 被引量
基于MATLAB与FLAC3D的煤系岩体裂隙网络构建Construction of Coal System Rock Crack Network Based on MATLAB and FLAC3D
刘 阳 下载量: 353 浏览量: 559
矿山工程 Vol.10 No.3, July 27 2022, PDF, HTML, XML DOI:10.12677/ME.2022.103036 被引量
Android智能终端信息实时分享系统的研究与实现Research and mplementation of Android Intelligent Terminal Real-Time Information Sharing System
江城, 陈战胜 下载量: 2,883 浏览量: 8,660 科研立项经费支持
计算机科学与应用 Vol.6 No.1, January 18 2016, PDF, , XML DOI:10.12677/CSA.2016.61001 被引量