acm-header
登录

ACM通信

表的内容


主席致ACM会员的信


针对ACM的发布策略


计算机语言的形式化语义及其在编译器-编译器中的应用


用级数回归法求解超越方程


273年算法:Serrev


算法274:希尔伯特推导检验矩阵的生成


算法56:第二类完全椭圆积分的证明


欧拉:ALGOL的推广及其形式化定义:第1部分


数据、文档和决策表


用FORTRAN, COBOL或ALGOL编程决策表


论“0”与“O”的混淆


关于编制课程表的计算机程序的几点思考


一种研究人与机器之间自然语言交流的计算机程序


对并发编程控制中一个问题的评述


Baidu
map