Search Results - Handwara~

  1. 601

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

    Published 2020
    Subjects: “…Hardware and System Verification…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  2. 602

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

    Published 2021
    Subjects: “…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
    Electronic Book Chapter
  3. 603

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

    Published 2023
    Subjects: “…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
    Electronic Book Chapter
  4. 604
  5. 605
  6. 606
  7. 607
  8. 608
  9. 609
  10. 610
  11. 611
  12. 612
  13. 613
  14. 614
  15. 615
  16. 616
  17. 617
  18. 618

    Memristors for Neuromorphic Circuits and Artificial Intelligence Applications by Suñé, Jordi

    Published 2020
    Subjects: “…neural network hardware…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  19. 619

    Handwerkskammern als Akteure in der Entwicklungszusammenarbeit Rechtliche Statthaftigkeit, Durchführung und Perspektiven by Eibl, Victor

    Published 2022
    Subjects: “…§ 91 HwO, Berufsbildung, BMZ, Bundesministerium für wirtschaftliche Zusammenarbeit und Entwicklung, demokratische Legitimation, Entwicklungsverwaltung, Gesellschaft für internationale Zusammenarbeit, GIZ, Handwerksordnung, HwO, Pflichtmitgliedschaft, Satzungsrecht, Selbstverwaltung, Verwaltungszusammenarbeit, Wirtschaftsförderung, Entwicklungszusammenarbeit, Handwerk, Recht, Handwerksrecht, Verfassungsrecht, Gesetzgebung, Völkerrecht, Kammerrecht, Verwaltungsrecht, Wirtschaftsrecht…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  20. 620