据ACM的官方消息，Edmund M. Clarke，Allen Emerson和Joseph Sifakis因为在模型检查（Model-Checking）上的贡献而荣获2007年的图灵奖。阅读全文>
发表于 @ 2008年02月07日 02:37:00|评论(loading...)|编辑|收藏
SANS网站对著名安全权威机构GIAC的顾问委员会成员做了一个调查：“你的藏书中最佳图书是什么？” 专家的回答是……阅读全文>
发表于 @ 2007年11月29日 23:33:00|评论(loading...)|编辑|收藏
面对纷繁多变的技术世界，如何应对，才能立于不败之地？《程序员修炼之路》的作者Andy Hunt和David Thomas教你使自己的知识储备保值增值。阅读全文>
发表于 @ 2007年09月10日 11:44:00|评论(loading...)|编辑|收藏
拥有广泛影响和较高权威性的U.S.News & World Report今天发布了最新的美国大学排行榜。在总排名上，普林斯顿大学卫冕，哈佛大学和耶鲁大学分居第二名和第三名。该排行榜的参考指标包括大学的毕业率、师资力量、财政资源以及校友给学校的捐赠款项等等。阅读全文>
发表于 @ 2007年08月18日 19:46:00|评论(loading...)|编辑|收藏
著名的科学名刊《科学美国人》最新一期2007年7月刊免费下载了！是完全官方合法的哦。截止日是6月30日。
抱歉我发现得晚了一些，只剩下几天了，请抓紧时间。有点大，大约12.4M。看来杂志的编辑们有意考验我们的带宽。要么就是计算机应用水平太差——压缩一下拜托！阅读全文>
发表于 @ 2007年06月26日 23:50:00|评论(loading...)|编辑|收藏
全国人大常委于2006年12月29日表决通过的关于加入被称为“国际互联网条约”的《世界知识产权组织版权条约》和《世界知识产权组织表演和录音制品条约》的决定，将在2007年6月9日生效。这将大大提高目前国际互联网（技术术语因特网）的版权保护水平。阅读全文>
发表于 @ 2007年06月09日 15:30:00|评论(loading...)|编辑|收藏
Bill Gates与Steve Jobs的历史性会面，他们都说了些什么？阅读全文>
发表于 @ 2007年06月02日 23:18:00|评论(loading...)|编辑|收藏
ACM主办的第31届国际大学生编程竞赛（ICPC，ACM International Collegiate Programming Contest）于3月12日到16日在日本东京举行。波兰华沙大学代表队解出了所有8道题目，荣获冠军。清华大学代表队解出7道，位居第二，并获得亚洲冠军。祝贺清华大学！
阅读全文>
发表于 @ 2007年03月19日 15:27:00|评论(loading...)|编辑|收藏