新书推介:《语义网技术体系》
作者:瞿裕忠,胡伟,程龚
   XML论坛     W3CHINA.ORG讨论区     计算机科学论坛     SOAChina论坛     Blog     开放翻译计划     新浪微博  
 
  • 首页
  • 登录
  • 注册
  • 软件下载
  • 资料下载
  • 核心成员
  • 帮助
  •   Add to Google

    >> It is the theory that decides what can be observed. - Albert Einstein
    [返回] 计算机科学论坛计算机理论与工程『 理论计算机科学 』 → 帖子列表 查看新帖用户列表


    总在线743人,其中『 理论计算机科学 』上共有 0 位会员与 25 位客人.今日贴子 0 [显示详细列表]

    发新帖  发起新投票  发布小字报   广播:  eyounx Logician 
    热门类别: [计算机的数学基础] [编译原理] [计算理论] [我的兴趣] 精华 | 在线 | 事件 | 权限 | 管理
    状态主 题 (点击标题排序)作 者回复/人气最后回复 | 回复人
    开放主题sci影响因子怎么查询啊?[求助]
      研究生涯
    ttao7176/42783  2006/6/11 10:48 | ttao717
    开放主题Heroes In My Heart(old but funny)carroty6/8836  2006/6/9 13:40 | carroty
    开放主题庞加莱猜想:华人数学家的临门一脚 zzLogician2/5390  2006/6/8 16:47 | carroty
    开放主题计算机软考系统分析师考试大纲hongjunli1/5493  2006/6/7 19:28 | zhouxuhui
    需要回复大家好258450744@dongfne0/10281  2006/5/31 16:17 | 258450744@dongfne
    需要回复[原创]258450744@dongfne0/10241  2006/5/31 16:00 | 258450744@dongfne
    精华帖子We Are Sorry to Inform You (zz)Logician1/9302  2006/5/29 02:44 | Logician
    开放主题向诸位高手请教UML的形式化语义描述问题guangjun_zeng1/4382  2006/5/23 21:58 | doom5211
    需要回复有没有人做PetriNet结合UML的?doom52110/4277  2006/5/23 21:53 | doom5211
    精华帖子sir: 从一流学者抽样统计看SCI对计算机学科的适用性 (zz)Logician0/7322  2006/5/22 19:43 | Logician
    开放主题线序集与良序集[求助]csxvssoyn2/5766  2006/5/20 20:59 | csxvssoyn
    需要回复求助:关于遗传算法的改进我爱呆呆0/4413  2006/5/18 16:13 | 我爱呆呆
    需要回复请问下在model checking中要检验公平性应该怎么检验?fq47310/4413  2006/5/13 17:40 | fq4731
    精华帖子围棋与计算机wondermu1/8490  2006/5/11 16:35 | Logician
    开放主题紧急求助!似流水3/5376  2006/5/10 17:32 | pan314f
    需要回复求Petri网辅助分析软件dxtech0/5378  2006/5/6 00:56 | dxtech
    开放主题[fly][公告]超好---计算机电子图书免费下载,赶快!![/fly]lz_992/12527  2006/4/28 16:12 | maxc2000
    开放主题[讨论]命题逻辑与谓词逻辑两者在什么情况下可以转化sudream4/12121  2006/4/22 21:58 | sudream
    开放主题一个学习计算机的好网站,你们去过了吗?lb200006121/5117  2006/4/22 17:04 | Logician
    需要回复如何查询缩写cdc1390/7635  2006/4/21 17:53 | cdc139
    需要回复信息技术教学研究冬雷0/4884  2006/4/19 14:57 | 冬雷
    开放主题automatazhaoming6/7237  2006/4/17 21:52 | wason21cn
    热门主题这里有没有做Model Checking的?  [ 1 2 3 ]copperccnu23/42919  2006/4/16 22:31 | dustion
    需要回复求助关于:简单的自定义语言的编译器岳飞4100/4483  2006/4/13 18:12 | 岳飞410
    精华帖子谁想当数学家? (zz)Logician7/12601  2006/4/13 12:35 | mathman
    精华帖子关于直觉主义数学的一场讨论Logician2/9886  2006/4/6 15:02 | asiarifle
    需要回复张奠宙:清末考据学派与中国数学Logician0/5685  2006/4/3 17:56 | Logician
    精华帖子Theorectical Computer Science Cheat SheetLogician3/12386  2006/4/3 17:42 | linrd
    开放主题一道抽代题Logician6/6271  2006/3/30 23:47 | Logician
    精华帖子王选:回忆北大数学力学系的大学生活admin7/19817  2006/3/29 13:59 | gzkepfv
    开放主题求大师帮忙呀,在哪里可以找到中文RFC791.793的文档?寻找rs02021/5837  2006/3/29 13:56 | gzkepfv
    精华帖子发一篇在我blog里放了好久的文章:莫公绍揆简传  [ 1 2 ]wutherings11/29100  2006/3/23 14:31 | mikletonsen
    需要回复求clarke的model checking电子版liqiyue0/5575  2006/3/20 20:36 | liqiyue
    开放主题有限域上因式分解能不能举一个具体例子  感谢gyhua20031/5501  2006/3/15 08:02 | Logician
    精华帖子Computation Theory FAQLogician1/6678  2006/1/12 00:54 | xsliang
    精华帖子图灵奖得主姚期智观点:不可靠的量子计算机 (zz)Logician4/15018  2006/2/8 22:32 | heyhelloworld
    精华帖子[转帖]从博德之门到形式语义eyounx1/10833  2005/5/27 22:26 | Windy1971
    需要回复[求助]如何对主机的计算性能进行度量!b9640500/7138  2006/3/12 19:42 | b964050
    开放主题[求助]系统lihongbin0181/7152  2006/3/12 19:19 | Logician
    需要回复看到一道CFL的题Logician0/4027  2006/3/8 14:46 | Logician
    页次:39/38页 每页40 主题数1519
    分页:  上一页  下一页  97 31 32 33 34 35 36 37 38 : 转到:
    本版标题搜索    搜索范围   
    站内全文搜索 

     -=> 计算机科学论坛图例所有时间均为 - 北京时间  
    开放的主题未被回复的主题 回复超过10贴 锁定的主题 固顶的主题 总固顶的主题 精华帖子 投票帖子
    W3C Contributing Supporter! W 3 C h i n a ( since 2003 ) 旗 下 站 点
    苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    203.125ms