首页> 外文OA文献 >On the Knowledge-based Synthesis of Data Structure Manipulating Programs (Mathematical Methods in Software Science and Engineering : Second Conference)

【2h】

On the Knowledge-based Synthesis of Data Structure Manipulating Programs (Mathematical Methods in Software Science and Engineering : Second Conference)

机译：基于知识的数据结构操作程序综合（软件科学与工程中的数学方法：第二次会议）

代理获取

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

页面导航

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

著录项

作者
MANO NOBUOKI;
展开▼
作者单位

展开▼
年度 1980
总页数
原文格式 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. INCREASING ACHIEVEMENT AND HIGHER-EDUCATION REPRESENTATION OF UNDER-REPRESENTED GROUPS IN SCIENCE TECHNOLOGY ENGINEERING AND MATHEMATICS FIELDS: A REVIEW OF CURRENT K-12 INTERVENTION PROGRAMS [O] . Jeffrey M. Valla, Wendy M. Williams -1

机译：越来越多的科学技术工程和数学领域的成就和高等教育代表群体：对当前的K-12干预计划进行审查
7. A Method for Synthesis of Data Base Access Programs (Mathematical Methods in Software Science and Engineering : Second Conference) [O] . YONEZAWA AKINORI 1980

机译：一种数据库访问程序的综合方法（软件科学与工程中的数学方法：第二次会议）
8. Application of Methods of Numerical and Software Engineering Analysis to Physical and Engineering Data Collected in a Variety of Laboratory and Field Measurement Programs [R] . Moss, P., Wadzinski, H., Dechichio, D., 1983

机译：数值和软件工程分析方法在各种实验室和现场测量程序中收集的物理和工程数据中的应用

On the Knowledge-based Synthesis of Data Structure Manipulating Programs (Mathematical Methods in Software Science and Engineering : Second Conference)

著录项

引文网络

相似文献

相关主题

期刊订阅