בתוך החיפוש שלך נושאים מוצעים
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)..."
    הוספה למועדפים
    שמור ב:
  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 /
    Conference Proceeding ספר
    יצא לאור 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 /
    Conference Proceeding ספר
    יצא לאור 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) – שליחת חיפוש דרך דואל – שמירת חיפוש