Search

Your search keyword '"Mohagheghi, A."' showing total 50 results

Search Constraints

Start Over You searched for: Author "Mohagheghi, A." Remove constraint Author: "Mohagheghi, A." Publication Type eBooks Remove constraint Publication Type: eBooks
50 results on '"Mohagheghi, A."'

Search Results

1. 1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization

4. An Automated Quantitative Information Flow Analysis for Concurrent Programs

15. Enabling Team Autonomy in a Large Public Organization

17. Dirac-Based Reduction Techniques for Quantitative Analysis of Discrete-Time Markov Models

18. Driving and Service Cycle Estimation

20. Introduction

23. Improved Iterative Methods for Verifying Markov Decision Processes

25. Conclusions

26. Study on Relationship between Foot Pressure Pattern and Hallux Valgus (HV) Progression

27. A Differentiating Evolutionary Computation Approach for the Multidimensional Knapsack Problem

28. Summary of the First International Workshop on Experiences and Empirical Studies in Software Modelling

30. Evaluating Domain-Specific Modelling Solutions

31. Experiences of Developing a Network Modeling Tool Using the Eclipse Environment

32. MDE Adoption in Industry: Challenges and Success Criteria

33. Third International Workshop on Quality in Modeling

34. Where Is the Proof? - A Review of Experiences from Applying MDE in Industry

35. Developing a Quality Framework for Model-Driven Engineering

36. Different Aspects of Product Family Adoption

37. A Study of Developer Attitude to Component Reuse in Three IT Companies

48. REMICS- REuse and Migration of Legacy Applications to Interoperable Cloud Services

49. REMICS- REuse and Migration of Legacy Applications to Interoperable Cloud Services : REMICS Consortium

50. Ressource »Schriftträger«

Catalog

Books, media, physical & digital resources