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
-
1041
-
1042
-
1043
-
1044
-
1045
-
1046
-
1047
-
1048
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2020Subjects: “…software and hardware verification…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1049
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2020Subjects: “…software and hardware verification…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1050
Computational Optimizations for Machine Learning
Published 2022Subjects: “…hardware acceleration…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1051
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2020Subjects: “…software and hardware verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1052
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2020Subjects: “…software and hardware verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1053
-
1054
-
1055
-
1056
-
1057
-
1058
Von Tischlern und ihren Arbeiten im Zeitalter des Absolutismus: II: Kunstlandschaften im Norden, Süden und Westen
Published 2021Subjects: “…Österreich, Barock, sakrales Mobiliar, Zusammenarbeit Tischler mit anderen Gewerken, Einbindung des sakralen Mobiliars in den Umraum, Lebensrealität der Handwerker…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1059
-
1060