1998 年出版1212 页ISBN:7302029709
片断:巴克斯-诺尔形式体系(Backus-Naurformal-ism,BNF)用以描述程序设计语言语法的一种形式体系。它是以美国IBM公司的研究员J.Backus和丹麦哥本哈根大学P.Naur教授共同命名的,最初用于ALGOL60语言的语法,是一种典型...
1999 年出版319 页ISBN:7810455192
本书回顾了科学技术的起源和发展历程,介绍了现代自然科学和高技术的各个领域取得的最新成果以及发展的特点与趋势,分析了现代科学技术对经济、社令发展的重大影响,论述了知识经济的来临及我们面临的挑战和机遇...