本书没有预设语义学和逻辑学的专门知识，循序渐进地介绍了经典蒙太格语义学，便于初学者阅读。读者通过本书...
2010.4
本书提供了超过100条锦囊妙计，帮助您利用正则表达式处理数据、操纵文本。每位程序员都能找到正则表达式的...
2009.11
本书系统阐述了形式语用学的学科源起、研究特点和研究工具，并以语言语用学的四大传统领域为阵地详细探讨了...
2008.06
本书主题包括：多种语言和工具不同版本之间的特性比较；正则表达式引擎的工作机制；优化（提高时空效率主要...
2005.06
本书研究了范式及有限群。对范式给出了两种求解方法，介绍了范式的运算性质以及主范式在命题公式中的作用。...
2012.11
信息时代，讯息如海，一切变得琐碎不堪；读图时代，图像流行，一切变得光影斑斓。人们工作、生活与学习中确...
2020.
安全协议作为信息安全的重要基础之一，其安全属性是否能达到设计者的初始目标成为一个重要研究内容，关系到...
2018.11
本书综合作者自己遇到的实际问题，以及其他开发人员咨询的问题，总结出一套巧妙运用正则表达式的办法，并通...
2018.11
本书是为了帮助读者学会设计数字系统，并熟悉 Altera 公司产品、软件 QUARTUS II及其它相关软件的使用，前...
2018.8
作为一本形式语义学教科书，《形式语义学的要素》着重呈现该领域研究的两个“要素”：一是形式分析的对象——蕴...
2018.8