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 6 Treffer
- computer graphics and computer-aided design 4 Treffer
- business 3 Treffer
- business.industry 3 Treffer
- computer science 3 Treffer
-
45 weitere Werte:
- adder 2 Treffer
- computer 2 Treffer
- formal methods 2 Treffer
- formal verification 2 Treffer
- proof assistant 2 Treffer
- scalability 2 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 2 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 1 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 020202 computer hardware & architecture 1 Treffer
- arithmetic 1 Treffer
- automated theorem proving 1 Treffer
- automotive industry 1 Treffer
- avionics 1 Treffer
- bridge (nautical) 1 Treffer
- carry (arithmetic) 1 Treffer
- carry-save adder 1 Treffer
- certification 1 Treffer
- compliance (psychology) 1 Treffer
- computer science - software engineering 1 Treffer
- computer science applications 1 Treffer
- computer science::logic in computer science 1 Treffer
- computer security 1 Treffer
- computer.programming_language 1 Treffer
- computer.software_genre 1 Treffer
- context (language use) 1 Treffer
- distributed computing 1 Treffer
- embedded system 1 Treffer
- engineering 1 Treffer
- factor (programming language) 1 Treffer
- floating point 1 Treffer
- fos: computer and information sciences 1 Treffer
- function (engineering) 1 Treffer
- hardware and architecture 1 Treffer
- hardware design languages 1 Treffer
- hardware_arithmeticandlogicstructures 1 Treffer
- iec 61508 1 Treffer
- information model 1 Treffer
- installation 1 Treffer
- logic synthesis 1 Treffer
- management system 1 Treffer
- mathematics 1 Treffer
- media_common 1 Treffer
Publikation
Sprache
10 Treffer
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 34 (2015), S. 150-154Online unknownZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 29 (2010), S. 149-153Online unknownZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ; volume 34, issue 1, page 150-154 ; ISSN 0278-0070 1937-4151, 2015Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ; volume 29, issue 1, page 149-153 ; ISSN 0278-0070 1937-4151, 2010Online academicJournalZugriff:
-
In: IEEE Software, Jg. 29 (2012-05-01), S. 64-70Online unknownZugriff:
-
In: IEEE Software ; volume 29, issue 3, page 64-70 ; ISSN 0740-7459, 2012Online academicJournalZugriff:
-
In: IEEE Transactions on Medical Imaging ; volume 2, issue 1, page 24-30 ; ISSN 0278-0062 1558-254X, 1983Online academicJournalZugriff:
-
In: IEEE Software, Jg. 39 (2022-09-01), S. 32-37Online unknownZugriff:
-
In: IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Jg. 25 (2017-12-01), S. 3390-3400Online unknownZugriff: