(computer science) A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until".

(mathematics, number theory) The field of study dealing with computational methods for investigating and solving problems in number theory and arithmetic geometry.

(computing, mechanics) The study of computational algorithms to solve mathematical problems in the field of fluid dynamics.

Alternative spelling of electromechanical computer

(computing) A standard interface and command set for transferring data between devices on a bus.

(informal) The jargon associated with computer technology.