24小时热门版块排行榜

返回列表

shwf

新虫 (初入文坛)

应助: 1 (幼儿园)
金币: 3650.2
帖子: 28
在线: 69.7小时
虫号: 1556988
注册: 2011-12-30
专业: 计算机应用技术

[交流] 有最近研究时态逻辑和模型检测技术的同行吗？

最近研究模型检测技术，遇到些问题，希望高手指点。

[ 发自手机版 http://muchong.com/3g ]

回复此楼

» 猜你喜欢

366求调剂已经有9人回复
材料工程085601，270求调剂已经有37人回复
279学硕食品专业求调剂院校已经有18人回复
290调剂生物0860 已经有31人回复
一志愿085802 323分求调剂已经有13人回复
277求调剂已经有23人回复
322求调剂，08工科已经有4人回复
材料工程281还有调剂机会吗已经有30人回复
化学070300 求调剂已经有16人回复
化工学硕294分，求导师收留已经有12人回复

1楼 2014-06-24 05:33:01

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

相关版块跳转我要订阅楼主 shwf 的主题更新

返回列表

最具人气热帖推荐 [查看全部]		作者	回/看	最后发表

[教师之家] 请问地理、遥感方面，可以做哪些横向项目啊，纵向完不成考核啊 +3	锦衣卫寒战 2026-04-07	5/250	2026-04-11 20:51 by 豫椒
[考研] 270求调剂 +14	杨乐369 2026-04-11	14/700	2026-04-11 20:16 by 蓝云思雨
[考研] 298求调剂 +5	残荷新柳 2026-04-07	5/250	2026-04-11 11:02 by 紫曦紫棋
[考研] 化工求调剂！ +35	RichLi_ 2026-04-06	35/1750	2026-04-11 11:02 by zhq0425
[考研] 085402通信工程调剂，有4项学科竞赛国奖（电赛国二），硕士研究生调剂自荐信。 +5	m永o不v言o弃m 2026-04-09	5/250	2026-04-11 09:33 by zhq0425
[考研] 22408调剂求助 +7	毂12 2026-04-09	9/450	2026-04-11 09:23 by 哦哦123
[考研] 考研调剂 +26	硕星赴 2026-04-09	27/1350	2026-04-10 22:24 by 猪会飞
[考研] 287求调剂 +15	Fnhc 2026-04-07	21/1050	2026-04-10 19:09 by chemisry
[考研] 362求调剂 +10	我要考大 2026-04-06	14/700	2026-04-10 17:00 by luoyongfeng
[考研] 一志愿西交机械专硕求调剂 +8	求上岸的小王 2026-04-10	8/400	2026-04-10 15:09 by hemengdong
[考研] 344求调剂 +7	丶风雪夜归人丶 2026-04-09	7/350	2026-04-10 12:05 by pengliang8036
[考研] 一志愿华东师范生物学326分，求调剂 +8	刘墨墨 2026-04-09	8/400	2026-04-10 12:00 by pengliang8036
[考研] 生物学学硕，初试351分，求调剂 +4	…～、王…～ 2026-04-08	5/250	2026-04-08 21:49 by limeifeng
[考研] 327求调剂 +12	Xxjc1107. 2026-04-06	12/600	2026-04-08 16:46 by luoyongfeng
[考研] 机械调剂 +3	zzzbcb 2026-04-07	3/150	2026-04-07 22:19 by hemengdong
[考研] 305求调剂 +4	77Qi 2026-04-06	4/200	2026-04-07 20:06 by shanqishi
[考研] 一志愿西电085401求调剂 +4	sunw1306 2026-04-07	4/200	2026-04-07 16:40 by 啵啵啵0119
[考研] 材料调剂 +11	一样YWY 2026-04-07	11/550	2026-04-07 15:13 by shdgaomin
[考研] 信工所11408 340分本科西安交大自动化 +3	moontrek 2026-04-06	3/150	2026-04-07 09:56 by chongya
[考研] 327考研调剂推荐 +6	呜呜呜呜呢 2026-04-06	6/300	2026-04-06 21:39 by 啵啵啵0119