Showing 1 - 4 results of 4 for search 'Ahmadi Ehsan', query time: 0.19s Refine Results
  1. 1
    SOLVING INCREMENTAL SPECIFICATIONS USING Z3 SMT SOLVER
    by Ahmadi, Ehsan
    Published 2016
    Get full text
    Get full text
    Others
  2. 2
    Optimization-based Decision Support Tools for Managing Surgical Supplies and Sterile Instruments
    by Ahmadi, Ehsan
    Published 2019
    Get full text
  3. 3
    Damping and frequency of human-structure interaction system
    by Ahmadi Ehsan, Caprani Colin
    Published 2015-01-01
    Get full text
    Article
  4. 4
    Quantification of human-structure interaction
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search