共 50 条
- [41] The description and implementation of computer based education TELEMATIQUE, 2019, 18 (01): : 44 - 52
- [42] Probabilistic validation of computer system survivability DEPENDABLE COMPUTING, PROCEEDINGS, 2005, 3747 : 1 - 1
- [43] Computer transformation and validation of FMP system Rong, C.-F., 1600, Atomic Energy Press (47): : 164 - 167
- [45] A hybrid transient model for simulation of air-cooled refrigeration systems: Description and experimental validation INTERNATIONAL JOURNAL OF REFRIGERATION-REVUE INTERNATIONALE DU FROID, 2015, 53 : 142 - 154
- [49] A Fast Quantum Computer Simulator Based on Register Reordering IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2016, E99D (02): : 332 - 340
- [50] ENERGY CONSERVATION THROUGH COMPUTER MODELING OF A DIRECT EXPANSION REFRIGERATION SYSTEM ASHRAE JOURNAL-AMERICAN SOCIETY OF HEATING REFRIGERATING AND AIR-CONDITIONING ENGINEERS, 1975, 17 (09): : 41 - 41