首页> 外文OA文献 >Module-Wise Compilation for a Language with Type-Parameterization Mechanism (Mathematical Methods in Software Science and Engineering)

【2h】

Module-Wise Compilation for a Language with Type-Parameterization Mechanism (Mathematical Methods in Software Science and Engineering)

机译：具有类型参数化机制的语言的模块明智编译（软件科学和工程中的数学方法）

代理获取

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

页面导航

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

著录项

作者
YUASA TAIICHI;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal methods: mathematics, computer science or software engineering? [J] . Tremblay G. IEEE Transactions on Education . 2000,第4期

机译：正式方法：数学，计算机科学或软件工程？
2. Mathematical Methods in Robust Control of Linear Stochastic Systems (Mathematical Concepts and Methods in Science and Engineering Series) (by Y. Dragan et al.; 2006) [Book reviews] [J] . Ray A. IEEE Transactions on Automatic Control . 2008,第3期

机译：线性随机系统的鲁棒控制中的数学方法（《科学与工程》系列中的数学概念和方法）（作者：Y。Dragan等； 2006年）[书评]
3. Science, Mathematics, Computer Science, Software Engineering [J] . Dick Hamlet The Computer journal . 2012,第1期

机译：科学，数学，计算机科学，软件工程
4. Formal methods: mathematics, computer science or software engineering? [C] . Tremblay G. Software Engineering Education Training, 2000. Proceedings. 13th Conference on . 2000

机译：正式方法：数学，计算机科学或软件工程？
5. The nature of gender differences in science, mathematics and engineering education: A literature review of stereotype threat and its underlying mechanisms. [D] . Khoromi, Farnaz. 2006

机译：科学，数学和工程学教育中性别差异的本质：对成见的威胁及其潜在机制的文献综述。
6. Characteristics of mathematical modeling languages that facilitate model reuse in systems biology: a software engineering perspective [O] . Christopher Schölzel, Valeria Blesius, Gernot Ernst, 2021

机译：促进系统生物学模型重用的数学建模语言的特征：软件工程视角
7. Natural Language as a Specefication Language for Programs (Mathematical Methods in Software Science and Engineering : Third Conference) [O] . FUCHI KAZUHIRO 1981

机译：自然语言作为程序的专用语言（软件科学与工程中的数学方法：第三次会议）
8. TriBITS Lifecycle Model. Version 1.0. A Lean/Agile Software Lifecycle Model for Research-based Computational Science and Engineering and Applied Mathematical Software. [R] . Bartlett, R. A., Heroux, M. A., Willenbring, J. M. 2012

机译：TriBITs生命周期模型。版本1.0。基于研究的计算科学与工程和应用数学软件的精益/敏捷软件生命周期模型。

Module-Wise Compilation for a Language with Type-Parameterization Mechanism (Mathematical Methods in Software Science and Engineering)

著录项

引文网络

相似文献

相关主题

期刊订阅