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

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


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

    发新帖  发起新投票  发布小字报   广播:  eyounx Logician 
    热门类别: [计算机的数学基础] [编译原理] [计算理论] [我的兴趣] 精华 | 在线 | 事件 | 权限 | 管理
    状态主 题 (点击标题排序)作 者回复/人气最后回复 | 回复人
    精华帖子Computation Theory FAQLogician1/7103  2006/1/12 00:54 | xsliang
    精华帖子图灵奖得主姚期智观点:不可靠的量子计算机 (zz)Logician4/15789  2006/2/8 22:32 | heyhelloworld
    精华帖子[转帖]从博德之门到形式语义eyounx1/11286  2005/5/27 22:26 | Windy1971
    需要回复[求助]如何对主机的计算性能进行度量!b9640500/7386  2006/3/12 19:42 | b964050
    开放主题[求助]系统lihongbin0181/7404  2006/3/12 19:19 | Logician
    需要回复看到一道CFL的题Logician0/4262  2006/3/8 14:46 | Logician
    需要回复一道关于随机序列的问题Logician0/3913  2006/3/8 14:46 | Logician
    开放主题一个学习计算机的好网站,你们去过了吗?wsycw1/4235  2006/3/1 21:58 | Logician
    开放主题有关TCP/IP地址的掩码问题请教!求助.rs02023/5173  2006/2/27 16:37 | lgy007
    开放主题有道证明题,高人请进来帮忙johnhash3/5215  2006/2/26 01:32 | Seer_Lee
    需要回复[求助]急需要软件测试方面的资料225985720/10634  2006/2/22 11:46 | 22598572
    需要回复我是学商务信息的。。。有事请教。。。jerryandandy0/3809  2006/2/19 14:49 | jerryandandy
    开放主题求助!!(《面向计算机科学的数据逻辑》陆钟万)此书习题答案!!godfreydong1/5168  2006/2/12 02:55 | Logician
    开放主题大家好,请问国内哪些老师能带model checking 的博士呢?并想了解相关情况,先谢谢了!!!eastocean1/4498  2006/2/9 13:47 | eastocean
    开放主题本人是西工大计算机应用的研究生 求助大家怎么选题 感谢lbh520yc2/5814  2006/2/7 10:20 | webstar16
    精华帖子Computing over the Reals: Where Turing Meets NewtonLogician1/8218  2006/2/6 12:21 | super_zxy
    精华帖子计算机领域 国际会议 分类排名  [ 1 2 ]
      科研生涯
    npubird13/170092  2006/1/25 15:08 | tsingbin
    开放主题[公告]找名牌师傅绝对帅气海2/9666  2006/1/12 00:58 | xsliang
    开放主题招聘研究人员seangao2/5363  2006/1/12 00:46 | xsliang
    需要回复PhD Scholarship and Research Position at Griffith Universitynathan0/5415  2005/12/25 13:39 | nathan
    需要回复请问模态mu演算与谓词mu演算的区别sizilove0/4034  2005/12/20 20:40 | sizilove
    开放主题请问有没有人用MWB做model checking的?fq47311/4514  2005/12/15 09:55 | liyong
    开放主题Let's have a fun way to learn Conditional Probabilities and Bayes' Theoremstillthere2/4740  2005/11/28 22:16 | stillthere
    开放主题在学习model checking,请问什么是decidable property,同样什么是undecidable property?akey3073/9151  2005/11/26 23:35 | zqcc
    需要回复有做过多线程数据文件经验的兄弟吗?真理探查者0/3212  2005/11/19 22:58 | 真理探查者
    开放主题borntolose: 出一个game theory的题目 (zz)Logician2/5256  2005/11/18 10:31 | zqcc
    需要回复钱学森1954年说工程控制论stillthere0/4546  2005/11/9 10:54 | stillthere
    需要回复有谁知道如果证明LL(k)文法一定是LR(k)文法galois0/3830  2005/10/22 18:19 | galois
    需要回复IEEE-CS 北京中心正在办理2006年会员申请及更新,并有部分期刊赠阅!ieeecs0/4061  2005/10/19 15:54 | ieeecs
    开放主题请大师帮我看看这个例题,有TCP/IP协议的,谢谢了!rs02022/4631  2005/10/18 01:51 | microsoft
    开放主题请教做model checking[求助]shimutou8/10027  2005/10/9 22:02 | JellGlory
    需要回复[求助]请问ICA算法用什么软件仿真?谢谢wangyan0030/6897  2005/10/9 09:56 | wangyan003
    精华帖子[转帖]胡扯几句游戏的平衡性eyounx1/8098  2005/9/28 18:00 | zhaoming
    开放主题我不太懂最大\最小不动点 谁给我讲讲?shaoshao2/5005  2005/9/24 20:58 | injuredwolf
    开放主题[讨论]国内有哪些教授是搞model checking 的,带博士生吗?twosteps1/7619  2005/9/15 20:21 | injuredwolf
    精华帖子[推荐] Bondy & Murty, Graph Theory with Applicationsxbz4/14260  2005/8/29 19:24 | waiwaiman
    开放主题请教计算理论中的判断输出问题magicspiral4/3950  2005/8/22 15:41 | frozenbbs
    需要回复列举使用分而制之(divide---and----conqure)技术的实例似流水0/2912  2005/7/8 17:02 | 似流水
    需要回复真的是想浪子回头了,没有人愿意帮助一把吗?似流水0/2509  2005/7/7 16:44 | 似流水
    开放主题难题征解 (zz)Logician9/5200  2005/7/7 16:23 | 似流水
    页次:40/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号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    156.250ms