Showing 1 - 20 results of 20 for search 'Department of Computer Science, University of Toronto,', query time: 3.55s Refine Results
  1. 1
    Feasibly constructive analysisFR /
    “...Department of Computer Science, University of Toronto,...”

    Thesis Book
  2. 2
    R-stable (3,4) singly diagonally implicit Runge-Kutta Nystrom pairs of dispersive orders four and six /
    by Sharp, P. W
    Published 1988
    “...Department of Computer Science, University of Toronto,...”

    Book
  3. 3
    Decidable, logic-based knowledge representation /
    by Patel-Schneider, Peter F
    Published 1987
    “...Department of Computer Science, University of Toronto,...”

    Thesis Book
  4. 4
    Cryptography using weak sources of randomness /
    by McInnes, James L
    Published 1987
    “...Department of Computer Science, University of Toronto,...”

    Book
  5. 5
    Analysis of error control strategies for continuous Runge-Kutta methods /
    by Enright, W. H
    Published 1987
    “...[Department of Computer Science, University of Toronto],...”

    Book
  6. 6
    Global error estimation using defect correction techniques for explicit Runge-Kutta methods /
    by Peterson, Peter Jeffrey
    Published 1986
    “...Department of Computer Science, University of Toronto,...”

    Thesis Book
  7. 7
    On the computational complexity of finding stable state vectors in connectionist models (Hopfield nets) /
    by Godbeer, Gail H
    Published 1988
    “...Department of Computer Science, University of Toronto,...”

    Book
  8. 8
    User guide for ERNY : an explicit Runge-Kutta Nystrom integrator for second order initial value problems /
    by Sharp, P. W
    Published 1987
    “...Department of Computer Science, University of Toronto,...”

    Book
  9. 9
    Modeling energy consumption in VLSI circuits /
    by Kissin, Gloria Sonia
    Published 1987
    “...Department of Computer Science, University of Toronto,...”

    Thesis Book
  10. 10
    Embedding trees in the hypercube /
    by Wagner, Alan Shelton
    Published 1987
    “...[University of Toronto, Department of Computer Science],...”

    Thesis Book
  11. 11
    Permutation group algorithms /
    by Henderson, Marck C
    Published 1987
    “...Department of Computer Science, University of Toronto,...”

    Book
  12. 12
    The complexity of decision procedures in relevance logic /
    by Urquhart, Alasdair
    Published 1989
    “...Department of Computer Science, University of Toronto,...”

    Book
  13. 13
    Detecting stiffness with explicit Runga-Kutta formulas /
    by Robertson, Brian Christopher
    Published 1986
    “...Department of Computer Science, University of Toronto,...”

    Thesis Book
  14. 14
    Vectorization of low order explicit Runge-Kutta Nystrom pairs on a CRAY X-MP/22 /
    by Sharp, P. W
    Published 1987
    “...Department of Computer Science, University of Toronto,...”

    Book
  15. 15
    Lower bounds in parallel machine computation /
    by Beame, Paul William
    Published 1986
    “...Department of Computer Science, University of Toronto,...”

    Thesis Book
  16. 16
    Functional interpretations of feasibly constructive arithmetic /
    by Cook, Stephen A
    Published 1988
    “...Department of Computer Science, University of Toronto,...”

    Book
  17. 17
    Numerical testing of explicit Runge-Kutta pairs /
    by Sharp, P. W
    Published 1988
    “...Department of Computer Science, University of Toronto,...”

    Book
  18. 18
    Complexity results on functional decomposition of polynomials /
    by Giesbrecht, Mark William
    Published 1988
    “...Department of Computer Science, University of Toronto,...”

    Thesis Book
  19. 19
    Feasibly constructive analysisFR /
    by Hoover, Howard James
    Published 1987
    “...Department of Computer Science, University of Toronto,...”

    Thesis Book
  20. 20
    ERNY : an explicit Runge-Kutta Nystrom integrator for second order initial value problems /
    by Sharp, P. W
    Published 1987
    “...Department of Computer Science, University of Toronto,...”

    Book
Search Tools: Get RSS Feed — Email this Search