Search

Your search keyword '"Khaled, Mahmoud"' showing total 13 results

Search Constraints

Start Over You searched for: Author "Khaled, Mahmoud" Remove constraint Author: "Khaled, Mahmoud" Publication Type eBooks Remove constraint Publication Type: eBooks
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