Αποτελέσματα αναζήτησης - "hardware"

  1. 81

    Security in Computer and Information Sciences First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers

    Έκδοση 2018
    Θέματα: “…Network hardware bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
  2. 82

    Semantic Systems. The Power of AI and Knowledge Graphs 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9-12, 2019, Proceedings

    Έκδοση 2019
    Θέματα: “…Network hardware bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
  3. 83

    Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

    Έκδοση 2018
    Θέματα: “…hardware…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
  4. 84

    Software for Exascale Computing - SPPEXA 2016-2019

    Έκδοση 2020
    Θέματα: “…Hardware Performance and Reliability.…”
    Link to Metadata
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 85

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

    Έκδοση 2023
    Θέματα: “…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
    Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
  6. 86

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

    Έκδοση 2020
    Θέματα: “…Hardware and System Verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
  7. 87

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

    Έκδοση 2021
    Θέματα: “…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
    Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
  8. 88

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

    Έκδοση 2020
    Θέματα: “…Hardware and System Verification…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
  9. 89

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

    Έκδοση 2021
    Θέματα: “…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
    Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
  10. 90

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

    Έκδοση 2023
    Θέματα: “…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
    Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
  11. 91

    Memristors for Neuromorphic Circuits and Artificial Intelligence Applications από Suñé, Jordi

    Έκδοση 2020
    Θέματα: “…neuromorphic hardware…”
    DOAB: download the publication
    DOAB: description of the publication
    Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
  12. 92

    5G and Beyond

    Έκδοση 2023
    Θέματα: “…Network hardware bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
  13. 93

    Electronic Voting 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings

    Έκδοση 2023
    Θέματα: “…Network hardware bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
  14. 94

    The Amazing Journey of Reason from DNA to Artificial Intelligence από Alemi, Mario

    Έκδοση 2020
    Θέματα: “…Network hardware bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
  15. 95

    Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer C...

    Έκδοση 2019
    Θέματα: “…Network hardware bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
  16. 96

    CyberParks - The Interface Between People, Places and Technology New Approaches and Perspectives

    Έκδοση 2019
    Θέματα: “…Network hardware bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
  17. 97

    The Amazing Journey of Reason from DNA to Artificial Intelligence από Alemi, Mario

    Έκδοση 2020
    Θέματα: “…Network hardware bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
  18. 98

    Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer C...

    Έκδοση 2019
    Θέματα: “…Network hardware bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
  19. 99

    CyberParks - The Interface Between People, Places and Technology New Approaches and Perspectives

    Έκδοση 2019
    Θέματα: “…Network hardware bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
  20. 100

    5G and Beyond

    Έκδοση 2023
    Θέματα: “…Network hardware bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Ηλεκτρονική πηγή Κεφάλαιο βιβλίου