Showing 1 - 20 results of 5,915 for search '"Automation"', query time: 0.20s Refine Results
  1. 1
    Automation
    Published 2002
    Table of Contents: “…How to make automated systems team players / Klaus Christoffersen, David D. Woods -- Identifying…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Automation
    Published 2021
    Subjects: “…process automation and monitoring…”
    Get full text
    journal
  3. 3
    Disassembly Automation Automated Systems with Cognitive Abilities /
    Table of Contents: “…Introduction -- General Disassembly Process -- Disassembly Automation -- Vision System -- Cognitive…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings /
    Published 2001
    Table of Contents: “…, Datastructures, and other Issues in Efficient Automated Deduction -- Algorithms, Datastructures, and other Issues…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Logics -- Verification and Systems -- Using Automated Theorem Provers to Certify Auto-generated Aerospace…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
    Published 2008
    Table of Contents: “… -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
    Published 2006
    Table of Contents: “…-Order Logic with Automated Parser Generation -- Session 4. Higher-Order Logic -- Extracting Programs…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Building Automation Communication systems with EIB/KNX, LON und BACnet /
    Table of Contents: “…to Building Automation -- The Basics of Industrial Communication Technology -- Konnex -- Building…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Information and Automation International Symposium, ISIA 2010, Guangzhou, China, November 10-11, 2010. Revised Selected Papers /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Automation for Robotics /
    by Jaulin, Luc, 1967-
    Published 2015
    Full Text via HEAL-Link
    eBook
  12. 12
    Automation 2017 Innovations in Automation, Robotics and Measurement Techniques /
    Published 2017
    Subjects: “…Automation.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Automated Driving Safer and More Efficient Future Driving /
    Published 2017
    Table of Contents: “…Part 1. Introduction -- 1. Introduction to automated driving -- 2. Privacy and security…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Automation 2018 Advances in Automation, Robotics and Measurement Techniques /
    Published 2018
    Table of Contents: “…Additive Manufacturing - A New Challenge for Automation and Robotics -- Discrete transfer function…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Control and Automation International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedings /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings /
    Published 2010
    Table of Contents: “… - Automated Reasoner for Sets and Multisets -- A Slice-Based Decision Procedure for Type-Based Partial Orders…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings /
    Published 2014
    Table of Contents: “… with Equality -- Quati: An Automated Tool for Proving Permutation Lemmas -- A History-Based Theorem Prover…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /
    Published 2018
    Table of Contents: “…: An Automated Tool for Semantic Forgetting in Expressive Description Logics -- Superposition for Lambda-Free…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Knowledge automation : how to implement decision management in business processes /
    by Fish, Alan N.
    Published 2012
    Full Text via HEAL-Link
    eBook
  20. 20
    Building Automation Communication systems with EIB/KNX, LON and BACnet /
    Table of Contents: “…Introduction to Building Automation -- The Basics of Industrial Communication Technology -- Konnex…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search