Search Results - Handwara~
Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 69
- Network hardware 65
- Software Engineering 61
- Computer science 54
- History of engineering & technology 51
- Technology: general issues 47
- Computer networking & communications 42
- Systems analysis & design 30
- Algorithms & data structures 28
- Mathematical theory of computation 25
- Electrical engineering 22
- Expert systems / knowledge-based systems 22
- Information retrieval 22
- Computer security 21
- Computer architecture & logic design 20
- Computer modelling & simulation 17
- Computer programming / software development 17
- Computer vision 17
- Circuits & components 16
- Coding theory & cryptology 16
- User interface design & usability 16
- Communications engineering / telecommunications 15
- Information technology: general issues 15
- Neurosciences 15
- Software engineering 15
- Computer networks 14
- Computing & information technology 13
- Operating systems 12
- Artificial Intelligence 11
- Media studies 11
-
601
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Published 2020Subjects: “…Hardware and System Verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
602
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Published 2021Subjects: “…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 -
603
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Published 2023Subjects: “…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 -
604
-
605
-
606
-
607
-
608
-
609
-
610
-
611
-
612
-
613
-
614
-
615
-
616
-
617
-
618
Memristors for Neuromorphic Circuits and Artificial Intelligence Applications
Published 2020Subjects: “…neural network hardware…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
619
Handwerkskammern als Akteure in der Entwicklungszusammenarbeit Rechtliche Statthaftigkeit, Durchführung und Perspektiven
Published 2022Subjects: “…§ 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 -
620