Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- electrical and electronic engineering 10 Treffer
- security 10 Treffer
- artificial intelligence and image processing 8 Treffer
- computer science 7 Treffer
- machine learning 7 Treffer
-
45 weitere Werte:
- biomedical engineering 6 Treffer
- computer engineering 6 Treffer
- electrical engineering 6 Treffer
- aspect-oriented modeling 4 Treffer
- contract-based design 4 Treffer
- privacy 4 Treffer
- artificial intelligence 3 Treffer
- clock synchronization 3 Treffer
- computation theory and mathematics 3 Treffer
- model-based design 3 Treffer
- neural networks 3 Treffer
- real-time systems 3 Treffer
- actor-oriented modeling 2 Treffer
- aircraft electric power system 2 Treffer
- analytical chemistry 2 Treffer
- artificial intelligence & image processing 2 Treffer
- assume-guarantee contracts 2 Treffer
- automotive engineering 2 Treffer
- autonomous driving 2 Treffer
- cognitive sciences 2 Treffer
- computation theory & mathematics 2 Treffer
- computer hardware 2 Treffer
- computer hardware & architecture 2 Treffer
- computer security 2 Treffer
- deep learning 2 Treffer
- design automation 2 Treffer
- designed-in security 2 Treffer
- distributed systems 2 Treffer
- ecology 2 Treffer
- electronic design automation 2 Treffer
- embedded systems 2 Treffer
- energy management 2 Treffer
- engineering 2 Treffer
- environmental science and management 2 Treffer
- falsification 2 Treffer
- formal specification 2 Treffer
- formal verification 2 Treffer
- hardware trojan 2 Treffer
- horizontal and vertical contracts 2 Treffer
- human-robot interaction 2 Treffer
- information and computing sciences 2 Treffer
- interviews 2 Treffer
- network security 2 Treffer
- optimization 2 Treffer
- platform-based design 2 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
34 Treffer
-
In: Journal of Automated Reasoning, Jg. 63 (2019-12-01), Heft 4Online academicJournal
-
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: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 36 (2017), Heft 9Online academicJournal
-
In: Proceedings of the IEEE, Jg. 104 (2016-05-01), Heft 5Online academicJournal
-
In: Proceedings of the IEEE, Jg. 104 (2016), Heft 5Online academicJournal
-
In: Proceedings of the IEEE, Jg. 103 (2015-09-15), Heft 11Online academicJournal
-
In: Sensors, Jg. 15 (2015), Heft 3Online academicJournal
-
In: Proceedings of the IEEE, Jg. 103 (2015), Heft 11Online academicJournal
-
In: Sensors (Basel, Switzerland), 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