Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 21 Treffer
- electrical and electronic engineering 21 Treffer
- security 21 Treffer
- electrical engineering 17 Treffer
- computer engineering 16 Treffer
-
45 weitere Werte:
- machine learning 15 Treffer
- artificial intelligence and image processing 14 Treffer
- biomedical engineering 11 Treffer
- privacy 11 Treffer
- clock synchronization 8 Treffer
- engineering 7 Treffer
- model-based design 7 Treffer
- real-time systems 7 Treffer
- wireless communication 7 Treffer
- artificial intelligence 6 Treffer
- contract-based design 6 Treffer
- electronic design automation 6 Treffer
- artificial intelligence & image processing 5 Treffer
- aspect-oriented modeling 5 Treffer
- computation theory and mathematics 5 Treffer
- control theory 5 Treffer
- distributed systems 5 Treffer
- embedded systems 5 Treffer
- neural networks 5 Treffer
- platform-based design 5 Treffer
- time synchronization 5 Treffer
- analytical chemistry 4 Treffer
- automotive engineering 4 Treffer
- computer hardware 4 Treffer
- computer hardware & architecture 4 Treffer
- design automation 4 Treffer
- ecology 4 Treffer
- energy management 4 Treffer
- environmental science and management 4 Treffer
- formal specification 4 Treffer
- formal verification 4 Treffer
- game theory 4 Treffer
- hardware trojan 4 Treffer
- human-robot interaction 4 Treffer
- information and computing sciences 4 Treffer
- key generation 4 Treffer
- optimization 4 Treffer
- synthesis 4 Treffer
- system verification 4 Treffer
- system-level design 4 Treffer
- vehicular 4 Treffer
- vlsi systems 4 Treffer
- 02 engineering and technology 3 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 3 Treffer
- algorithms 3 Treffer
Publikation
- proceedings of the ieee 6 Treffer
- ieee security and privacy 2 Treffer
- ieee transactions on computer-aided design of integrated circuits and systems 2 Treffer
- journal of automated reasoning 2 Treffer
- lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics) 1 Treffer
- 2 weitere Werte:
Sprache
77 Treffer
-
In: Journal of Automated Reasoning, Jg. 63 (2019-12-01), Heft 4Online academicJournal
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 36 (2017-09-01), Heft 9Online academicJournal
-
In: Proceedings of the IEEE, Jg. 104 (2016-05-01), Heft 5Online academicJournal
-
In: Proceedings of the IEEE, Jg. 103 (2015-09-15), Heft 11Online academicJournal
-
In: Sensors, Jg. 15 (2015), Heft 3Online academicJournal
-
2014Online academicJournal
-
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Jg. 8415 (2014)Online academicJournal