-
21
-
22by Oliveira, NelioTable of Contents: “…Traditional Structures -- Changes in the Situational Factors -- Internal Changes -- The Automated…”
Published 2012
Full Text via HEAL-Link
Electronic eBook -
23
-
24
-
25
-
26
-
27
-
28
-
29
-
30
-
31Published 2014Table of Contents: “… Electronics -- Measurement and Diagnostics -- Robotics -- Control and Automation -- Biomedical…”
Full Text via HEAL-Link
Electronic eBook -
32
-
33
-
34
-
35
-
36Published 1999Table of Contents: “… Problems with Real Quantifier Elimination -- Automated Discovering and Proving for Geometric Inequalities…”
Full Text via HEAL-Link
Electronic eBook -
37Published 1997Table of Contents: “…Automated geometric reasoning: Dixon resultants, Gröbner bases, and characteristic sets…”
Full Text via HEAL-Link
Electronic eBook -
38Published 2001Table of Contents: “… -- A Practical Program of Automated Proving for a Class of Geometric Inequalities -- Randomized Xero…”
Full Text via HEAL-Link
Electronic eBook -
39by Conlan, ChrisTable of Contents: “…Part 1: Problem Scope -- Chapter 1: Fundamentals of Automated Trading -- Chapter 2: Networking Part…”
Published 2016
Full Text via HEAL-Link
Electronic eBook -
40Published 2004Table of Contents: “… Serial Manipulators -- MMP/Geometer – A Software Package for Automated Geometric Reasoning…”
Full Text via HEAL-Link
Electronic eBook