Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Title | Author(s) |
---|---|---|
Jun-2016 | An Integrated Approach to Improve Data Quality | Al-janabi, Samir |
Apr-2012 | Identification and Documentation of Environmental Assumptions for the PACEMAKER System | WANG, Vivien You |
2016 | Timed Fault Tolerant Supervisory Control | Alsuwaidan, Amal |
Aug-2009 | Efficient Computation of Regularities in Strings and Applications | Yusufu, Munina |
Feb-2009 | Unambiguous Functions in Logarithmic Space | Herman, Grzegorz |
Apr-2012 | A Compositional Approach for Verifying Sampled-Data Supervisory Control | Baloch, Mahvash |
2008 | Developing Scientific Computing Software: Current Processes and Future Directions | Tang, Jin |
2014 | ON ASSEMBLE-TO-ORDER SYSTEMS | Wang, Xiao Jiao |
Nov-2015 | A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems | Chen, Wen |
May-2011 | GGH Cryptosystem and Lattice Reduction Algorithms | Tian, Zhaofei |