fortran语言与计算器数学供工程师和科学工作者用

软件工程形式化方法与语言

本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...

Microsoft Macro 5.0版混合语言程序设计指南与软件开发工具

高级语言程序设计实验指导与习题集

高级语言程序设计实验指导和习题集包括四个部分：第一部分实验指导；第二部分习题集；第三部分自测题；第四部分课程设计大纲；第五部分习题答案，可以为学生学习和掌握C语言及其程序设计提供充分的资料。...

C语言接口与实现 创建可重用软件的技术

本书讲述了如何设计、实现和有效使用C语言库函数，掌握创建可复用C语言软件模块。书中倡导基于接口的C语言设计理念及其实现技术，深入详细地描述了24个C语言接口及其实现。...

C语言程序设计实验与实训教程

全书共11个项目，内容主要包括Turbo C的安装、启动、集成开发环境，三大程序结构，函数，数组，指针，预处理，共用体，结构体，文件以及C＋＋简介。在每章的最后均设有习题，使学生能够巩固本章所学知识。...

现代语言学理论与外语多媒体教学

本书旨在研究以现代语言学理论（如符语用学号学、认知语言学、心理语言学等理论）为学科理论，指导外语多媒体课件的优化设计，为提高教育技术条件下的外语教学质量服务。对外语研究人员和教育工作者有较好的借鉴参...

语言学与翻译研究导引

本教材旨在帮助读者了解语言学对于翻译活动和翻译研究的意义，了解翻译理论建设中语言学所扮演的角色，了解当前语言学的研究成果在翻译研究中的具体应用，以及语言学途径翻译学研究的所产生的激动人心的成就。在...

共同语言：与改革开放同行 助市场经济成长

本书为纪念工商行政管理机关恢复建制30周年而作，全面系统地回顾了30年来上海工商行政管理改革发展的风雨历程，总结了30年来特别是近5年来的主要工作经验和成就。...

讲授第二语言写作：与文本互动

本书内容包括：1.对学习写作的亲身经历的反思；2.兼顾不同学生的写作过程；3.通过学术写作实现读写结合；4.通过创作写作实现读写结合；5.通过计算机在普通英语课上指导学生写作；6.指导学生互改作文；7.对学生的文章与写...