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

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


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

    发新帖  发起新投票  发布小字报   广播:  eyounx Logician 
    热门类别: [计算机的数学基础] [编译原理] [计算理论] [我的兴趣] 精华 | 在线 | 事件 | 权限 | 管理
    状态主 题 (点击标题排序)作 者回复/人气最后回复 | 回复人
    需要回复求助!(Model checking方面的一篇经典文献)buchiautomata0/5391  2007/7/5 12:14 | buchiautomata
    开放主题求助yaony01/5414  2007/7/5 11:58 | buchiautomata
    开放主题一个计算机硬件问题mawenxi3/6253  2007/7/4 01:12 | 主机战神
    开放主题[请助]关于计算机科学知识体系结构问题lxs854/11260  2007/7/4 01:09 | 主机战神
    需要回复问一个弱弱的问题,flatten和skolem command的区别,怎么用它们两个?chenggh0/4974  2007/7/3 10:05 | chenggh
    需要回复清华理论计算机科学研究所又中了一篇FOCS2007和一篇STOC2007accueil0/9377  2007/7/2 10:34 | accueil
    需要回复姚期智:为了中国计算机科学的腾飞accueil0/9498  2007/7/2 03:32 | accueil
    需要回复救急的appleliuxingyan0/5440  2007/6/30 16:03 | appleliuxingyan
    开放主题可计算理论简介(转)pr0phet1/7103  2007/6/30 10:33 | jxjjhk
    需要回复ADC信噪比的分析及高速高分辨率ADC电路的实现卷积内核0/5853  2007/6/29 10:08 | 卷积内核
    需要回复[转帖]世界七大数学难题之一: P =? NP, 七大数学难题中唯一的一个计算机科学问题pr0phet0/8266  2007/6/27 22:22 | pr0phet
    开放主题小庄:谁来拍“第三次数学危机”这部电影?[原创]chzhuang1/6667  2007/6/25 19:20 | wealk
    需要回复跪求~~~计算机密码学新技术519310060/9429  2007/6/24 21:24 | 51931006
    开放主题学形式化方法的给个建议吧shannon_sui7/8710  2007/6/23 01:16 | doubleman
    开放主题[求助]计算理论基础wjsam2/10993  2007/6/23 01:08 | doubleman
    需要回复研究model checking的请进anarchist0/5221  2007/6/20 16:14 | anarchist
    开放主题请问有同去IEEE Tencon会议的人吗?wangluoluowang4/11608  2007/6/18 14:14 | vipsupply
    开放主题[下载]2006年下半年(11月)软考试题免费下载zl06092/7603  2007/6/18 14:06 | vipsupply
    需要回复会议信息ieliubl0/4675  2007/6/16 11:01 | ieliubl
    热门主题有关类型系统的入门  [ 1 2 3 ]shaoshao21/33164  2007/6/13 04:02 | GaloisAbel
    开放主题Google创始人:成功之后
      科研生涯
    DMman1/18777  2007/6/5 09:10 | timothy
    开放主题求助:逻辑编程logic programmingtj-figo1/6434  2007/6/2 21:02 | chzhuang
    开放主题[推荐] V.I. Arnold 论数学教育 (经典)Logician4/15299  2007/6/2 08:53 | with0out
    热门主题哪位有分布式系统原理与范型的电子英文版  [ 1 2 ]haperkelu14/27117  2007/5/30 01:39 | zjg_robin
    需要回复[求助]什么是"Zipf-like 分布"binaryluo0/8384  2007/5/24 20:09 | binaryluo
    需要回复研究软件形式化方法、模型检验、自动定理证明、Multi-Agent建模推理的,请加入群38803545gaohj10000/6834  2007/5/21 20:42 | gaohj1000
    开放主题求高手指点迷津:mu演算的问题shenshenqiqi1/6369  2007/5/21 01:01 | wol
    开放主题抽象状态自动机ASM属于哪种形式化方法?shannon_sui1/5526  2007/5/21 00:51 | wol
    开放主题关于理论计算机科学研究的一点理解
      Logics
    yneversky5/9828  2007/5/13 21:09 | dzy001
    需要回复请前辈牛人们进来帮帮忙吧!即将毕业0/5369  2007/5/11 23:38 | 即将毕业
    开放主题[交流]对model checking方向有兴趣的朋友们一起交流啊tanialex2/8910  2007/5/10 21:14 | liwup
    开放主题研究model checking的请进injuredwolf8/12163  2007/5/10 21:00 | liwup
    开放主题求助高手,关于数据结构丝雨4/6428  2007/5/8 11:27 | dabile
    需要回复求助!若雨0/4808  2007/5/6 12:14 | 若雨
    需要回复求助:关于流密码算法:RABBIT中文描述zzh198303210/5805  2007/4/28 10:15 | zzh19830321
    开放主题旧读重温之《希尔伯特》 zzLogician6/10608  2007/4/28 06:22 | programfanny
    精华帖子一个学习科研与娱乐的网站  [ 1 2 ]sky3332043913/32376  2007/4/22 12:52 | sweetking
    热门主题想找有共同研究兴趣的朋友研究一篇文章  [ 1 2 3 4 ]
      科研生涯
    justzpy37/167663  2007/4/21 20:52 | justzpy
    开放主题余代数(coalgebra)研二3/6391  2007/4/16 09:25 | xueleicao2007
    需要回复[求助]在学理论计算机,不知道谁能上传一份北大刘田老师的理论计算机科学基础课件cauzcw0/6166  2007/4/14 19:34 | cauzcw
    页次:37/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号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    156.982ms