全国计算机等级考试上机过关教练 二级C语言程序设计

硬件设计验证 基于模拟与形式的方法

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...

插画视觉语言 在理论与实践中学习插画

插画实践不仅通过视觉能力和技术素养来评判，而且还需要主题对象的智力参与。《插画视觉语言：从理论与实践中学习插画》通过300张图片案例，研究了这门复杂学科的广度和多种应用途径。本书着眼于插画的理论研究...

计算语言学导论

本书介绍了计算语言学预备知识、形式语言及自动机、语法理论和表示形式、计算语义方面的一些工作、容错分析等。

BASIC语言常用统计计算程序汇编

全国计算机等级考试二级教程 Python语言程序设计 2020年版

文字的背后 33位中国作家敞开心扉

本书是一本专门为青少年设计的文学“辞典”。汇集了33位中国当代最著名和有特色的作家（如巴金、王蒙、王安忆、苏童等，包括台湾作家席慕蓉、最具人气的网络作家安妮宝贝、英年早逝的教师作家李肇正），从不同的角...

大绝代宋词背后的精彩故事 宋词人那些事

这是一本关于大宋词人的传记的通俗读物。唐诗宋词始终是中国文化无法逾越的两座高峰，更为中华民族注入了永恒的价值基因与文化血脉。本套书根据诗词特点与作者的受关注度，选入唐宋时期代表性诗人和词人，摒弃就...

战略投资 时髦概念背后的深层功夫与系统能力

本书是“一带一路”开发研究丛书中的一部学术著作，以当前中国经济发展中若干热点领域和产业（高速铁路、互联网金融、大数据、区块链与数字主权、PPP、量化投资等）为例，重点分析了这些新兴产业产生的背景、发展...

关键词里看中国 财经热词背后的中国经济真相

本书选取关注度最高的“财经热搜词”，由专家型主持人马红漫进行解读和点评，全书基于2013年电视节目，择选其中最具代表性、可供长期借鉴讨论的热点问题，针对宏观经济、投资市场、行业热点、社会民生等方面解析财...