関連のトピックス ...
検索結果 1 - 7 結果 / 7 検索語 'Structure and Interpretation of Computer Programs', 処理時間: 0.02秒 結果の絞り込み
  1. 1
    Live data structures in logic programs : derivation by means of abstract interpretation /
    図書
    著者: Mulkers, Anne, 1960-
    出版事項 1993
    主題: “…Data structures (Computer science)…”
    お気に入りに追加
    保存先:
  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.…”
    お気に入りに追加
    保存先:
  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.…”
    お気に入りに追加
    保存先:
  4. 4
    Microsoft QBasic : an introduction to structured programming for engineering, mathematics, and the sciences /
    図書
    著者: Schneider, David I.
    出版事項 1991
    主題: “…QBasic (Computer program language)…”
    お気に入りに追加
    保存先:
  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…”
    お気に入りに追加
    保存先:
  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…”
    お気に入りに追加
    保存先:
  7. 7
    Software concepts & tools.
    雑誌
    出版事項 1994
    主題: “…Computer software Development Periodicals.…”
    お気に入りに追加
    保存先:
検索ツール: RSSフィード – 検索結果をメール – 検索の保存