...
机译:算法程序综合:简介
Department of Electrical Engineering and Computer Sciences,University of California, #1776, Berkeley, CA 94720-1776, USA;
Ecole Polytechnique Federate de Lausanne, Station 14,1015 Lausanne, Switzerland CNRS-VERIMAG, Centre Equation, 2, Avenue de Vignate,38610 Gieres, France;
Program synthesis; Controller Synthesis; Formal Methods; Specifications of Program Correctness;
机译:关于并行体系结构,算法和编程的特殊部分的介绍
机译:区分计算机程序的艺术:算法区分简介
机译:计算机编程艺术,第4卷,第0卷:组合算法和布尔函数简介
机译:ModSyn-PP:程序和过程的模块化综合跟踪介绍
机译:数字声音合成算法:教程介绍和方法比较。
机译:在现实生活中使用可穿戴式传感器进行连续应力检测:算法编程竞赛案例研究
机译:2011):一阶动态规划算法的综合