COMPUTER PROGRAMS; DYNAMIC RESPONSE; PERFORMANCE PREDICTION; PLASTIC DEFORMATION; PROGRAM VERIFICATION (COMPUTERS); CANTILEVER BEAMS; DYNAMIC STRUCTURAL ANALYSIS; FINITE ELEMENT METHOD; PLASTIC PROPERTIES;
机译:计算机程序设计中的基于计算机的考试和基于纸质考试的评估之间的比较
机译:在重新介绍的间隔线性规划中测试给定解决方案的弱优化性:NP - 硬度证明,算法和一些多项可溶性情况
机译:对实数执行不确定性测试的程序的正确性的语义证明
机译:LCTD:LLVM上的C程序的测试指导证明(竞争贡献)
机译:对学生计算机识字的评估从分数的标准化计算机测试的编程部分,使用的语言是高型和基本
机译:通过基于计算机的测试缩短当前的阿片类药物滥用量度:一项回顾性概念验证研究
机译:计算机程序非法使用证明的问题