Showing 741 - 760 results of 1,392 for search 'Computational complexity theory', query time: 0.46s Refine Results
  1. 741
  2. 742
  3. 743
    Article of journal
    Published in 2011
    Repositorio Repositorio Institucional ECI

    ... of theories written in the Prototype Verification System (PVS) that contains definitions and proofs...
    Get full text
  4. 744
    Doctoral thesis
    Published in 2022
    Repositorio Repositorio Universidad de Cartagena

    .... In the larvicidal fraction, 10 indole alkaloids were identified, and computational tools were used to evaluate...
    Get full text
    Get full text
  5. 745
  6. 746
  7. 747
  8. 748
  9. 749
  10. 750
  11. 751
  12. 752
  13. 753
  14. 754
    Trabajo de grado de pregrado
    Published in 2023
    Repositorio Séneca: repositorio Uniandes

    Get full text
  15. 755
  16. 756
  17. 757
    Doctoral thesis
    Published in 2024
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  18. 758
  19. 759
  20. 760
    Repositorio Repositorio Institucional UTB

    ... distribution networks that is usually solved using heuristic algorithms due to its high complexity. This paper...
    Get full text
    Get full text