Online dictionary - over 2 million references

    Online Dictionary
          Chinese to English
          English
                to Chinese
                to French
                to German
                to Italian
                to Japanese
                to Latin
                to Russian
                to Spanish
                to Swedish
          French to English
          German
                to English
                to Japanese
          Italian to English
          Japanese
                to English
                to German
          Latin to English
          Russian to English
          Spanish to English
          Swedish to English

If you can't find the translation you need, try our free translation











Online dictionary - over 2 million references
 






1. beta减少[lambda微积分] lambda抽象的应用到论据表示。 lambda抽象的身体的拷贝做和论据被替换的发生一定易变。 即\ x. x+1 4 --> 4+1 beta减少是这唯一的对纯净的lambda微积分的减少。 beta减少对面是beta抽象。 这些是这二beta转换。 参见命名捕获。 beta测试的 测试通过安排它前发布潜在地软件片断的不可靠的版本可用选择的用户。 这个期限从60年代初期术语获得为产品周期检查站，首先使用在IBM，但以后标准在产业中。 “智力测验”是单位、模块或者组分试验阶段; “Beta测试”是最初的系统试验。 这些他们自己及早来自A和B测试为硬件。 测试是在所有承诺设计和发展之前完成的可行性和manufacturability评估。 B测试是示范工程学模型起了作用如指定。 对应于今天beta的C测试是在生产设计的早期样品执行的B测试。 一个项目“在Beta测试”主要因而运作，但仍然在测试之下。 在真实世界，系统硬件或软件经常审阅二个阶段发行测试： 阿尔法机构内部和beta外屋？。 Beta发行一般安排可用很小数量的幸运或不幸，被信任的顾客。

ABCDEFGHIJKLMNOPQRSTUVWXYZ

2008 Online-Dictionary.biz. All rights reserved. By using this website you agree to be bound by our terms and conditions.
All content on this website is property of LocalTranslation unless stated otherwise.