From Dynamic Programming to Programming Science Some Recollections in Honour of Stefania Gnesi

机译：从动态编程到编程科学，以纪念Stefania Gnesi的一些回忆

获取原文

页面导航

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

摘要

Stefania Gnesi graduated summa cum laude in Scienze dell'Informazione at the University of Pisa in June 1978. At the time, I had recently moved from the IEI-CNR Institute (Istituto di Eleborazione dell'Informazione of the Consiglio Nazionale delle Ricerche) to the Department (well, maybe Institute) of Scienze dell'Informazione, University of Pisa. I was teaching the only course available there about theoretical computer science: computability, automata and formal languages, program and programming language semantics.

机译：Stefania Gnesi于1978年6月以优异的成绩从比萨大学的信息科学专业毕业。当时，我最近从IEI-CNR研究所（美国国家研究理事会信息处理研究所）转到了比萨大学信息科学系（可能是研究所）。我当时正在教授关于理论计算机科学的唯一课程：可计算性，自动机和形式语言，程序和编程语言语义。

著录项

来源
《International symposium on formal methods;World congress on formal methods》|2019年|12-15|共4页
会议地点 Porto(PT)
作者
Ugo Montanari;
展开▼
作者单位

Dipartimento di Informatica University of Pisa Pisa Italy;

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Recollection: Dr. Frederick J. De Serres and the environmental mutagenesis and carcinogenesis panel established under the auspices of the US-Japan Cooperative Medical Science Program [J] . Takashi Sugimura, Taijiro Matsushima Mutation Research. Reviews in Mutation Research . 1999,第2期

机译：回忆：Frederick J. De Serres博士和在美日合作医学计划的主持下成立的环境诱变和致癌研究小组
2. Dynamic Programming Based Research Position Planning: Empirical Analysis from the Chinese Academy of Sciences [J] . Yongjia Xie, Chang Liu, Dengsheng Wu, Procedia Computer Science . 2015,第1期

机译：基于动态规划的研究位置规划：来自中国科学院的实证分析
3. The Dynamics of Coupled Natural and Human Systems Program at the US National Science Foundation: lessons learned in interdisciplinary funding program development and management [J] . Baerwald Thomas J., Firth Penelope L., Ruth Sarah L. Current opinion in environmental sustainability . 2016,第Apra期

机译：美国国家科学基金会自然与人类系统耦合动力计划：跨学科资助计划开发和管理的经验教训
4. From Dynamic Programming to Programming Science Some Recollections in Honour of Stefania Gnesi [C] . Ugo Montanari International symposium on formal methods . 2019

机译：从动态规划到编程科学的一些回忆，以纪念Stefania Ginesi
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. For socially engaged science: The dynamics of knowledge production in the Fiocruz graduate program in the framework of the "Brazil Without Extreme Poverty Plan" [O] . Rebeca Buzzo Feltrin, Maria Cristina Rodrigues Guilam, Manoel Barral-Netto, 2012

机译：对于社会科学领域：Fiocruz研究生项目在“巴西没有极端贫困计划”的框架下知识生产的动态
7. Student Perceptions of Staged Transfer to Independent Research Skills During a Four-year Honours Science Undergraduate Program [O] . Sarah L. Symons, Andrew Colgoni, Chad T. Harvey 2017

机译：学生在为期四年的荣誉科学本科课程中对独立研究技能分阶段转学的看法
8. Program of Research in Flight Dynamics in the Joint Institute for Advancement of Flight Sciences at NASA-Langley Research Center [R] . Klein, V. 1997

机译：美国宇航局 - 兰利研究中心飞行科学联合研究所飞行动力学研究项目

From Dynamic Programming to Programming Science Some Recollections in Honour of Stefania Gnesi

摘要

著录项

相似文献

相关主题

期刊订阅