Showing 1 - 3 results of 3 for search 'Amira T. Mahmoud', query time: 0.01s Refine Results
  1. 1
    Adsorption of heavy metal ion from aqueous solution by nickel oxide nano catalyst prepared by different methods

    Adsorption of heavy metal ion from aqueous solution by nickel oxide nano catalyst prepared by different methods by Amira M. Mahmoud, Fatma A. Ibrahim, Seham A. Shaban, Nadia A. Youssef

    Published 2015-03-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    TC-Verifier: Trans-Compiler-Based Code Translator Verifier with Model-Checking

    TC-Verifier: Trans-Compiler-Based Code Translator Verifier with Model-Checking by Amira T. Mahmoud, Walaa Medhat, Sahar Selim, Hala Zayed, Ahmed H. Yousef, Nahla Elaraby

    Published 2025-04-01
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Formal Verification of Code Conversion: A Comprehensive Survey

    Formal Verification of Code Conversion: A Comprehensive Survey by Amira T. Mahmoud, Ahmad A. Mohammed, Mahitap Ayman, Walaa Medhat , Sahar Selim , Hala Zayed, Ahmed H. Yousef, Nahla Elaraby 

    Published 2024-11-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: