Tulane University.;
机译:采样器程序:重新讨论抽象约束程序的稳定模型语义
机译:采样器程序:重新讨论抽象约束程序的稳定模型语义
机译:并行抽象程序的布尔模型和规划方法
机译:在正式开发期间预测抽象程序的操作行为
机译:扩展和完善用于业务流程执行语言的Web服务体系结构的抽象操作语义。
机译:科学示范文摘。演示摘要:计算机辅助医疗决策支持系统:适应性控制药物剂量方案和人群药代动力学建模的PC程序
机译:使用运营模型和双向工具为水质监测计划提供管理支持:圭亚那长海出海口监测计划的示例
机译:评估开发mETaLLURGIsTsnIV利益文献程序的测试程序。运营服务抽象准备与处理的成本分析