Computer arithmetic and logic units.

Formal Verification of Floating-Point Hardware Design = A Mathematical Approach / by: (Language materials, printed)

Next Generation Arithmetic = Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers / by: (Language materials, printed)

British Versions of Book II of Euclid’s Elements: Geometry, Arithmetic, Algebra (1550–1750) by: (Language materials, printed)

Advances in Mathematical Logic = Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / by: (Language materials, printed)

Computer algebra in scientific computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings / by: (Language materials, printed)

Synthesis of arithmetic circuits = FPGA, ASIC and embedded systems / by: (Language materials, printed)

Computer-hardware evaluation of mathematical functions by: (Language materials, printed)

Mathematical logic.

Computer science—Mathematics.

Symbolic and Algebraic Manipulation.

Computer Communication Networks.

Digital electronics.

Hardware Performance and Reliability.

Historiography and Method.

Logic.

COMPUTERS

Computer science

Algorithms.

Mathematical Logic and Foundations.

Computer arithmetic and logic units.

Electronic circuit design.

Coding theory.

Embedded computer systems.

Electronics Design and Verification.

Computer algorithms.

Computers.

Algebraic geometry.

Mathematics—Philosophy.

Processor Architectures.

Computer architecture.

TECHNOLOGY & ENGINEERING

Integrated circuits

Algorithm Analysis and Problem Complexity.

Computer networks .

Microprocessors.

Coding and Information Theory.

Information theory.

Historiography.

Mathematics of Computing.

Microprogramming .

Science—History.

History—Methodology.

Computer arithmetic.

Control Structures and Microprogramming.

Algebraic Geometry.

Computer science.

History of Science.

Discrete Mathematics in Computer Science.

Input/Output and Data Communications.

Computer Hardware.

Philosophy of Mathematics.

Arithmetic and Logic Structures.

Computer input-output equipment.