机译:语言作为理论现实:Edmund Husserl在实证与理论之间的应用,对正式的正规态度分析
机译:期刊排名的理论与实证分析:以正式列表为例
机译:基于软套的正式概念分析软件概念格子:理论基础和应用
机译:使用理论计算机模拟器进行形式语言和自动机理论
机译:Kolmogorov-Smirnov鉴别器的理论研究:侧通道分析与差分密码分析
机译:正式和非正式信贷市场中的金融合同:理论和实证分析。
机译:社论:概念类别和现实结构:理论和经验方法
机译:迈向系统理论过程分析(STPA)的建模语言:基于UML的模型驱动系统理论过程分析(STPA)领域专用语言(DSL)的提案
机译:移动机器人的形式语言理论控制与协调;最终的评论。 2006年9月20日至2007年9月19日