Results 71 to 80 of about 573,305 (197)
An Axiomatic Basis for Computer Programming
Communications of the ACM, 1969 In this paper an attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and have later been extended to other branches of mathematics. This involves the elucidation of sets of axioms and rules of inference which can be used in proofs of the properties of computer
openaire +3 more sources
Two Computer Programs for Probit Analysis [PDF]
, 1966 R. J. Daum, W. Killcreas
openalex +1 more source
On the automatic simplification of computer programs [PDF]
, 1965 J. Nievergelt
openalex +1 more source
SVAT4: a computer program for visualization and analysis of crystal structures. [PDF]
J Appl Crystallogr, 2020 Li XZ.
europepmc +1 more source
A computer program to optimize magnets in a beam transport system [PDF]
, 1963 W. Baker
openalex +1 more source
Computer programs as accounting object
Vìsnik Žitomirsʹkogo Deržavnogo Tehnologìčnogo Unìversitetu: Ekonomìčnì Nauki, 2015 Existing approaches to the regulation of accounting software as one of the types of intangible assets have been considered. The features and current state of the legal protection of computer programs have been analyzed.
I.V. Perviy
doaj
CrystalGrower: a generic computer program for Monte Carlo modelling of crystal growth. [PDF]
Chem Sci, 2020 Hill AR +13 more
europepmc +1 more source
OFF-CENTER CONTROL ROD PROGRAM (DIGITAL COMPUTER PROGRAM K)
, 1959 Carolyn L. Moore
openalex +1 more source
A Computer Program for Analysis of Anesthetic Records [PDF]
, 1969 Stephen J. Galla +2 more
openalex +1 more source