Computer arithmetic and logic units.

Computer algebra in scientific computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings / by: (書目-語言資料,印刷品)

Synthesis of arithmetic circuits = FPGA, ASIC and embedded systems / by: (書目-語言資料,印刷品)

Computer-hardware evaluation of mathematical functions by: (書目-語言資料,印刷品)

Advances in Mathematical Logic = Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / by: (書目-語言資料,印刷品)

British Versions of Book II of Euclid’s Elements: Geometry, Arithmetic, Algebra (1550–1750) by: (書目-語言資料,印刷品)

Next Generation Arithmetic = Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers / by: (書目-語言資料,印刷品)

Formal Verification of Floating-Point Hardware Design = A Mathematical Approach / by: (書目-語言資料,印刷品)

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.

Science—History.

Computer arithmetic and logic units.

Electronic circuit design.

History—Methodology.

Coding theory.

Embedded computer systems.

Computer arithmetic.

Control Structures and Microprogramming.

Algebraic Geometry.

Electronics Design and Verification.

Computer science.

Computer algorithms.

History of Science.

Computers.

Discrete Mathematics in Computer Science.

Algebraic geometry.

Mathematics—Philosophy.

Input/Output and Data Communications.

Computer Hardware.

Philosophy of Mathematics.

Processor Architectures.

Arithmetic and Logic Structures.

Computer input-output equipment.

Computer architecture.

TECHNOLOGY & ENGINEERING

Integrated circuits

Algorithm Analysis and Problem Complexity.

Computer networks .

Microprocessors.

Information theory.

Coding and Information Theory.

Historiography.

Mathematics of Computing.

Microprogramming .