Search Results - "Computers

Refine Results
  1. 2021
  2. 2022
  3. 2023
  4. 2024

    Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022

    Published 2022
    Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  5. 2025

    Efficient fast Fourier transform-based solvers for computing the thermomechanical behavior of applied materials by Wicht, Daniel

    Published 2022
    Subjects: “…Mikromechanik; Homogenisierung; Rechnergestützte Mechanik; Nichtlineare Optimierung; Themomechanik; Micromechanics; homogenization; computational mechanics; nonlinear optimization; thermomechanics…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  6. 2026
  7. 2027
  8. 2028
  9. 2029
  10. 2030
  11. 2031
  12. 2032
  13. 2033
  14. 2034
  15. 2035
  16. 2036
  17. 2037
  18. 2038
  19. 2039
  20. 2040