Formal And Adaptive Methods For Automation Of Parallel Programs

Forms/format 2010 Formal Methods For Automation And Safety In Railway

Formal Methods and Software Engineering, Fachbücher von Mark Liu, Kazuhiro Lawford, Shaoying, Ogata

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, Fachbücher von Marco Bernardo, Rocco De N...

Formal Methods For Components And Objects 7th International Symposium,

Program Evaluation: Pragmatic Methods For Social Work And Human

Formal Specification Techniques For Engineering Modular C Programs |

Human And Nature Minding Automation An Overview Of Concepts, Methods,

Formal Methods For Analyzing Privacy Policies Techniques For Formal

Formal Methods For Computer/communications Protocols And Software

Compatible Finite Element Methods For Geophysical Flows Automation And

Formal Methods For Safety And Security Case Studies For Aerospace

Maria Emelianenko | Multilevel And Adaptive Methods For Nonlinear...

Multilevel And Adaptive Methods For Nonlinear Optimization Problems

Leveraging Applications Of Formal Methods, Verification And

Formal Methods For Protocol Engineering And Distributed Systems Forte