...
机译:公鸡的形式化和高中几何课程的可视化
Projet Marelle (INRIA) 2004, route des lucioles -BP 93 F-06902 Sophia Antipolis cedex;
géométrie; assistant à la preuve; enseignement; logiciel de géométrie; coq;
机译:粒径分布对水道中悬浮物流动的浊度测量的影响
机译:IMPA 60年的层压几何中的一些问题
机译:IMPA 60年的层压几何中的一些问题
机译:利用空气杀菌剂评估土壤的渗透率和土壤水分,以优化农业用水
机译:从血管造影图像对冠状动脉进行3D重建,以在线可视化动脉瘤。
机译:患者护理领导者和研究人员之间的伙伴关系:网络知识转移策略的结果可计划出院并促进肿瘤护理期间的过渡
机译:将共同体指令转换为国内法。 1982年12月3日的EEC指令82/884,涉及大气中铅的极限值。有效期限,形式和条件。 /通过行政通函换位。范围的限制。具有法律效力的约束力。个人和没有保险的制造商的信息和权利了解。尚未确定转座的结合力,清晰度,特异性和精确性。缺乏强制性标准。遵守惯例不能代替它。 /诉讼程序中的正规化。继续采取必要行动,以在必要时确立国家对个人和其他成员国的责任。 i>欧洲共同体法院,1991年5月30日,欧洲共同体委员会诉德意志联邦共和国(A. C-59 / 88)