首页> 美国政府科技报告 >On Program Synthesis Knowledge.

【24h】

On Program Synthesis Knowledge.

机译：论程序综合知识。

获取原文

页面导航

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

摘要

No abstract available.

著录项

作者
green, cordell barstow,david;
展开▼
作者单位

展开▼
年度 1977
页码 1-41
总页数 41
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Computer programming; Computer aided instruction; Data processing; Subroutines; Sorting; Reprints; Program synthesis;

机译：计算机编程;计算机辅助教学;数据处理;子程序;排序;重印;程序综合;

相似文献

外文文献
中文文献
专利

1. 'Tuning in to Kids' parenting programme improves parental emotional awareness, and child behaviour and emotional knowledge. [J] . Katz LF Evidence-based mental health . 2011,第3期

机译：“调整为孩子”育儿计划可以提高父母的情感意识，孩子的行为和情感知识。
2. C-Speak Aphasia alternative communication program for people with severe aphasia: importance of executive functioning and semantic knowledge. [J] . Nicholas M, Sinotte MP, Helm Estabrooks N Neuropsychological rehabilitation . 2011,第3期

机译：针对严重失语症的C-Speak失语症替代交流计划：执行功能和语义知识的重要性。
3. Effect of an evidence-based paediatric fever education program on emergency nurses' knowledge. [J] . Considine J, Brennan D Accident and emergency nursing . 2007,第1期

机译：循证儿科发烧教育计划对急诊护士知识的影响。
4. Analyzing the data behavior of parallel application for extracting performance knowledge. [C] . Felipe Tirado, Alvaro Wong, Dolores Rexachs, International Conference on High Performance Computing and Simulation . 2019

机译：分析并行应用程序的数据行为以提取性能知识。
5. Attributes of identity document credibility: A synthesis of expert knowledge. [D] . Henry, Kenneth Robert St. Leger. 2008

机译：身份证明文件可信度的属性：专业知识的综合。
6. You Do It without Their Knowledge. Assessing Knowledge and Perception of Stealthing among College Students [O] . Marwa Ahmad, Benjamin Becerra, Dyanna Hernandez, 2020

机译：您在他们不知情的情况下这样做。对大学生隐身知识的评估和感知
7. Higher Education Librarians Are Comfortable and Confident With their Teaching Responsibilities and Pedagogical Knowledge. A Review of: Bewick, L., Corrall, S. (2010). Developing librarians as teachers: A study of their pedagogical knowledge. Journal of Librarianship and Information Science, 42(2), 97-110. [O] . Mê-Linh Lê 2011

机译：高等教育图书馆员的教学责任和教学知识是舒适和自信的。评论：Bewick，L。，＆Corrall，s。（2010）。培养图书馆员作为教师：研究他们的教学知识。 Journal of Librarianship and Information science，42（2），97-110。
8. Program Synthesis = Proof Method + Knowledge. Example of Recursion Function Synthesis [R] . Jacquet, P., Potet, M. L. 1986

机译：程序综合=证明方法+知识。递归函数综合的例子

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号