西雅图港

相关

• 抽象释义在计算机科学中，抽象释义是基于在有序集合特别是格上的单调函数，计算机程序的语义的可靠逼近理论。它可以被看作对计算机程序的部分执行，获取关于它的语义信息(比如，控制结构、
• ARKiveARKive是一个以宣传生态保护为主题的公益网站，分门别类地收集有大量不同物种在野外被拍摄到的图片和视频资料，可以供访问者免费观看。网站致力于所谓“通过来自野生生物影像的
• 王与仁王山立（？年－？年），原名王与仁。山东济南府新城县（今桓台县）人。清初武进士。王山立出身新城王氏望族，是王之猷之孙，王象春之子，王象乾、王象晋堂侄。清顺治十八年（1661年）辛丑科中式武进士
• 瑞士国家图书馆瑞士国家图书馆是瑞士联邦文化办公室下的一个机构，是该国国家图书馆，已经列入瑞士国家和区域重要文化财产名录。 其历史可以追溯至1895年，虽然不是瑞士的法定送存图书馆，但是已
• 陈翟苏妮索尼亚·罗莎·张-迪亚兹（英语：Sonia Rosa Chang-Díaz，1978年3月31日－），汉名陈翟苏妮（原译张松妮），美国政治人物，民主党党员,现任马萨诸塞州州参议员，代表萨福克郡第二选区（2nd Suffolk
• 姜仙祐姜仙祐（朝鲜语：강선우／姜仙祐 ，1978年6月2日－），大韩民国自由派政治人物，第21届国会议员。
• 叶缘焦枯病菌叶缘焦枯病菌（学名：）是γ-变形菌纲的一员, 是一种主要的植物病原菌会导致桃树矮化病（phony peach disease）、细菌性叶缘焦枯病（Bacterial Leaf Scorch）、夹竹桃叶缘焦枯病（oleander
• 第33届日本电影学院奖第33回日本电影学院奖于2010年3月5日公布获奖名单并举行颁奖仪式。主持人为関根勤和木村多江。
• 北条纲高北条纲高（1506年4月－1585年12月3日）是日本战国时代至安土桃山时代的武将。后北条氏的家臣。父亲是高桥高种。母亲是伊势宗瑞（北条早云）的养女，妻子是南条重赖之女、南条右京亮重长
• 钝锯鳐钝锯鳐（学名：），也称作尖齿锯鳐及钝锯鲼，为锯鳐科的鱼类，也是单属种。分布于红海、印度洋、印度尼西亚以及南海以及东海南部等。该物种的模式产地在Rostrum。