Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer graphics and computer-aided design 14 Treffer
- computer science 14 Treffer
- electrical and electronic engineering 14 Treffer
- media_common 14 Treffer
- media_common.quotation_subject 14 Treffer
-
45 weitere Werte:
- software 14 Treffer
- software bug 9 Treffer
- business 8 Treffer
- business.industry 8 Treffer
- 02 engineering and technology 7 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 7 Treffer
- 020202 computer hardware & architecture 7 Treffer
- computer 6 Treffer
- logic gate 5 Treffer
- algorithm 4 Treffer
- computer.software_genre 4 Treffer
- embedded system 4 Treffer
- trace (psycholinguistics) 4 Treffer
- computer bugs 3 Treffer
- computer engineering 3 Treffer
- computer.programming_language 3 Treffer
- correctness 3 Treffer
- probabilistic logic 3 Treffer
- sequential logic 3 Treffer
- verification 3 Treffer
- 01 natural sciences 2 Treffer
- 0103 physical sciences 2 Treffer
- 010302 applied physics 2 Treffer
- algorithm design 2 Treffer
- background debug mode interface 2 Treffer
- boolean satisfiability problem 2 Treffer
- data acquisition 2 Treffer
- debug code 2 Treffer
- dynamic slicing 2 Treffer
- error detection and correction 2 Treffer
- hardware verification 2 Treffer
- high-level synthesis 2 Treffer
- integrated circuit design 2 Treffer
- model checking 2 Treffer
- parallel computing 2 Treffer
- post-silicon validation 2 Treffer
- prediction models 2 Treffer
- rtl 2 Treffer
- satisfiability 2 Treffer
- scalability 2 Treffer
- task analysis 2 Treffer
- very large-scale integration (vlsi) 2 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- adder 1 Treffer
- aggregates 1 Treffer
Verlag
Sprache
18 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 39 (2020-12-01), S. 5267-5280Online unknownZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 40 (2021-05-01), S. 985-998Online unknownZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 39 (2020-11-01), S. 4142-4153Online unknownZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 38 (2019-07-01), S. 1345-1358Online unknownZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 38 (2019-02-01), S. 245-252Online unknownZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 37 (2018-05-01), S. 1076-1089Online unknownZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 28 (2009-02-01), S. 272-284Online unknownZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 28 (2009-02-01), S. 285-297Online unknownZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 28 (2009-09-01), S. 1387-1400Online unknownZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 33 (2014), S. 153-166Online unknownZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 36 (2017), S. 83-96Online unknownZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 31 (2012-08-01), S. 1249-1262Online unknownZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 29 (2010-11-01), S. 1804-1817Online unknownZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 28 (2009-05-01), S. 742-754Online unknownZugriff: