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中的参考文献(参考文献289篇文章,1标准件)

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

1 2 ... 13 14 15 下一个

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

1 2 ... 13 14 15 下一个