弗朗齐歇克·格雷戈尔

相关

• 抽象释义在计算机科学中，抽象释义是基于在有序集合特别是格上的单调函数，计算机程序的语义的可靠逼近理论。它可以被看作对计算机程序的部分执行，获取关于它的语义信息(比如，控制结构、
• 夏尔·奥古斯丁·库仑夏尔·奥古斯丁·德·库仑（Charles Augustin de Coulomb，1736年－1806年），法国物理学家、军事工程师、土力学奠基人。库仑是法国著名军事工程学专家和物理学家，库仑最为知名的是他
• 智利天主教大学智利天主教大学成立于1888年，大约有22000研究生和本科生和约2000教授。其学科和专业广泛，包括医学，工程，社会科学，自然科学，健康，经济，农业，哲学，神学，艺术和文学。智利天主教大学致力
• 藏经洞基督像藏经洞基督像（英语：Fragment of a Christian Figure）是一幅出土于莫高窟藏经洞的唐朝景教基督像绢画，或绢旗，已残破，现藏英国伦敦大英博物馆。其上所绘人物，貌似沈思的菩萨，右手举起
• 艾米·汉莫亚曼德·道格拉斯·“艾米”·汉默（英语：Armand Douglas "Armie" Hammer，1986年8月28日－）是一名美国男演员，知名作品如电影《社交网络》（2010年）、《胡佛传》（2011年）和《秘密特工》（20
• 陈家镛陈家镛（1922年2月17日－2019年8月26日），四川金堂人，中国化学工程、湿法冶金专家，中国科学院院士。陈家镛于1943年毕业于中央大学化学工程系，此后留校任教。1947年前往美国留学，1951年
• DIP开关DIP开关（DIP switch）也称为指拨开关，是可以人工调整的开关，多半是数个开关一组，以标准双列直插封装（DIP）的封装形式出现。“DIP开关”可以指个别的开关，也可以指整组的开关。DIP开关
• 张学群张学群（1957年10月－），男，汉族，安徽阜南人，中华人民共和国政治人物，二级大法官，第十二届全国人民代表大会云南地区代表。毕业于中央党校研究生院法学理论专业。1974年10月加入中国共产
• 飓风艾丽西亚飓风艾丽西亚（英语：Hurricane Alicia）是1972年的飓风艾格尼丝之后造成损失最惨重的北大西洋热带气旋，也是1983年大西洋飓风季的第3个热带低气压、第1场热带风暴和唯一的大型飓风。气旋直接吹袭德克萨斯州的加尔维斯敦和休斯敦，造成21人死亡和高达26亿美元（1983美元，相当于如今的67.6亿美元），成为1961年的飓风卡拉之后对德克萨斯州破坏最严重的飓风。此外，艾丽西亚也是德克萨斯州历史上首场造成损失超过10亿美元的热带气旋。
• 安贝德卡比姆拉奥·拉姆吉·安贝德卡（马拉提语：भीमराव रामजी आंबेडकर；英语：Bhimrao Ramji Ambedkar；1891年4月14日－1956年12月6日），简称安贝德卡，又译阿姆倍伽尔、安倍多伽尔、安倍德卡、安倍卡，印度中央邦姆霍沃人。他是印度法学家、经济学家、政治家和社会改革家，启发了达利特佛教运动，并反对各界对达利特人的社会歧视。他是独立后第一位印度法律和司法部长，也是印度宪法的首席设计师。获得了哥伦比亚大学和伦敦经济学院的经济学博士学位，其在法律、经济学和政治学方面的研究亦获得