Showing 161 - 180 results of 296 for search '(( program complement ) OR ((( program complementedingedingeded ) OR ( program completing ))))', query time: 0.08s Refine Results
  1. 161

    Mechanizing Focused Linear Logic in Coq by Bruno Xavier (23277136)

    Published 2018
    “…<p dir="ltr">Linear logic has been used as a foundation (and inspiration) for the development of programming languages, logical frameworks and models for concurrency. …”
  2. 162

    Integrating UAHPL-DA systems with VLSI design tools to support VLSIDA courses by Sait, Sadiq M.

    Published 1992
    “…A complete operational environment established with the help of state-of-the-art tools, to support courses in design automation (DA) of VLSI circuits, is described. …”
    Get full text
    Get full text
    article
  3. 163

    Anxiety as a moderator of the relationship between body image and restrained eating by Doumit, Rita

    Published 2015
    “…Practice Implications Findings may be used in the development and implementation of education and prevention programs for disordered eating in college campuses. …”
    Get full text
    Get full text
    Get full text
    article
  4. 164
  5. 165
  6. 166
  7. 167
  8. 168
  9. 169
  10. 170
  11. 171
  12. 172
  13. 173
  14. 174
  15. 175

    Project management: perceived potential contribution of project management practices to project success in Ras Al-Khaimah UAE by BAYER, AHMAD

    Published 2021
    “…In the 1950s, the draft guidance was applied depending on the development of events and the performance of specific tasks by the strategies of managers for significant protection programs. In this sense, the leaders' project was different from the associative center exercises. …”
    Get full text
  16. 176
  17. 177
  18. 178
  19. 179
  20. 180

    INTEGRATING UAHPL-DA SYSTEMS WITH VLSI DESIGN TOOLS TO SUPPORT VLSI DA COURSES by Sait, Sadiq M.

    Published 1992
    “…In order to support effective teaching and laboratory courses, it is essential to have a complete operational environment established with the help of state-of the-art tools. …”
    Get full text
    article