Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020201 artificial intelligence & image processing 1 Treffer
- 020206 networking & telecommunications 1 Treffer
- abstraction 1 Treffer
- abstraction (linguistics) 1 Treffer
- blockchain 1 Treffer
-
45 weitere Werte:
- business 1 Treffer
- business.industry 1 Treffer
- code verification 1 Treffer
- computer networks and communications 1 Treffer
- computer science applications 1 Treffer
- computer security 1 Treffer
- concurrency 1 Treffer
- control and systems engineering 1 Treffer
- coq proof assistant 1 Treffer
- electrical and electronic engineering 1 Treffer
- ethereum 1 Treffer
- fluid flow and transfer processes 1 Treffer
- formal methods 1 Treffer
- formal verification 1 Treffer
- general engineering 1 Treffer
- general materials science 1 Treffer
- hardware and architecture 1 Treffer
- instrumentation 1 Treffer
- lcsh:biology (general) 1 Treffer
- lcsh:chemistry 1 Treffer
- lcsh:electronics 1 Treffer
- lcsh:engineering (general). civil engineering (general) 1 Treffer
- lcsh:physics 1 Treffer
- lcsh:qc1-999 1 Treffer
- lcsh:qd1-999 1 Treffer
- lcsh:qh301-705.5 1 Treffer
- lcsh:t 1 Treffer
- lcsh:ta1-2040 1 Treffer
- lcsh:technology 1 Treffer
- lcsh:tk7800-8360 1 Treffer
- leader election 1 Treffer
- mathematical proof 1 Treffer
- modular design 1 Treffer
- process algebra 1 Treffer
- process calculus 1 Treffer
- process chemistry and technology 1 Treffer
- programming language 1 Treffer
- proof assistant 1 Treffer
- protocol (object-oriented programming) 1 Treffer
- shared memory 1 Treffer
- signal processing 1 Treffer
- smart contract 1 Treffer
- smart contracts 1 Treffer
- usability 1 Treffer
- variety (cybernetics) 1 Treffer
Publikation
Sprache
2 Treffer
-
In: Electronics, Jg. 9 (2020-02-03), S. 255-255Online unknownZugriff:
-
In: Applied Sciences, Jg. 10 (2020-06-05), S. 3928-3928Online unknownZugriff: