597 results Refine Results
  1. 1
    出版 1982
    Conference Proceeding 圖書
    加到收藏夾
    Saved in:
    Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980 /
  2. 2
    出版 1984
    Conference Proceeding 圖書
    加到收藏夾
    Saved in:
    Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 /
  3. 3
    出版 1978
    序列
    加到收藏夾
    Saved in:
    Report /
  4. 4
    出版 1981
    雜誌
    加到收藏夾
    Saved in:
    IMA journal of applied mathematics.
  5. 5
    出版 1949
    雜誌
    加到收藏夾
    Saved in:
    Communications on pure and applied mathematics : a journal /
  6. 6
    出版 1915
    序列
    加到收藏夾
    Saved in:
    Edinburgh mathematical tracts.
  7. 7
    出版 1991
    序列
    加到收藏夾
    Saved in:
    Mathematical chronicle.
  8. 8
    由 Sandford, David M.
    出版 1980
    圖書
    加到收藏夾
    Saved in:
    Using sophisticated models in resolution theorem proving /
  9. 9
    圖書
    加到收藏夾
    Saved in:
    Advancing with mathematics.
  10. 10
    出版 1967
    圖書
    加到收藏夾
    Saved in:
    Supplementary mathematics : pilot scheme.
  11. 11
    出版 1986
    圖書
    加到收藏夾
    Saved in:
    Accurate scientific computations : symposium, Bad Neuenahr, FRG, March 12-14, 1985 : proceedings /
  12. 12
    出版 1988
    Conference Proceeding 圖書
    加到收藏夾
    Saved in:
    Mathematical foundations of computer science 1988 : proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988 /
  13. 13
    出版 1988
    圖書
    加到收藏夾
    Saved in:
    Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings /
  14. 14
    出版 1988
    圖書
    加到收藏夾
    Saved in:
    MFDBS 87 : 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, GDR, January 19-23, 1987 : proceedings /
  15. 15
    由 Driver, E. H.
    出版 1948
    圖書
    加到收藏夾
    Saved in:
    Supplementary mathematics : covering the trigonometry, vector work, graphs and statistics for school certificate, and graphs and vector work for university entrance /
  16. 16
    出版 1992
    序列
    加到收藏夾
    Saved in:
    New Zealand journal of mathematics.
  17. 17
    出版 1974
    雜誌
    加到收藏夾
    Saved in:
    Newsletter /
  18. 18
    出版 1988
    雜誌
    加到收藏夾
    Saved in:
    Wissenschaftliche Zeitschrift der Humboldt-Universitat zu Berlin
  19. 19
    出版 1871
    雜誌
    加到收藏夾
    Saved in:
    The Messenger of mathematics.
  20. 20
    出版 1977
    雜誌
    加到收藏夾
    Saved in:
    International journal for numerical and analytical methods in geomechanics.

檢索工具: