SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
已入深夜，您辛苦了！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！祝你早点完成任务，早点休息，好梦！
Work in Progress: Enhancing Students' Learning Experience in Formal Methods through Practical Assignments
计算机科学
工作（物理）
形式化方法
数学教育
软件工程
心理学
工程类
机械工程
作者
Ruth Schorr
标识
DOI：10.1109/edunine62377.2025.10981326
求助该文献
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
⚡
2026年影响因子、分区
已更新！
(2026-6-17)
更新
📰 新增『新锐期刊分区』
(2026-3-24)
更新
💬 新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒 每天60秒读懂世界·精选全球要闻
(2026-1-2)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
深情安青
的
应助
被
NY
采纳，获得
10
1秒前
Orange
上传了
应助文件
3秒前
王俊凯对象
完成签到
，获得积分
10
5秒前
二哈哈哈哈哈哈
完成签到
，获得积分
10
5秒前
失眠的耳机
上传了
应助文件
6秒前
konosuba
完成签到，获得积分
0
8秒前
碧蓝溪流
完成签到
，获得积分
10
9秒前
洛黎
发布了新的
文献求助
10
10秒前
郑明明
完成签到
，获得积分
10
11秒前
woods
完成签到，获得积分
10
11秒前
Ado
完成签到，获得积分
10
13秒前
yyf
完成签到
，获得积分
10
16秒前
许飞
完成签到
，获得积分
10
17秒前
852
上传了
应助文件
18秒前
Jasper
的
应助
被
liujx
采纳，获得
10
18秒前
共享精神
上传了
应助文件
20秒前
tangsizhe
完成签到，获得积分
10
22秒前
浅忆晨曦
完成签到
，获得积分
10
22秒前
末小皮
发布了新的
文献求助
10
24秒前
大虫
发布了新的
文献求助
10
25秒前
乐乐
上传了
应助文件
25秒前
乐乐
的
应助
被
滴答
采纳，获得
30
27秒前
失眠的耳机
的
应助
被
摆渡人
采纳，获得
10
27秒前
科研通AI6.4
上传了
应助文件
28秒前
笨笨的灵竹
发布了新的
文献求助
20
29秒前
秋秋
完成签到，获得积分
10
29秒前
MYJ
完成签到
，获得积分
10
29秒前
科研通AI6.4
上传了
应助文件
31秒前
洛黎
发布了新的
文献求助
10
31秒前
赵彬旭
发布了新的
文献求助
10
32秒前
ding
的
应助
被
务实青亦
采纳，获得
10
32秒前
原料药研发粗人
完成签到，获得积分
10
34秒前
rrr
关注了科研通微信公众号
34秒前
天一天
上传了
应助文件
35秒前
大模型
上传了
应助文件
35秒前
无花果
上传了
应助文件
37秒前
Cuc
完成签到，获得积分
20
37秒前
黎明深雪
完成签到
，获得积分
10
37秒前
不要打瞌睡芽
完成签到
，获得积分
10
38秒前
melfced
完成签到，获得积分
10
38秒前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】
10000
Effects of Two Weeks of Red Light Therapy on Choroidal Thickness and Axial Length in Young Adults
700
内視鏡的に摘除しえた十二指腸乳頭部腫瘍の2例
660
The Foundation of Positive Psychology
600
Management and the Arts
510
Matrix Methods in Data Mining and Pattern Recognition Second Edition
510
The Neuroscience of Language
400
热门求助领域
（近24小时）
化学
材料科学
医学
生物
纳米技术
工程类
有机化学
化学工程
生物化学
计算机科学
内科学
物理
复合材料
催化作用
细胞生物学
无机化学
光电子学
物理化学
电极
基因
热门帖子
关注
科研通微信公众号，转发送积分
7676681
求助须知：如何正确求助？哪些是违规求助？
9242680
关于积分的说明
19918228
捐赠科研通
7246937
什么是DOI，文献DOI怎么找？
3286533
关于科研通互助平台的介绍
2444513
邀请新用户注册赠送积分活动
2289531
今日热心研友
cdercder
346
4100
无极微光
229
3500
OK
71
3390
Nole
104
2415
xing_xing
96
2260
牧青
2710
aaaa
72
1793
Jason
132
1170
yz
133
1160
Kao
148
980
小高
107
1110
wwww
2040
东方元语
2000
aajhajkahna
84
1140
arniu2008
63
1330
修仙中
102
890
6666
90
1000
渡人舟
74
1030
馨馨的科科
83
860
Criminology34
54
880
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
PDF的下载单位、IP信息已删除
(2025-6-4)
cdercder
无极微光
OK
Nole
xing_xing
牧青
aaaa
Jason
yz
Kao
小高
wwww
东方元语
aajhajkahna
arniu2008
修仙中
6666
渡人舟
馨馨的科科
Criminology34
皖公网安备34019202002308
