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

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


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

    发新帖  发起新投票  发布小字报   广播:  eyounx Logician 
    热门类别: [计算机的数学基础] [编译原理] [计算理论] [我的兴趣] 精华 | 在线 | 事件 | 权限 | 管理
    状态主 题 (点击标题排序)作 者回复/人气最后回复 | 回复人
    需要回复请问下在model checking中要检验公平性应该怎么检验?fq47310/4856  2006/5/13 17:40 | fq4731
    精华帖子围棋与计算机wondermu1/9444  2006/5/11 16:35 | Logician
    开放主题紧急求助!似流水3/5919  2006/5/10 17:32 | pan314f
    需要回复求Petri网辅助分析软件dxtech0/5844  2006/5/6 00:56 | dxtech
    开放主题[fly][公告]超好---计算机电子图书免费下载,赶快!![/fly]lz_992/13068  2006/4/28 16:12 | maxc2000
    开放主题[讨论]命题逻辑与谓词逻辑两者在什么情况下可以转化sudream4/12637  2006/4/22 21:58 | sudream
    开放主题一个学习计算机的好网站,你们去过了吗?lb200006121/5557  2006/4/22 17:04 | Logician
    需要回复如何查询缩写cdc1390/8147  2006/4/21 17:53 | cdc139
    需要回复信息技术教学研究冬雷0/5735  2006/4/19 14:57 | 冬雷
    开放主题automatazhaoming6/7831  2006/4/17 21:52 | wason21cn
    热门主题这里有没有做Model Checking的?  [ 1 2 3 ]copperccnu23/45925  2006/4/16 22:31 | dustion
    需要回复求助关于:简单的自定义语言的编译器岳飞4100/4900  2006/4/13 18:12 | 岳飞410
    精华帖子谁想当数学家? (zz)Logician7/14507  2006/4/13 12:35 | mathman
    精华帖子关于直觉主义数学的一场讨论Logician2/11057  2006/4/6 15:02 | asiarifle
    需要回复张奠宙:清末考据学派与中国数学Logician0/6144  2006/4/3 17:56 | Logician
    精华帖子Theorectical Computer Science Cheat SheetLogician3/13457  2006/4/3 17:42 | linrd
    开放主题一道抽代题Logician6/6958  2006/3/30 23:47 | Logician
    精华帖子王选:回忆北大数学力学系的大学生活admin7/21104  2006/3/29 13:59 | gzkepfv
    开放主题求大师帮忙呀,在哪里可以找到中文RFC791.793的文档?寻找rs02021/6283  2006/3/29 13:56 | gzkepfv
    精华帖子发一篇在我blog里放了好久的文章:莫公绍揆简传  [ 1 2 ]wutherings11/32185  2006/3/23 14:31 | mikletonsen
    需要回复求clarke的model checking电子版liqiyue0/6003  2006/3/20 20:36 | liqiyue
    开放主题有限域上因式分解能不能举一个具体例子  感谢gyhua20031/5910  2006/3/15 08:02 | Logician
    精华帖子Computation Theory FAQLogician1/7285  2006/1/12 00:54 | xsliang
    精华帖子图灵奖得主姚期智观点:不可靠的量子计算机 (zz)Logician4/16144  2006/2/8 22:32 | heyhelloworld
    精华帖子[转帖]从博德之门到形式语义eyounx1/11485  2005/5/27 22:26 | Windy1971
    需要回复[求助]如何对主机的计算性能进行度量!b9640500/7488  2006/3/12 19:42 | b964050
    开放主题[求助]系统lihongbin0181/7534  2006/3/12 19:19 | Logician
    需要回复看到一道CFL的题Logician0/4345  2006/3/8 14:46 | Logician
    需要回复一道关于随机序列的问题Logician0/4008  2006/3/8 14:46 | Logician
    开放主题一个学习计算机的好网站,你们去过了吗?wsycw1/4296  2006/3/1 21:58 | Logician
    开放主题有关TCP/IP地址的掩码问题请教!求助.rs02023/5277  2006/2/27 16:37 | lgy007
    开放主题有道证明题,高人请进来帮忙johnhash3/5299  2006/2/26 01:32 | Seer_Lee
    需要回复[求助]急需要软件测试方面的资料225985720/10733  2006/2/22 11:46 | 22598572
    需要回复我是学商务信息的。。。有事请教。。。jerryandandy0/3912  2006/2/19 14:49 | jerryandandy
    开放主题求助!!(《面向计算机科学的数据逻辑》陆钟万)此书习题答案!!godfreydong1/5269  2006/2/12 02:55 | Logician
    开放主题大家好,请问国内哪些老师能带model checking 的博士呢?并想了解相关情况,先谢谢了!!!eastocean1/4626  2006/2/9 13:47 | eastocean
    开放主题本人是西工大计算机应用的研究生 求助大家怎么选题 感谢lbh520yc2/5907  2006/2/7 10:20 | webstar16
    精华帖子Computing over the Reals: Where Turing Meets NewtonLogician1/8416  2006/2/6 12:21 | super_zxy
    精华帖子计算机领域 国际会议 分类排名  [ 1 2 ]
      科研生涯
    npubird13/175132  2006/1/25 15:08 | tsingbin
    开放主题[公告]找名牌师傅绝对帅气海2/9799  2006/1/12 00:58 | xsliang
    页次:40/39页 每页40 主题数1546
    分页:  上一页  下一页  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号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    152.344ms