在您的搜尋 主題建議
Showing 1 - 7 results of 7 for search 'Structure and Interpretation of Computer Programs', 查詢時間: 0.03s 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 /
    Conference Proceeding 圖書
    出版 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 /
    Conference Proceeding 圖書
    出版 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訂閱 – 推薦此搜索 – 保存搜索