Zoekresultaten - "Automation"

  1. 201

    Automation, Operation and Maintenance of Control and Communication Systems

    Gepubliceerd in 2023
    Onderwerpen: “…automation of control systems…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk
  2. 202

    Modern Flow Analysis

    Gepubliceerd in 2020
    Onderwerpen: “…automation…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk
  3. 203

    Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

    Gepubliceerd in 2023
    Onderwerpen: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk
  4. 204

    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

    Gepubliceerd in 2020
    Onderwerpen: “…Automated and Formal Reasoning…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk
  5. 205

    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

    Gepubliceerd in 2021
    Onderwerpen: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk
  6. 206

    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

    Gepubliceerd in 2020
    Onderwerpen: “…Automated and Formal Reasoning…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronisch Hoofdstuk
  7. 207

    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

    Gepubliceerd in 2021
    Onderwerpen: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronisch Hoofdstuk
  8. 208

    Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

    Gepubliceerd in 2023
    Onderwerpen: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronisch Hoofdstuk
  9. 209

    AI-Based Transportation Planning and Operation

    Gepubliceerd in 2021
    Onderwerpen: “…automated vehicle…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk
  10. 210

    Cyber-Physical Systems: A Model-Based Approach door Taha, Walid M.

    Gepubliceerd in 2021
    Onderwerpen: “…Control, Robotics, Automation…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk
  11. 211

    Magnetic and Spin Devices

    Gepubliceerd in 2022
    Onderwerpen: “…automation…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk
  12. 212

    Cyber-Physical Systems: A Model-Based Approach door Taha, Walid M.

    Gepubliceerd in 2021
    Onderwerpen: “…Control, Robotics, Automation…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronisch Hoofdstuk
  13. 213

    AVENUE21. Automatisierter und vernetzter Verkehr: Entwicklungen des urbanen Europa door Mitteregger, Mathias

    Gepubliceerd in 2020
    Onderwerpen: “…Intelligent & automated transport system technology bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk
  14. 214

    AVENUE21. Automatisierter und vernetzter Verkehr: Entwicklungen des urbanen Europa door Mitteregger, Mathias

    Gepubliceerd in 2020
    Onderwerpen: “…Intelligent & automated transport system technology bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronisch Hoofdstuk
  15. 215

    Industrial Process Improvement by Automation and Robotics

    Gepubliceerd in 2023
    Onderwerpen: “…automation…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk
  16. 216

    Automation and Robotics: Latest Achievements, Challenges and Prospects

    Gepubliceerd in 2022
    Onderwerpen: “…automation in mines…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk
  17. 217

    Bisociative Knowledge Discovery An Introduction to Concept, Algorithms, Tools, and Applications /

    Gepubliceerd in 2012
    Onderwerpen: “…Automated Pattern Recognition.…”
    Link to Metadata
    Elektronisch E-boek
  18. 218

    Mobile Oriented Future Internet (MOFI) Architectural Designs and Experimentations

    Gepubliceerd in 2020
    Onderwerpen: “…DevOps automation…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk
  19. 219

    Technology and Testing Improving Educational and Psychological Measurement

    Gepubliceerd in 2016
    Onderwerpen: “…automated scoring…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk
  20. 220

    Technology and Testing Improving Educational and Psychological Measurement

    Gepubliceerd in 2016
    Onderwerpen: “…automated scoring…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronisch Hoofdstuk