唐先生的《基于时序逻辑的软件工程环境的理论与设计》水平还是高的 - Military版 - 未名存档

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

Military版 - 唐先生的《基于时序逻辑的软件工程环境的理论与设计》水平还是高的

相关主题
● 诺奖颁奖时序曝光挪威歌曲揭幕:我知道你会回来 (转载)	● 如果时序正确、根本不可能嫖娼！
● 铁道部：在建高铁项目都不会停工	● 一个毫无成就的民族，为何总强调智商，不可理解
● 《解放军报》这尼玛是唯恐天下不乱啊	● 既然是d3，那我们就谈谈这个d3
● 跟普通群众比，五毛就是渣	● 问一个伦理问题
● 辽宁号赴南海国军全程掌握zt中央社	● 喜迎新春聆听习近平的奋进之音
● 河南荥阳称"红衣大炮抗强拆"系老汉及其子自导自演闹剧zt	● 长鑫国产DDR4内存条正式官宣：8GB单条，2666频
● 8964的时候，为什么要上拖拉机？	● 湾湾媒体也讲到了美国P4被关闭的事情。
● 08这么一说，床铺该咋办？	● Re: 小赵的疑问发酵了：美国军人自己提问了

相关话题的讨论汇总
话题: 时序话题: 软件工程话题: 计算所

进入Military版参与讨论

1

(共1页)

p*********3 发帖数: 8525	1 当年我们去计算所，还是很惊讶的现在计算所搬到联想那边去，已经没有80年代那种科研气氛了
p*********3 发帖数: 8525	2 这是真才实学，虽然在那个年代比美国人已经落后但对国内计算机科学水平的提高还是有积极意义的，

1

(共1页)

进入Military版参与讨论

相关主题
● Re: 小赵的疑问发酵了：美国军人自己提问了	● 辽宁号赴南海国军全程掌握zt中央社
● 龙芯3号流片成功正大进行测试(zz)	● 河南荥阳称"红衣大炮抗强拆"系老汉及其子自导自演闹剧zt
● 龙芯又发飙了胡伟武：龙芯5年内改变全球CPU格局	● 8964的时候，为什么要上拖拉机？
● “曙光6000”千万亿次计算机将首次采用自主知识产权处理器	● 08这么一说，床铺该咋办？
● 诺奖颁奖时序曝光挪威歌曲揭幕:我知道你会回来 (转载)	● 如果时序正确、根本不可能嫖娼！
● 铁道部：在建高铁项目都不会停工	● 一个毫无成就的民族，为何总强调智商，不可理解
● 《解放军报》这尼玛是唯恐天下不乱啊	● 既然是d3，那我们就谈谈这个d3
● 跟普通群众比，五毛就是渣	● 问一个伦理问题

相关话题的讨论汇总
话题: 时序话题: 软件工程话题: 计算所

未名新帖统计// 7月16日

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

* 这里只显示发帖超过25的版面，努力灌水吧:-)