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

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


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

    发新帖  发起新投票  发布小字报   广播:  eyounx Logician 
    热门类别: [计算机的数学基础] [编译原理] [计算理论] [我的兴趣] 精华 | 在线 | 事件 | 权限 | 管理
    状态主 题 (点击标题排序)作 者回复/人气最后回复 | 回复人
    开放主题【2011-1-1】【重庆,中国】2011年无线和光纤通信国际会议(EI/ISTP检索)chenxue111/4417  2010/12/24 10:53 | chenxue11
    需要回复【EI检索—JA类型】国外源刊EEST征收稿件—能源/环境/材料领域ewetg0/4415  2014/1/15 10:59 | ewetg
    开放主题[学习与交流]形式化方法superdog2/4409  2008/5/26 10:07 | rayren
    开放主题请大师帮我看看这个例题,有TCP/IP协议的,谢谢了!rs02022/4404  2005/10/18 01:51 | microsoft
    需要回复求计算理论资料qingqingzhong0/4403  2008/12/9 09:42 | qingqingzhong
    需要回复2011年IEEE计算机控制与自动化国际会议(ICCCA2011)jeese0030/4393  2010/11/19 16:25 | jeese003
    开放主题向诸位高手请教UML的形式化语义描述问题guangjun_zeng1/4387  2006/5/23 21:58 | doom5211
    需要回复会议信息ieliubl0/4387  2007/6/16 11:01 | ieliubl
    需要回复我是学计算机科学与技术的新生,这里讨论的内容跟我学的有关系吗?Dr_J0/4380  2008/7/21 13:06 | Dr_J
    需要回复EI国外源刊EEST PART A正刊征文(EI/JA)***能源类***ewetg0/4376  2013/11/27 14:00 | ewetg
    需要回复第三届计算机科学与软件工程CSSE2010国际学术会议(Ei & ISTP双检索) ZY[注意]我的玻璃雪0/4372  2010/5/24 10:36 | 我的玻璃雪
    开放主题[推荐]【2010-11-15】【上海,中国】2011年系统工程与建模国际会议(Ei检索)csconference2/4369  2010/11/10 09:33 | chenxue11
    需要回复[推荐]
      Description Logics
    csconference0/4368  2009/8/19 14:07 | csconference
    需要回复招聘图像算法工程师handlty0/4367  2007/10/8 14:05 | handlty
    开放主题【2011-1 10】【重庆,中国】2011年金融和管理科学国际会议(EI/ISTP)chenxue111/4354  2010/12/24 10:52 | chenxue11
    开放主题论文投稿-职称,毕业-推荐SCIE检索期刊  没成功不需花任何钱htt01234562/4351  2012/3/27 18:03 | htt0123456
    需要回复研究生可以参加ACM大赛吗?hushiqing0/4350  2008/1/9 20:42 | hushiqing
    需要回复新手学堂:Linux标准系统的文件目录简介xwmlz1230/4347  2009/7/24 14:28 | xwmlz123
    开放主题【2010-02-20截稿】【EI,ISTP双检索】2010信息和电子工程国际会议 中国上海
      Description Logics
    conference81/4346  2010/1/15 16:17 | conference8
    开放主题\Pi_2 3-SAT的复杂性是\Pi_2^P-完全的吗[求助]yswang1681/4344  2014/1/6 20:19 | yswang168
    需要回复[公告]第三届计算机科学与软件工程CSSE2010国际学术会议(Ei & ISTP双检索)   fbfb00930/4342  2010/5/17 10:55 | fb0093
    精华帖子The Importance of the P versus NP Question (zz)Logician0/4339  2005/3/15 14:20 | Logician
    需要回复第五届高端计算机控制国际会议(ICACC2013)ewetg0/4331  2013/11/8 09:28 | ewetg
    开放主题爱因斯坦的科研方法[转帖]netjian2/4329  2008/4/11 16:30 | ggoggoogg
    需要回复钱学森1954年说工程控制论stillthere0/4328  2005/11/9 10:54 | stillthere
    开放主题请问有没有人用MWB做model checking的?fq47311/4322  2005/12/15 09:55 | liyong
    需要回复2010年中国国际生物技术和仪器设备博览会zhongjialin0/4322  2010/1/8 10:04 | zhongjialin
    需要回复2009IEEE信息与金融工程国际会议 (ICIFE 2009)iccsit20090/4320  2008/11/6 12:02 | iccsit2009
    开放主题设计中国人自已的程序设计语言cs13991/4311  2008/9/29 21:30 | niuby
    需要回复[转帖]谁是真正的江湖?泰乐飘渺仙剑门派博弈sddwx99990/4311  2011/1/22 11:35 | sddwx9999
    开放主题第三届(2010年)中国信息技术应用学术论文征文通知[推荐]kkk8081/4300  2009/11/13 14:37 | kkk808
    需要回复如何在latex中输出中文[分享]netjian0/4298  2008/3/12 09:26 | netjian
    开放主题[推荐]Ei检索的中文“IEEE互联网技术与应用国际会议”iTAP2010joy11p1/4294  2010/1/28 14:30 | 朗切古
    开放主题请教一个名词的翻译jet81/4291  2008/6/17 10:26 | fighterchaung
    需要回复关于支持考试相关介绍,海量题库。ohmygodgirl10/4290  2010/8/4 11:28 | ohmygodgirl1
    开放主题大家好,请问国内哪些老师能带model checking 的博士呢?并想了解相关情况,先谢谢了!!!eastocean1/4287  2006/2/9 13:47 | eastocean
    需要回复有没有人做PetriNet结合UML的?doom52110/4284  2006/5/23 21:53 | doom5211
    开放主题[求助]谁帮我看看这几个《形式语义学》题目??zcsrs1/4278  2008/6/24 23:15 | zcsrs
    需要回复计算机光盘软件与应用2010年1期-浅谈校园网的网络监控及无线网络部署jsjzzs0/4272  2010/2/27 18:16 | jsjzzs
    需要回复BMEI2011 IEEE2011商业管理与电子信息国际学术会议(EI收录)joy11p0/4264  2010/10/9 22:02 | joy11p
    页次:15/39页 每页40 主题数1521
    分页:  上一页  下一页  97 11 12 13 14 15 16 17 18 19 20 8 : 转到:
    本版标题搜索    搜索范围   
    站内全文搜索 

     -=> 中文XML论坛 - 专业的XML技术讨论区图例所有时间均为 - 北京时间  
    开放的主题未被回复的主题 回复超过10贴 锁定的主题 固顶的主题 总固顶的主题 精华帖子 投票帖子
    W3C Contributing Supporter! W 3 C h i n a ( since 2003 ) 旗 下 站 点
    苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    169.922ms