随着计算机技术的飞速发展，符号计算软件系统，或者说计算机代数系统，已经被广泛地应用于科研、教学以及工...
2005.04
本书是理工类大学生计算科学方面的一本基础课教材，它面向计算机讲计算方法，集算法、程序设计和数学模型于...
2005.
本书从基本概念到微处理器、可编程逻辑和数字信号处理技术进行介绍。
本书内容为传值CCS和π-演算是对CCS的继承和发展，其传值和传名的特性更适合于对并发通信系统进行直接的建模...