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

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

1 2 ... 13 14 15 下一个

  1. 阿里奥里,吉安尼;加佐拉,菲利波;Koch,Hans:Navier边界条件下平面定常Navier-Stokes方程的唯一性和分支(2021)
  2. 阿里奥里,吉安尼;Koch,Hans:平面Navier-Stokes方程的Hopf分支(2021)
  3. 米特梅尔,罗伯特;Blieberger,Johann:barrier同步并发程序的死锁和WCET分析(2021)
  4. 普拉斯,费利克斯;霍普曼·鲍姆,凯;落叶,鲍里斯;最大多样性分类选择问题(2021)
  5. 阿里奥里,吉安尼;Koch,Hans:FPU链的行波解决方案:建设性方法(2020)
  6. 阿里奥里,吉安尼;Koch,Hans:圆盘上一些半线性椭圆方程的非径向解(2019)
  7. 阿里奥里,吉安尼;Koch,Hans:FPU型链条的一些通气孔和多通气孔(2019年)
  8. 阿里奥里,吉安尼;Koch,Hans:具有周期强迫的波动方程的谱稳定性(2018)
  9. 拉赫阿齐马,布伊兹;劳伦特,莱马尔罕;辛霍夫,弗兰克;撒利拉,比基尔;Jmaiel,Mohamed:《Ravenscar实时系统多目标设计探索方法》(2018)
  10. 穆勒,彼得(编辑);Schaefer,Ina(编辑):原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月(2018年),德国凯泽斯劳滕,研讨会上的演讲精选论文
  11. 阿里奥里,吉安尼;Koch,Hans:一些哈密顿偏微分方程的周期解族(2017)
  12. Beebe,Nelson H.F.:数学函数计算手册。使用MathCW便携式软件库编程(2017)
  13. Koch,Hans:关于保近临界区域映射重整化中的双曲度(2016)
  14. 阿里奥里,吉安尼;Koch,Hans:FitzHugh-Nagumo方程行波脉冲解的存在性和稳定性(2015)
  15. 贝洛,卢西亚诺;何丁,但以理;Sabelfeld,Andrei:信息流控制的价值敏感性和可观测抽象值(2015)
  16. 伯特兰,米克尔;巴博特,弗朗切斯克;Climent,August:分布式系统模型的形式通信消除和顺序等价性证明(2014)
  17. 杜拉茨,一月;Konečný,Michal:浮点软件验证的多项式函数区间(2014)
  18. 佩雷斯,赫克托;Gutiérrez,J.Javier:实时分布中间件标准调查(2014)
  19. 克拉克,约翰A。;丹,海涛;Hierons,Robert M.:语义突变测试(2013)
  20. 卢基尔,西昂;斯利姆,卡莱尔;撒利拉,比基尔;Jmaiel,Mohamed:AO4AADL:AADL面向方面的扩展(2013)ioport公司

1 2 ... 13 14 15 下一个