Institute of Computer Science, AGH University of Science and Technology, Krakow, Poland;
机译:对抽象机器进行抽象:一种高阶程序分析的系统方法
机译:基于约束编程和多Agent系统的机器对机器服务分布式资源分配通用模型和解决方案
机译:书评:Fortran编程语言的历史:摘录机器
机译:编程作为抽象状态机的代理
机译:MASS CUDA:从基于代理的建模框架中抽象出许多核心并行编程。
机译:科学示范文摘。演示摘要:计算机辅助医疗决策支持系统:适应性控制药物剂量方案和人群药代动力学建模的PC程序
机译:用于(约束)逻辑编程的抽象解释的抽象机的蓝图
机译:编程Navier-stokes计算机:抽象机器模型和可视化编辑器