首页> 外文OA文献 >Abstract Program Model and Functional Mapping (Mathematical Methods in Software Science and Engineering : Third Conference)

【2h】

Abstract Program Model and Functional Mapping (Mathematical Methods in Software Science and Engineering : Third Conference)

机译：抽象程序模型和功能映射（软件科学与工程中的数学方法：第三次会议）

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
OHBA M.; TANITSU Y.; TAKIMOTO N.; KADOTA H.;
展开▼
作者单位

展开▼
年度 1981
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. MATCOM special issue modelling 2019: International Conference on Mathematical Modelling and Computational Methods in Applied Sciences and Engineering [J] . Radim Blaheta, Jaroslav Haslinger, Stanislav Sysala, Mathematics and computers in simulation . 2021,第Nova期

机译：2019年MATCOM特别问题建模：应用科学与工程中数学建模与计算方法国际会议
2. Best papers from the 2013 International Conference on Mathematics and Computational Methods Applied to Nuclear Science and Engineering [J] . Nuclear Engineering and Design . 2015,第DECa期

机译：2013年国际核科学与工程数学和计算方法会议最佳论文
3. INTERNATIONAL CONFERENCE ON MATHEMATICS AND COMPUTATIONAL METHODS APPLIED TO NUCLEAR SCIENCE AND ENGINEERING (MC 2011) [J] . EDWARD W. LARSEN Transport Theory and Statistical Physics . 2011,第1a4期

机译：核科学与工程应用数学和计算方法国际会议（MC 2011）
4. 2017 International Conference on Mathematical Methods Computational Techniques in Science Engineering (MMCTSE 2017) [C] . Nikolaos Bardis International Conference on Mathematical Methods and Computational Techniques in Science and Engineering . 2017

机译：2017科学与工程数学方法与计算技术国际会议（MMCTSE 2017）
5. Early childhood licensure programs and middle childhood mathematics concentration licensure programs at colleges and universities in the state of Ohio: Are they meeting the National Council of Teachers of Mathematics standards and the conference board of the mathematical sciences recommendations? [D] . Stoffer, Cathy J. 2004

机译：俄亥俄州的高校中的幼儿期许可计划和幼儿期数学集中许可计划：它们是否符合国家数学教师委员会标准和数学科学建议委员会的要求？
6. Countering reproducibility issues in mathematical models with software engineering techniques: A case study using a one-dimensional mathematical model of the atrioventricular node [O] . Christopher Schölzel, Valeria Blesius, Gernot Ernst, 2021

机译：用软件工程技术对数学模型的再现性问题：使用房地产节点一维数学模型的案例研究
7. Interactive Debugging for Functional Recursive Programming (Mathematical Methods in Software Science and Engineering : Second Conference) [O] . NAGATA MORIO 1980

机译：功能递归编程的交互式调试（软件科学与工程中的数学方法：第二次会议）
8. Software Technology for Adaptable, Reliable System (STARS) Program. Mapping ofCleanroom Against the CMM: Capability Maturity Model for Software Detailed Mapping to Cleanroom Software Engineering Process [R] . Arnold, P. G. 1996

机译：适应性，可靠系统（sTaRs）计划的软件技术。针对Cmm的清洁度映射：软件详细映射到洁净室软件工程过程的能力成熟度模型

Abstract Program Model and Functional Mapping (Mathematical Methods in Software Science and Engineering : Third Conference)

著录项

引文网络

相似文献

相关主题

期刊订阅