139 results Refine Results
  1. 1
    Published 1981
    “...Springer-Verlag,...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings /
  2. 2
    Published 1982
    “...Springer-Verlag,...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980 /
  3. 3
    “...Springer-Verlag,...”
    Book
    Save to List
    Saved in:
    Group-theoretic algorithms and graph isomorphism /
  4. 4
    by Pan, Victor
    Published 1984
    “...Springer-Verlag,...”
    Book
    Save to List
    Saved in:
    How to multiply matrices faster /
  5. 5
    Published 1983
    “...Springer-Verlag,...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Trees in algebra and programming : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings /
  6. 6
    Published 1984
    “...Springer-Verlag,...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Interactive decision analysis : proceedings of an International Workshop on Interactive Decision Analysis and Interpretative Computer Intelligence held at the International Institute for Applied Systems Analysis (IIASA), Laxenburg, Austria, September 20-23, 1983 /
  7. 7
    Published 1979
    “...Springer-Verlag,...”
    Book
    Save to List
    Saved in:
    Computing methods in applied sciences and engineering, 1977, I /
  8. 8
    by Nussbaumer, Henri J., 1931-
    Published 1981
    “...Springer-Verlag,...”
    Book
    Save to List
    Saved in:
    Fast Fourier transform and convolution algorithms /
  9. 9
    Published 1979
    “...Springer-Verlag,...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Symbolic and algebraic computation : EUROSAM '79, an International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979 /
  10. 10
    Published 1978
    “...Springer-Verlag,...”
    Book
    Save to List
    Saved in:
    Grassland simulation model /
  11. 11
    Published 1982
    “...Springer-Verlag,...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 /
  12. 12
    Published 1981
    “...Springer-Verlag,...”
    Book
    Save to List
    Saved in:
    Dynamic meteorology : data assimilation methods /
  13. 13
    by Sterby, Ole
    Published 1983
    “...Springer-Verlag,...”
    Book
    Save to List
    Saved in:
    Direct methods for sparse matrices /
  14. 14
    by Britz, Dieter, 1939-
    Published 1981
    “...Springer-Verlag,...”
    Book
    Save to List
    Saved in:
    Digital simulation in electrochemistry /
  15. 15
    Published 1983
    “...Springer-Verlag,...”
    Book
    Save to List
    Saved in:
    Computer algebra : symbolic and algebraic computation /
  16. 16
    by Britton, Wray
    Published 1983
    “...Springer-Verlag,...”
    Book
    Save to List
    Saved in:
    Conjugate duality and the exponential Fourier spectrum /
  17. 17
    by Gordon, Michael J. C., 1948-
    Published 1979
    “...Springer-Verlag,...”
    Book
    Save to List
    Saved in:
    Edinburgh LCF : a mechanised logic of computation /
  18. 18
    by Sandford, David M.
    Published 1980
    “...Springer-Verlag,...”
    Book
    Save to List
    Saved in:
    Using sophisticated models in resolution theorem proving /
  19. 19
    by Kremer, James N., 1945-
    Published 1978
    “...Springer-Verlag,...”
    Book
    Save to List
    Saved in:
    A coastal marine ecosystem : simulation and analysis /
  20. 20
    “...Springer-Verlag,...”
    Book
    Save to List
    Saved in:
    Computer programs for spelling correction : an experiment in program design /

Search Tools: