Business Informatics Group, Vienna University of Technology, Austria Institute for Formal Models and Verification, JKU Linz, Austria;
School of Computing and Information Sciences, Florida Int'l University, USA;
机译:第六届国际神经网络研讨会论文集模糊神经网络的建模与自适应控制
机译:软件模型检查专刊的序言:第20届国际SPIN软件模型检查研讨会论文选集
机译:第六届国际环境建模与软件大会(iEMS):“管理有限星球的资源:不确定性下的途径和愿景”:大会报告
机译:教育中的软件建模:2010年型号的第6名教育者研讨会
机译:教育者对中等教育替代安置,学生累犯和治疗模式的看法
机译:为什么教育工作者应该应用健康教育和健康促进的理论和模型来向护理和医学生传授沟通技巧
机译:关于建模检查软件特刊的前言:第20届国际spIN软件建模检验研讨会论文选集
机译:年度ada软件工程教育与培训研讨会论文集(第6期)于1991年9月11日至13日在弗吉尼亚州亚历山大市举行。