Ada95型

Ada是一种结构化的、静态类型的、命令式的、广谱的、面向对象的高级计算机编程语言,由Pascal和其他语言扩展而来。它内置语言支持显式并发、提供任务、同步消息传递、受保护对象和非确定性。Ada是一个国际标准;当前版本(称为Ada 2012)由ISO/IEC 8652:2012定义。Ada最初由CII霍尼韦尔公牛公司的Jean Ichbiah领导的团队根据1977年至1983年与美国国防部(DoD)签订的合同设计,以取代当时国防部使用的数百种编程语言。Ada是以Ada Lovelace(1815-1852)的名字命名的,他被认为是第一位计算机程序员。(资料来源:http://en.wikipedia.org/wiki/Ada95)


zbMATH中的参考文献(参考文献290篇,1标准件)

显示290个结果中的1到20个。
按年份排序(引用)

1 2 ... 13 14 15 下一个

  1. 普拉斯,费利克斯;霍普曼·鲍姆,凯;落叶,鲍里斯;最大多样性分类选择问题(2021)
  2. 阿里奥里,吉安尼;Koch,Hans:FPU链的行波解决方案:建设性方法(2020)
  3. 阿里奥里,吉安尼;Koch,Hans:圆盘上一些半线性椭圆方程的非径向解(2019)
  4. 阿里奥里,吉安尼;Koch,Hans:FPU型链条的一些通气孔和多通气孔(2019年)
  5. 阿里奥里,吉安尼;波谱强迫(Hans-Koch周期性方程:2018)
  6. 布阿齐兹,拉赫马;劳伦特,莱马尔罕;辛霍夫,弗兰克;撒利拉,比基尔;Jmaiel,Mohamed:《Ravenscar实时系统多目标设计探索方法》(2018)
  7. 穆勒,彼得(编辑);Schaefer,Ina(编辑):原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月(2018年),德国凯泽斯劳滕,研讨会上的演讲精选论文
  8. 阿里奥里,吉安尼;Koch,Hans:一些哈密顿偏微分方程的周期解族(2017)
  9. 比比,尼尔森H。F、 :数学函数计算手册。使用MathCW便携式软件库编程(2017)
  10. Koch,Hans:关于保近临界区域映射重整化中的双曲度(2016)
  11. 阿里奥里,吉安尼;Koch,Hans:FitzHugh-Nagumo方程行波脉冲解的存在性和稳定性(2015)
  12. 贝洛,卢西亚诺;何丁,但以理;Sabelfeld,Andrei:信息流控制的价值敏感性和可观测抽象值(2015)
  13. 伯特兰,米克尔;巴博特,弗朗切斯克;Climent,August:分布式系统模型的形式通信消除和顺序等价性证明(2014)
  14. 杜拉茨,一月;Konečný,Michal:浮点软件验证的多项式函数区间(2014)
  15. 佩雷斯,赫克托;古铁雷斯,J。Javier:实时分布中间件标准综述(2014)
  16. 卢基尔,西昂;卡莱尔,苗条;撒利拉,比基尔;Jmaiel,Mohamed:AO4AADL:AADL面向方面的扩展(2013)ioport公司
  17. 塔夫特,S。塔克(编辑);达夫,罗伯特A(编辑);布鲁卡特,兰德尔L(编辑);普洛德雷德,埃哈德(编辑);勒罗伊,帕斯卡(编辑);Schonberg,Edmond(编辑):Ada 2012参考手册。语言和标准库。国际标准ISO/IEC 8652/2012(E)(2013)ioport公司
  18. 齐布劳尤斯,马库斯:复杂细胞变种的维特群(2011)
  19. 阿里奥里,吉安尼;Koch,Hans:保面积映射交换对的临界重整化不动点(2010)
  20. 卡弗,理查德H。;Lei,Yu:用于实现、测试和调试并发程序的类库(2010)ioport公司

1 2 ... 13 14 15 下一个