学生开源年会

相关

• 公理语义学公理语义学（Axiomatic semantics）是使用数理逻辑来证明程序正确性。程序中的命令的意义描述是通过对程序状态的断言（assertion）效果。断言是逻辑语句——带变量的谓词，而这些变量
• 罗德西亚人罗得西亚人（学名：Homo rhodesiensis）是可能的人族。其他在形态上相似的遗骸亦在南部非洲、东非及北非发现。罗得西亚人的遗骸估计属于12.5-60万年前。在非洲于60万年前后的阿舍
• 布鲁氏菌科布鲁氏菌属（Brucella） Crabtreella（英语：Crabtreella） Daeguia（英语：Daeguia） Falsochrobactrum（英语：Falsochrobactrum） 支动菌属（英语：Mycoplana）（Mycoplana） 苍白杆菌属（英语：Ochrobactrum）（O
• 阿尔泰共和国阿尔泰共和国（俄语：Респу́блика Алта́й，罗马化：Respublika Altay；阿尔泰语：Алтай Республика）是俄罗斯联邦主体之一，属西伯利亚联邦管区。面积92,6
• 感觉器官感官（sense）是泛指能接受外界刺激的特化器官与分布在部分身体上的感官神经（Sensory nerve），其运作依全有全无律，是生物体得到外界资讯的通道。就人类而言其包括眼睛的视觉、耳朵的
• 东洲区东洲区，旧名露天区，是辽宁省抚顺市下辖的一个市辖区。下辖10个街道、2个乡，96个社区居委会、24个村委会。东洲街道目前设在晴纶小区晴纶化工厂教培中心临侧。是一座白色小楼，内
• bzip2bzip2是Julian Seward开发并按照自由软件／开源软件协议发布的数据压缩算法及程序。Seward在1996年7月第一次公开发布了bzip2 0.15版，在随后几年中这个压缩工具稳定性得到改善
• 山姆·阿布拉姆斯山姆·阿布拉姆斯（Sam Abrams，1935年11月18日－）出生于布鲁克林，是一名美国作家。阿布拉姆斯曾以福布莱特教授的身份于雅典大学任教美国文学，现于罗彻斯特理工学院的文学院担任语言
• 东阿拉莫萨 (科罗拉多州)东阿拉莫萨（英语：Alamosa East）是位于美国科罗拉多州阿拉莫萨县的一个人口普查指定地区。东阿拉莫萨的座标为37°28′32″N 105°51′13″W / 37.47556°N 105.85361°W / 37.4
• 2008年福布斯中国名人榜榜单2008年福布斯中国名人榜榜单（英语：Forbes China Celebrity 100）是《福布斯》杂志中文版在2008年揭晓。今年的福布斯名人榜继续了娱乐圈阴盛阳衰的趋势，四小名旦这次全部进入前十