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

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


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

    发新帖  发起新投票  发布小字报   广播:  eyounx Logician 
    热门类别: [计算机的数学基础] [编译原理] [计算理论] [我的兴趣] 精华 | 在线 | 事件 | 权限 | 管理
    状态主 题 (点击标题排序)作 者回复/人气最后回复 | 回复人
    热门主题Frances E. Allen获2006年度图灵奖,成为首位女性图灵奖得主  [ 1 2 ]
      科研生涯
    Logician15/79122  2007/8/28 20:54 | handsom
    需要回复[推荐]形式化技术与信息安全群17760147,有兴趣者加入llxxff0/3547  2007/8/22 17:49 | llxxff
    开放主题诸公解疑,中国的电脑特效形势发展科学在线1/4195  2007/8/19 11:25 | huxinhuwei
    需要回复【推荐】清华大学姚期智办的"软件科学实验班“课程学习图!dyfduck0/6174  2007/8/17 14:34 | dyfduck
    需要回复小型企业办公自动化实用手册(献给毕业2年的自己)zpydd0/5172  2007/8/6 16:37 | zpydd
    需要回复[转帖] 数理逻辑的大发展pr0phet0/5315  2007/8/4 21:25 | pr0phet
    开放主题询问有关指针数组wzf82051/4716  2007/8/3 21:01 | pr0phet
    需要回复推荐[推荐]liurui6160/4588  2007/8/3 12:34 | liurui616
    需要回复有人知道“软考”吗diansheng0/3592  2007/7/22 23:37 | diansheng
    开放主题天才问题孙宇清2/5538  2007/7/20 20:42 | abc1989
    开放主题PhD Scholarship in Data Mining and Machine Learning
      科研生涯 | 招生招聘
    admin2/31583  2007/7/19 11:13 | chris
    需要回复AMD Athlon 64 Processor 2800+ 1.8G CUP的浮点运算有问题吗?zhishushinv0/3424  2007/7/18 23:25 | zhishushinv
    需要回复频繁子树挖掘算法jianghai0790/4516  2007/7/13 17:22 | jianghai079
    热门主题数据挖掘人员的素质、能力要求  [ 1 2 ]
      数据挖掘 | 科研生涯 | 信息检索
    DMman19/67005  2007/7/7 09:49 | lovezhou_2006
    需要回复求助!(Model checking方面的一篇经典文献)buchiautomata0/5099  2007/7/5 12:14 | buchiautomata
    开放主题求助yaony01/5112  2007/7/5 11:58 | buchiautomata
    开放主题一个计算机硬件问题mawenxi3/5824  2007/7/4 01:12 | 主机战神
    开放主题[请助]关于计算机科学知识体系结构问题lxs854/10616  2007/7/4 01:09 | 主机战神
    需要回复问一个弱弱的问题,flatten和skolem command的区别,怎么用它们两个?chenggh0/4649  2007/7/3 10:05 | chenggh
    需要回复清华理论计算机科学研究所又中了一篇FOCS2007和一篇STOC2007accueil0/9056  2007/7/2 10:34 | accueil
    需要回复姚期智:为了中国计算机科学的腾飞accueil0/9132  2007/7/2 03:32 | accueil
    需要回复救急的appleliuxingyan0/5167  2007/6/30 16:03 | appleliuxingyan
    开放主题可计算理论简介(转)pr0phet1/6805  2007/6/30 10:33 | jxjjhk
    需要回复ADC信噪比的分析及高速高分辨率ADC电路的实现卷积内核0/5555  2007/6/29 10:08 | 卷积内核
    需要回复[转帖]世界七大数学难题之一: P =? NP, 七大数学难题中唯一的一个计算机科学问题pr0phet0/7778  2007/6/27 22:22 | pr0phet
    开放主题小庄:谁来拍“第三次数学危机”这部电影?[原创]chzhuang1/6226  2007/6/25 19:20 | wealk
    需要回复跪求~~~计算机密码学新技术519310060/9069  2007/6/24 21:24 | 51931006
    开放主题学形式化方法的给个建议吧shannon_sui7/8216  2007/6/23 01:16 | doubleman
    开放主题[求助]计算理论基础wjsam2/10552  2007/6/23 01:08 | doubleman
    需要回复研究model checking的请进anarchist0/4842  2007/6/20 16:14 | anarchist
    开放主题请问有同去IEEE Tencon会议的人吗?wangluoluowang4/11128  2007/6/18 14:14 | vipsupply
    开放主题[下载]2006年下半年(11月)软考试题免费下载zl06092/7150  2007/6/18 14:06 | vipsupply
    需要回复会议信息ieliubl0/4394  2007/6/16 11:01 | ieliubl
    热门主题有关类型系统的入门  [ 1 2 3 ]shaoshao21/30002  2007/6/13 04:02 | GaloisAbel
    开放主题Google创始人:成功之后
      科研生涯
    DMman1/16486  2007/6/5 09:10 | timothy
    开放主题求助:逻辑编程logic programmingtj-figo1/6057  2007/6/2 21:02 | chzhuang
    开放主题[推荐] V.I. Arnold 论数学教育 (经典)Logician4/14101  2007/6/2 08:53 | with0out
    热门主题哪位有分布式系统原理与范型的电子英文版  [ 1 2 ]haperkelu14/25657  2007/5/30 01:39 | zjg_robin
    需要回复[求助]什么是"Zipf-like 分布"binaryluo0/8066  2007/5/24 20:09 | binaryluo
    需要回复研究软件形式化方法、模型检验、自动定理证明、Multi-Agent建模推理的,请加入群38803545gaohj10000/6468  2007/5/21 20:42 | gaohj1000
    页次:36/39页 每页40 主题数1521
    分页:  上一页  下一页  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号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    7,816.406ms