Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020204 information systems 2 Treffer
- business 2 Treffer
- business.industry 2 Treffer
- computer 2 Treffer
- computer.software_genre 2 Treffer
-
45 weitere Werte:
- formal specification 2 Treffer
- hardware and architecture 2 Treffer
- media_common 2 Treffer
- media_common.quotation_subject 2 Treffer
- software 2 Treffer
- theoretical computer science 2 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 0211 other engineering and technologies 1 Treffer
- 021103 operations research 1 Treffer
- android (operating system) 1 Treffer
- computational theory and mathematics 1 Treffer
- computer graphics and computer-aided design 1 Treffer
- computer networks and communications 1 Treffer
- computer security 1 Treffer
- computingmilieux_personalcomputing 1 Treffer
- concurrency 1 Treffer
- correctness 1 Treffer
- cryptography 1 Treffer
- curve25519 1 Treffer
- data security 1 Treffer
- debugging 1 Treffer
- electrical and electronic engineering 1 Treffer
- elliptic curve 1 Treffer
- elliptic curve cryptography 1 Treffer
- formal verification 1 Treffer
- game development tool 1 Treffer
- game programming 1 Treffer
- game testing 1 Treffer
- implementation 1 Treffer
- information systems 1 Treffer
- instrumentation (computer programming) 1 Treffer
- inter-process communication 1 Treffer
- model checking 1 Treffer
- modeling and simulation 1 Treffer
- parallel computing 1 Treffer
- preemption 1 Treffer
- probabilistic logic 1 Treffer
- program analysis 1 Treffer
- real-time computing 1 Treffer
- runtime verification 1 Treffer
- safety research 1 Treffer
- scheduling (computing) 1 Treffer
- source code 1 Treffer
- state space 1 Treffer
- static analysis 1 Treffer
Publikation
Sprache
4 Treffer
-
In: Computers in Entertainment, Jg. 15 (2017-03-01), S. 1-28Online unknownZugriff:
-
In: Digital Threats: Research and Practice, Jg. 1 (2020-05-29), S. 1-25Online unknownZugriff:
-
In: ACM Transactions on Design Automation of Electronic Systems, Jg. 23 (2018-08-25), S. 1-26Online unknownZugriff: