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

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


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

    发新帖  发起新投票  发布小字报   广播:  eyounx Logician 
    热门类别: [计算机的数学基础] [编译原理] [计算理论] [我的兴趣] 精华 | 在线 | 事件 | 权限 | 管理
    状态主 题 (点击标题排序)作 者回复/人气最后回复 | 回复人
    需要回复求 A Deductive Method for Simulating Fault in Logic Circuits菜鸟学者0/3638  2008/2/27 16:21 | 菜鸟学者
    开放主题能定义这样的逻辑系统吗?xbwang2/3979  2008/2/22 14:52 | xbwang
    开放主题问一个编译原理的两个定义,先行和回溯分别是什么意思啊?marrco1/4959  2008/2/22 11:31 | xbwang
    开放主题【CFP】International Conference for Internet Technology and Secured Transactions 2008 (ICITST 2008)
      投稿信息
    michaelzhao2/9592  2008/2/18 22:32 | michaelzhao
    开放主题学电脑迷茫lonwe1/4482  2008/2/16 15:37 | netjian
    开放主题[2008.1]  IBM 中国研究中心(CRL) 职位
      科研生涯 | 招生招聘
    admin3/47359  2008/2/8 10:54 | wstone
    开放主题形式化研究进展(Petri-net  CCS  pi-calculus  ambients-calculus)lrs06236/10119  2008/2/2 00:18 | wukongg
    开放主题求求各位高手帮帮我,星期一就补考了!A卷lkzzcp3/5073  2008/1/28 13:31 | 落叶
    需要回复求求各位高手帮帮我,星期一就补考了!B卷lkzzcp0/3247  2008/1/26 18:29 | lkzzcp
    开放主题请问怎么查某个国际会议的情况,如录取率,影响力等
      科研生涯 | 投稿信息
    juziweidao9/49533  2008/1/21 09:33 | qqniu
    开放主题怎么证明{a^i|i为素数}不是上下文无关语言(CFL)?[求助]hegonghe2/4550  2008/1/12 11:47 | hegonghe
    需要回复[求助]liping06030/4982  2008/1/11 10:56 | liping0603
    需要回复研究生可以参加ACM大赛吗?hushiqing0/4623  2008/1/9 20:42 | hushiqing
    需要回复求助!!!!计算机问题疯疯康康0/3517  2007/12/29 18:31 | 疯疯康康
    开放主题面向计算机科学的数理逻辑飞鹰战士6/11134  2007/12/27 11:16 | fs_xxzx
    开放主题袁崇义《Petri网原理》学习问题集,恳请达人解惑~vssivl2/4749  2007/12/26 12:19 | vssivl
    开放主题帮一下忙求知者2/3666  2007/12/25 16:27 | lxs85
    需要回复揭秘C中的参数传递问题martian_person0/2803  2007/12/25 15:00 | martian_person
    需要回复[求助]哈夫曼树的构造sjbird3310/4190  2007/12/19 09:24 | sjbird331
    开放主题陶哲轩:一个华裔数学天才的传奇Logician9/13176  2007/12/17 08:28 | netjian
    开放主题中科院计算所网格与服务计算研究中心博士后招聘.
      科研生涯 | 招生招聘
    Viali6/31626  2007/12/10 20:01 | julie85
    需要回复求助:类型效果系统 type and effect system 的参考资料liyulongmen0/3557  2007/12/10 16:04 | liyulongmen
    需要回复mengwen19870/2891  2007/12/5 17:21 | mengwen1987
    需要回复想问一下:什么是软件模型检验cqyanbo0/3656  2007/12/5 16:03 | cqyanbo
    开放主题请达人推荐本modal logic的好书吧ICT_RemyChan1/4953  2007/12/5 09:08 | wanggou
    开放主题能给讲讲啥叫对角线原则?wu5zg4/7077  2007/11/30 15:52 | wanggou
    开放主题太冷清了啊wanggou1/4816  2007/11/30 14:40 | admin
    精华帖子小庄:计算机史前史简评chzhuang4/15513  2007/11/27 22:48 | PRC001
    需要回复[求助]查找中的查找长度sjbird3310/4434  2007/11/18 18:10 | sjbird331
    需要回复光棍节快乐!zhangxinzhe0/3442  2007/11/11 20:17 | zhangxinzhe
    开放主题[求助]求助离散数学两题sjbird3312/4158  2007/11/11 17:09 | sjbird331
    需要回复图结构数据搜索chengshuming0/3511  2007/11/11 09:16 | chengshuming
    需要回复那位有《元数学导论》电子版?给我发一份可以么?wanggou0/3567  2007/11/9 09:42 | wanggou
    热门主题求助:形式语义学的相关材料  [ 1 2 ]
      Logics
    飞鹰战士14/35338  2007/11/7 16:51 | liukun19851007
    需要回复有关linux的问题weibingyang0/3078  2007/10/29 11:32 | weibingyang
    需要回复低价出计算机相关书籍!!!ozqingqing0/3554  2007/10/27 14:19 | ozqingqing
    需要回复求一本书:《communication and concurrency》liyulongmen0/5382  2007/10/26 14:54 | liyulongmen
    需要回复高手请来帮帮忙~~~急~谢谢tbmdog0/2924  2007/10/26 12:30 | tbmdog
    开放主题[求助]程序设计基础taveller1/4959  2007/10/20 01:26 | taveller
    开放主题[求助]谈谈事物的数字化taveller3/4543  2007/10/20 01:31 | taveller
    页次:35/39页 每页40 主题数1546
    分页:  上一页  下一页  97 31 32 33 34 35 36 37 38 39 : 转到:
    本版标题搜索    搜索范围   
    站内全文搜索 

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