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

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


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

    发新帖  发起新投票  发布小字报   广播:  eyounx Logician 
    热门类别: [计算机的数学基础] [编译原理] [计算理论] [我的兴趣] 精华 | 在线 | 事件 | 权限 | 管理
    状态主 题 (点击标题排序)作 者回复/人气最后回复 | 回复人
    开放主题高手们介绍两个有意思书给我bluse1/7372  2006/6/29 01:35 | naturelle
    开放主题机器视觉网络资源hongjunli3/12151  2006/6/28 20:06 | zhangmei1988521
    需要回复How to Have a Bad Career How to Have a Bad Career in Research/Academia ( by David A. Patterson, UC Berkeley )
      科研生涯
    admin0/28645  2006/6/16 21:53 | admin
    需要回复Presenting Your Research: Papers, Talks, and Chats ( by Marie desJardins, UMBC )
      科研生涯
    admin0/29782  2006/6/16 21:36 | admin
    精华帖子二十世纪的数学 - Michael AtiyahLogician2/15134  2006/6/12 16:45 | carroty
    开放主题sci影响因子怎么查询啊?[求助]
      研究生涯
    ttao7176/43580  2006/6/11 10:48 | ttao717
    开放主题Heroes In My Heart(old but funny)carroty6/9012  2006/6/9 13:40 | carroty
    开放主题庞加莱猜想:华人数学家的临门一脚 zzLogician2/5733  2006/6/8 16:47 | carroty
    开放主题计算机软考系统分析师考试大纲hongjunli1/5600  2006/6/7 19:28 | zhouxuhui
    需要回复大家好258450744@dongfne0/10371  2006/5/31 16:17 | 258450744@dongfne
    需要回复[原创]258450744@dongfne0/10340  2006/5/31 16:00 | 258450744@dongfne
    精华帖子We Are Sorry to Inform You (zz)Logician1/9531  2006/5/29 02:44 | Logician
    开放主题向诸位高手请教UML的形式化语义描述问题guangjun_zeng1/4502  2006/5/23 21:58 | doom5211
    需要回复有没有人做PetriNet结合UML的?doom52110/4395  2006/5/23 21:53 | doom5211
    精华帖子sir: 从一流学者抽样统计看SCI对计算机学科的适用性 (zz)Logician0/7554  2006/5/22 19:43 | Logician
    开放主题线序集与良序集[求助]csxvssoyn2/5886  2006/5/20 20:59 | csxvssoyn
    需要回复求助:关于遗传算法的改进我爱呆呆0/4543  2006/5/18 16:13 | 我爱呆呆
    需要回复请问下在model checking中要检验公平性应该怎么检验?fq47310/4544  2006/5/13 17:40 | fq4731
    精华帖子围棋与计算机wondermu1/8768  2006/5/11 16:35 | Logician
    开放主题紧急求助!似流水3/5536  2006/5/10 17:32 | pan314f
    需要回复求Petri网辅助分析软件dxtech0/5490  2006/5/6 00:56 | dxtech
    开放主题[fly][公告]超好---计算机电子图书免费下载,赶快!![/fly]lz_992/12644  2006/4/28 16:12 | maxc2000
    开放主题[讨论]命题逻辑与谓词逻辑两者在什么情况下可以转化sudream4/12215  2006/4/22 21:58 | sudream
    开放主题一个学习计算机的好网站,你们去过了吗?lb200006121/5215  2006/4/22 17:04 | Logician
    需要回复如何查询缩写cdc1390/7805  2006/4/21 17:53 | cdc139
    需要回复信息技术教学研究冬雷0/5189  2006/4/19 14:57 | 冬雷
    开放主题automatazhaoming6/7390  2006/4/17 21:52 | wason21cn
    热门主题这里有没有做Model Checking的?  [ 1 2 3 ]copperccnu23/43799  2006/4/16 22:31 | dustion
    需要回复求助关于:简单的自定义语言的编译器岳飞4100/4618  2006/4/13 18:12 | 岳飞410
    精华帖子谁想当数学家? (zz)Logician7/13305  2006/4/13 12:35 | mathman
    精华帖子关于直觉主义数学的一场讨论Logician2/10278  2006/4/6 15:02 | asiarifle
    需要回复张奠宙:清末考据学派与中国数学Logician0/5818  2006/4/3 17:56 | Logician
    精华帖子Theorectical Computer Science Cheat SheetLogician3/12726  2006/4/3 17:42 | linrd
    开放主题一道抽代题Logician6/6383  2006/3/30 23:47 | Logician
    精华帖子王选:回忆北大数学力学系的大学生活admin7/20216  2006/3/29 13:59 | gzkepfv
    开放主题求大师帮忙呀,在哪里可以找到中文RFC791.793的文档?寻找rs02021/5976  2006/3/29 13:56 | gzkepfv
    精华帖子发一篇在我blog里放了好久的文章:莫公绍揆简传  [ 1 2 ]wutherings11/29778  2006/3/23 14:31 | mikletonsen
    需要回复求clarke的model checking电子版liqiyue0/5709  2006/3/20 20:36 | liqiyue
    开放主题有限域上因式分解能不能举一个具体例子  感谢gyhua20031/5620  2006/3/15 08:02 | Logician
    精华帖子Computation Theory FAQLogician1/6882  2006/1/12 00:54 | xsliang
    页次:39/39页 每页40 主题数1524
    分页:  上一页  下一页  97 31 32 33 34 35 36 37 38 39 : 转到:
    本版标题搜索    搜索范围   
    站内全文搜索 

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