13 results on '"Khaled, Mahmoud"'
Search Results
2. Automated Synthesis of Certifiable Controllers for Cyber-Physical Systems: A Computation-Aware Approach
3. AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
4. PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems
5. Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach
6. Risk-Based Bridge Engineering : Proceedings of the 10th New York City Bridge Conference, August 26-27, 2019, New York City, USA
7. Developments in International Bridge Engineering : Selected Papers From Istanbul Bridge Conference 2014
8. Sustainable Bridge Structures : Proceedings of the 8th New York City Bridge Conference, 24-25 August, 2015, New York City, USA
9. Durability of Bridge Structures : Proceedings of the 7th New York City Bridge Conference, 26-27 August 2013
10. Modern Techniques in Bridge Engineering : Proceedings of 6th New York City Bridge Conference, 25-26 July 2011
11. Safety and Reliability of Bridge Structures
12. Innovations in Bridge Engineering Technology : Selected Papers, 3rd NYC Bridge Conf., 27-28 August 2007, New York, USA
13. Advances in Cable-Supported Bridges : Selected Papers, 5th International Cable-Supported Bridge Operator's Conference, New York City, 28-29 August, 2006
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.