共 50 条
- [32] Algorithms for processing measuring data in quality control of tempering of steel products by losses on remagnetization The Soviet journal of nondestructive testing, 1991, 26 (08): : 567 - 572
- [34] Measuring texture classification algorithms PATTERN RECOGNITION LETTERS, 1997, 18 (14) : 1495 - 1501
- [37] Measuring concurrency of parallel algorithms PROCEEDINGS OF THE 2008 1ST INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY, 2008, : 289 - 292
- [40] Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (267): : 120 - 139