Computer arithmetic and logic units.

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

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

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

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

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: (書目-語言資料,印刷品)

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.