Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II, Fachbücher

Automated Deduction - A Basis For Applications Volume I Foundations -

P. H. Schmitt (u. A.) | Automated Deduction - A Basis For Applications

Formal Methods: Foundations and Applications, Fachbücher

Imaging Methods for Novel Materials and Challenging Applications, Volume 3, Fachbücher

Software Application for Automated Transcript Analysis, Fachbücher

Automated Software Testing Foundations, Applications And Challenges

Ontology-Based Automated Test Oracle Comparator for Web Applications, Fachbücher

Formal Methods: Foundations And Applications | Volker Stolz (u. A.) |

Bill Roscoe (u. A.) | Formal Methods: Foundations And Applications |

Finite Volumes For Complex Applications Viii - Methods And Theoretical

José Fiadeiro (u. A.) | Formal Methods: Foundations And Applications |

Intelligent Data analysis and its Applications, Volume II, Fachbücher von Ajith Abraham

Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher

A Mathematical Theory of Design: Foundations, Algorithms and Applications, Fachbücher

Mechatronic Systems: Foundations and Applications, Fachbücher