Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- arithmetic 1 Treffer
- automated theorem proving 1 Treffer
- carry (arithmetic) 1 Treffer
- carry-save adder 1 Treffer
- computer science 1 Treffer
-
15 weitere Werte:
- computer science::logic in computer science 1 Treffer
- floating point 1 Treffer
- formal methods 1 Treffer
- formal verification 1 Treffer
- hardware_arithmeticandlogicstructures 1 Treffer
- logic synthesis 1 Treffer
- mathematics 1 Treffer
- parallel computing 1 Treffer
- parallel prefix 1 Treffer
- parameterized complexity 1 Treffer
- proof assistant 1 Treffer
- scalability 1 Treffer
- theoretical computer science 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
Sprache
2 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: