在您的搜寻 主题建议
Showing 1 - 7 results of 7 for search 'Structure and Interpretation of Computer Programs', 查询时间: 0.02s Refine Results
  1. 1
    Live data structures in logic programs : derivation by means of abstract interpretation /
    图书
    由 Mulkers, Anne, 1960-
    出版 1993
    主题: “...Data structures (Computer science)...”
    加到收藏夹
    Saved in:
  2. 2
    Vibrational analysis of polyatomic molecules, V : FORTRAN IV programs for setting-up the vibrational secular equation /
    图书
    由 Schachtschneider, J. H.
    出版 1964
    主题: “...Vibrational spectra Computer programs....”
    加到收藏夹
    Saved in:
  3. 3
    Vibrational analysis of polyatomic molecules, VI : FORTRAN IV programs for solving the vibrational secular equation and for the least-squares refinement of force constants /
    图书
    由 Schachtschneider, J. H.
    出版 1965
    主题: “...Vibrational spectra Computer programs....”
    加到收藏夹
    Saved in:
  4. 4
    Microsoft QBasic : an introduction to structured programming for engineering, mathematics, and the sciences /
    图书
    由 Schneider, David I.
    出版 1991
    主题: “...QBasic (Computer program language)...”
    加到收藏夹
    Saved in:
  5. 5
    Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers /
    会议录 图书
    出版 1995
    书本目录: “... Computing / K. Homann and J. Calmet -- Tools for Solving Problems in the Scope of Algebraic Programming / Y...”
    加到收藏夹
    Saved in:
  6. 6
    BCS-FACS 7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996 /
    会议录 图书
    出版 1997
    书本目录: “...Interpreting Nondeterminism in the Refinement Calculus / R. J. R. Back and J. von Wright -- Using...”
    加到收藏夹
    Saved in:
  7. 7
    Software concepts & tools.
    杂志
    出版 1994
    主题: “...Computer software Development Periodicals....”
    加到收藏夹
    Saved in:
检索工具: 得到RSS订阅 – 推荐此搜索 – 保存搜索