本文基于Objective Caml语言,实现了安全协议进程代数描述到安全协议逻辑程序的自动转化。
来源:互联网摘选应变测量、岩组分析、剪切位移量计算、同位素测年等定量分析表明:①以平面单剪应变为主,稍晚向伸长应变转化;
来源:互联网摘选帕纳姆和瑟森斯翻译过来就是“面包和马戏”,写这个词语的人是说,平民百姓为了获得温饱和娱乐,放弃了他们的政治责任,也就放弃了他们的权力。
来源:互联网摘选最后 激励级 的跨导放大器将电压线性的转化为电流.
来源:互联网摘选It then translates the signs into written English on a monitor.
然后计算机将手语翻译成书面英语,并在显示器上显示出来.
来源:互联网摘选马来西亚龙运铁山&这本是一个丛林茂密的悬崖,马来语名字的意思是铁山,巨型矿山设备已经清除了这里的棕榈树和其他植物。
来源:互联网摘选马来西亚龙运铁山——这本是一个丛林茂密的悬崖,马来语名字的意思是“铁山”,巨型矿山设备已经清除了这里的棕榈树和其他植物。巨大的挖土机挖开了紫红色粘土构成的悬崖,从底下掏出亮黑色的铁矿石。
来源:互联网摘选日语把这现象称为闭居, 翻译过来遁世.
来源:互联网摘选日语把这现象称为闭居, 翻译过来就是遁世.
来源:互联网摘选老干妈是一种充满感情的称呼,可以大致翻译成教母,之所以这样命名可能是因为瓶罐上这个慈祥的女人。
来源:互联网摘选E . The presentation layer translates bits into voltages for transmission across the physical link.
表示层将比特转化成电压通过物理链路.
来源:互联网摘选Presentation layer translates data from the layer into an intermediary format.
颁奖层换算数据,从应用层到中介格式.
来源:互联网摘选在计算机程序设计中,高级语言程序中的一种语句,用于通知翻译程序已到达源程序末端.
来源:网络文摘精选COC ++ compiler translates the C ++ source program into C target program.
COC++编译器的功能是将C++源程序转换为等价的C程序.
来源:网络文摘精选高超的电影技术美妙地转变成3D图像, 把观众带到古老的埃及.
来源:互联网摘选
简答网 · 英语词汇

简答网 · 双语娱乐资讯

简答网 · 高考英语

简答网 · 高考英语

简答网 · 高考英语

简答网 · 中考英语