- 双语例句 更多例句
A Developing Method of Programs Based on the Proof Theory of Program Correctness
一种基于程序正确性证明理论的程序开发方法
互联网摘选
- 相关词组
- The Family of Man人类大家庭;人类一家
- mineralization of U-Ti type铀-钛型矿化
- set of seals密封组件
- axis of symmetry对称轴;
- king of the hill山丘之王;占山为王;一家之主;山大王;占山为王模式
- average length of life平均寿命;
- neglect of疏忽;对...的疏忽
- axial moment of inertia轴向惯性矩;
- The Secrets of a Sensuous Nurse诱人女护士
- audit of financial statements财务报表审计;
- veins of upper eyelid上睑静脉
- veins of medulla oblongata延髓静脉
- set of reception sidings到达线群
- mineralization of nitrogen氮素矿化
- attitude awareness and change program态度意识和改变计划;态度认知与改动计划
- axis of rotation转动轴;旋转轴;自转轴;
- axis of projection射影轴;投影轴
- at the word of command一声令下;一听到命令声
- mineralization of U-Hg type铀-汞型矿化
- set of rolls全套轧辊
- 今日热词
- 热门搜索
- primitive adj.原始的;发展水平低的;落后的;[生物学]原生的;n.原始人;早期的艺术家(作品);单纯的人:不世故的人;自学的艺术家;
- love v.爱;关爱;喜欢;疼爱;乐于;n.热爱;爱情;喜好;心爱的人/物;亲爱的;零分;问候;
- golf n.高尔夫球;高尔夫球运动;
- daily adv.每天;;adj.一天的;每天的;按天的;
- WI abbr.妇女协会;西印度群岛;Wisconsin 美国威斯康星州邮递区号;
- coward n.胆小鬼,懦夫;
- NE abbr.North-East 东北;North-Estern 东北的;
- vscode abbr.Visual Studio Code 是一种简化且高效的代码编辑器
- message n.音信;信息;电邮;要旨;购物;v.给…发消息;
- handle n.拉手;把手;有柄的;方法;v.应付;处理;使用;驾驶;拿;买,卖;
- yellow earth 赭石,黄土;黄壤;
- loss n.损失;丧失;去世;亏损;失败;失落;