Search Results - "Computers

Refine Results
  1. 2381
  2. 2382

    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

    Published 2020
    Subjects: “…Computer architecture & logic design bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  3. 2383

    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

    Published 2021
    Subjects: “…Computer architecture & logic design bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  4. 2384

    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…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  5. 2385

    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…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  6. 2386
  7. 2387
  8. 2388

    Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

    Published 2023
    Subjects: “…Computer architecture & logic design bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  9. 2389
  10. 2390
  11. 2391
  12. 2392
  13. 2393
  14. 2394
  15. 2395
  16. 2396
  17. 2397
  18. 2398
  19. 2399
  20. 2400