搜索结果: 1-2 共查到“学术机构 计算机科学技术基础学科 computer science”相关记录2条 . 查询时间(0.097 秒)
Logical Methods in Computer Science(LMCS)
Logical Methods in Computer Science LMCS theoretical computer science 计算机理论
2008/1/15
Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, tak...![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](http://www.firstlight.cn/upload/imgfile/20070924d/105008a32491.gif)
Computer Science Department at Carnegie Mellon University(图)
Computer Science Department at Carnegie Mellon University 计算机科学 计算思想
2007/4/4
Since our inception forty years ago we have had a broad view of our field and have continued to define and redefine what computer science is. Our mission continues to hold today: to push the frontiers...![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)