西安工业大学图书馆书目检索系统

| 暂存书架(0) | 登录

检索到 7 条 责任者=陆汝钤 的结果    

 


所有图书 可借图书

  1. 中文图书1.计算系统的形式语义.下 TP301.2/11-2

    馆藏复本:2
    可借复本:1
    陆汝钤著
    清华大学出版社 2017
    (0) 馆藏

  2. 中文图书2.计算系统的形式语义.上 TP301.2/11-1

    馆藏复本:2
    可借复本:1
    陆汝钤著
    清华大学出版社 2017
    (0) 馆藏

  3. 中文图书3.知识科学与计算科学 TP3/298

    馆藏复本:6
    可借复本:6
    陆汝钤主编
    清华大学出版社 2003
    (0) 馆藏

  4. 中文图书4.算法语言 ALGOL68 修改报告 TP312/18

    馆藏复本:25
    可借复本:25
    ()范维恩加登(VanWijngaardn,A.)编
    科学出版社 1982
    (0) 馆藏

  5. 中文图书5.世纪之交的知识工程与知识科学 TP182/2

    馆藏复本:5
    可借复本:5
    陆汝钤编著
    清华大学出版社 2001
    (0) 馆藏

  6. 中文图书6.计算机语言的形式语义 TP301.2/2

    馆藏复本:4
    可借复本:4
    陆汝钤编著
    科学出版社 1992.12
    (0) 馆藏

  7. 中文图书7.算法语言 ALGOL68 修改报告 TP312/225#1

    馆藏复本:3
    可借复本:3
    ()范维恩加登(VanWijngaardn,A.)编
    科学出版社 1982
    (0) 馆藏


返回顶部