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

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


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

    发新帖  发起新投票  发布小字报   广播:  eyounx Logician 
    热门类别: [计算机的数学基础] [编译原理] [计算理论] [我的兴趣] 精华 | 在线 | 事件 | 权限 | 管理
    状态主 题 (点击标题排序)作 者回复/人气最后回复 | 回复人
    开放主题[推荐] V.I. Arnold 论数学教育 (经典)Logician4/14768  2007/6/2 08:53 | with0out
    热门主题哪位有分布式系统原理与范型的电子英文版  [ 1 2 ]haperkelu14/26451  2007/5/30 01:39 | zjg_robin
    需要回复[求助]什么是"Zipf-like 分布"binaryluo0/8276  2007/5/24 20:09 | binaryluo
    需要回复研究软件形式化方法、模型检验、自动定理证明、Multi-Agent建模推理的,请加入群38803545gaohj10000/6678  2007/5/21 20:42 | gaohj1000
    开放主题求高手指点迷津:mu演算的问题shenshenqiqi1/6157  2007/5/21 01:01 | wol
    开放主题抽象状态自动机ASM属于哪种形式化方法?shannon_sui1/5388  2007/5/21 00:51 | wol
    开放主题关于理论计算机科学研究的一点理解
      Logics
    yneversky5/9554  2007/5/13 21:09 | dzy001
    需要回复请前辈牛人们进来帮帮忙吧!即将毕业0/5218  2007/5/11 23:38 | 即将毕业
    开放主题[交流]对model checking方向有兴趣的朋友们一起交流啊tanialex2/8768  2007/5/10 21:14 | liwup
    开放主题研究model checking的请进injuredwolf8/11950  2007/5/10 21:00 | liwup
    开放主题求助高手,关于数据结构丝雨4/6287  2007/5/8 11:27 | dabile
    需要回复求助!若雨0/4708  2007/5/6 12:14 | 若雨
    需要回复求助:关于流密码算法:RABBIT中文描述zzh198303210/5650  2007/4/28 10:15 | zzh19830321
    开放主题旧读重温之《希尔伯特》 zzLogician6/10357  2007/4/28 06:22 | programfanny
    精华帖子一个学习科研与娱乐的网站  [ 1 2 ]sky3332043913/31293  2007/4/22 12:52 | sweetking
    热门主题想找有共同研究兴趣的朋友研究一篇文章  [ 1 2 3 4 ]
      科研生涯
    justzpy37/157356  2007/4/21 20:52 | justzpy
    开放主题余代数(coalgebra)研二3/6213  2007/4/16 09:25 | xueleicao2007
    需要回复[求助]在学理论计算机,不知道谁能上传一份北大刘田老师的理论计算机科学基础课件cauzcw0/6013  2007/4/14 19:34 | cauzcw
    需要回复询问1下xieqi11110/4939  2007/4/13 21:37 | xieqi1111
    需要回复有想考中科院的博士的朋友吗?研二0/5189  2007/4/11 13:32 | 研二
    精华帖子图灵机杂思 zzLogician3/14207  2007/4/6 07:26 | wjwenoch
    开放主题[CFP]3rd International Conference on Semantics, Knowledge and Grid (SKG 2007) (submission:07-05-20; conference:07-10-29~31 Xi'an)
      科研生涯 | 投稿信息
    admin7/56449  2007/4/3 16:34 | tainechill
    开放主题[求助]请熟悉计算机科学系课程的高手进止疼片4/9266  2007/3/30 09:54 | archlinux
    需要回复分程序公理语义anarchist0/6718  2007/3/28 16:26 | anarchist
    开放主题[求助]关于某些图灵机语言类的问题
      计算理论
    chchtheory3/13219  2007/3/20 10:21 | huxinhuwei
    开放主题求助:mu演算,s1s逻辑,buchi自动机,奇偶博弈(parity game)的中文资料shenshenqiqi3/8785  2007/3/17 12:58 | Templarwzy
    需要回复关于信噪比SNR卷积内核0/9087  2007/3/16 14:56 | 卷积内核
    需要回复XPATh查询的问题shenshenqiqi0/5129  2007/3/7 11:49 | shenshenqiqi
    需要回复求蚂蚁爬行路线最长距离的算法ak47awp0/6577  2007/3/6 21:58 | ak47awp
    精华帖子乌托邦式的接口和实现分离技术卷积内核1/10412  2007/2/10 13:52 | Templarwzy
    开放主题求自动机资料lxmiuamo2/8276  2007/2/10 11:28 | Templarwzy
    开放主题[求助]请问这是属于什么逻辑啊?baar2/8134  2007/2/8 15:24 | Templarwzy
    需要回复真诚请教xfq8280/5192  2007/1/27 23:14 | xfq828
    开放主题求助huangtaol1/5754  2007/1/26 14:13 | accueil
    开放主题关于计算机数学的学习lxs854/7685  2007/1/26 14:02 | accueil
    精华帖子北京大学计算机系“理论计算机科学基础”2006年期末试题 zzLogician6/18622  2007/1/24 17:57 | yneversky
    开放主题美丽的素数 伟大的证明Logician5/8566  2007/1/23 03:54 | Logician
    需要回复闲置服务器一台,寻求合作,联系QQ:724662595qingchen1210/5968  2007/1/12 14:40 | qingchen121
    需要回复求助!   关于计算机引论xiaoxiao19860/5756  2007/1/10 12:53 | xiaoxiao1986
    需要回复请问谁有<<编译原理与实践>>的英文版阿yahoocomcn0/6580  2006/12/26 20:39 | yahoocomcn
    页次:37/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