徐以贞

相关

• 形式化方法形式化方法，中文也称形式方法、正规方法。在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件
• 布什尔布什尔省（波斯语:بوشهر）是伊朗三十一个省份之一。面积23,168公里，在所有省份中排行第19。人口约816,100(2005年数据)；首府位于布什尔。布什尔省位于伊朗南部；北面与胡齐斯坦
• 集安市集安市是吉林省通化市下辖的一个县级市，位于吉林省东南部的长白山脚下，与朝鲜满浦隔鸭绿江相邻，是中国对朝鲜三大边境口岸之一。集安曾是古代高句丽王国的都城所在地。集安地处
• 河西区 (天津市)河西区是中国天津市的市辖区，面积41.24平方千米，户籍人口76万，因地处海河西岸而得名。天津市人民政府、小白楼地区城市主中心、友谊路金融街、天津市文化中心等都位于该区域内
• 比利·赞恩小威廉·乔治·“比利”·赞恩（英语：William George " Billy " Zane, Jr.，1966年2月24日－）是一位美国男演员和制片人。他较著名的是在1989年惊悚片《航越地平线》中饰演休吉·沃
• 陈志 (遂安伯)陈志（？－1410年），四川等处行中书省重庆路巴县（今四川省重庆市）人，明朝军事将领、靖难之役人物。洪武年间，担任燕山中护卫指挥佥事。靖难之役时，跟从朱棣起兵，累升都指挥同知，封遂安伯。其
• 长刺马勃，在欧美俗称刺灰包或春灰包，是马勃属的一种真菌。该腐生物种生长在落叶林，林间空地和牧场的土壤里，可在非洲，欧洲，中美洲和北美洲看到。长刺马勃的子实体由一个小的基部支持着，并覆
• 凌泰封凌泰封（1783年－1856年），字瑞臻，号东园，安徽定远县人，清代翰林、政治人物。凌泰封幼时聪颖，十四岁入郡庠，督学汪文端奇其才，取优贡。嘉庆九年（1804年）中举人，嘉庆二十二年（1817年）中进士，殿试
• 钟力生钟力生（1937年9月－2009年9月24日），男，湖南醴陵人，中华人民共和国政治人物，曾任河南省人大常委会副主任，第九届全国人大代表。
• 萨得尔企业萨得尔萨克斯风（英语：SAHDUOO SAXOPHONE），是台湾最早的萨克斯风乐器和萨克斯风吹嘴研发公司，总部位于台中市后里区。萨得尔创立于1965年，以手工克难的方式生产萨克斯风，延续至今。