形式语言，自动机理论与计算导论

形式语言与自动机理论是计算机科学与技术专业的一门重要课程。本书是作者结合其多年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。不仅含有有关正则语言、上下文无关语言的文法、识别模型...

电子商务网络协议的形式化分析理论与应用

本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论与实际应用。具体内容包括：电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全...

当代世界经济与政治

本书在介绍信息管理学的管理科学和信息科学学科基础、信息管理原理和方法、信息管理过程及组织等内容的基础上，按照信息管理的发展阶段进程，系统论述了计算机信息管理系统、战略信息资源管理、知识管理及经济...

当代世界经济与政治

本书在介绍信息管理学的管理科学和信息科学学科基础、信息管理原理和方法、信息管理过程及组织等内容的基础上，按照信息管理的发展阶段进程，系统论述了计算机信息管理系统、战略信息资源管理、知识管理及经济...

保险法告知义务及其法律规制

本书稿从信息不对称理论的角度入手，对保险告状义务的保证、陈述和隐瞒等三种形态分别进行了分析，介绍了每一种告知义务里的各种主要法律规则、特点以及改革措施，从总体角度分析了英美保险法告知制度存在的问题...

当代世界经济 体系·机制·趋势

形式语言与自动机理论教学参考书 第3版

本书根据作者作为《形式语言与自动机理论》一书的配套读物，按照原书的结构编写而成。重点讨论有关内容的讲解和学习的要点、问题分析、求解思路和方法、注意事项、典型习题的解析等。按照小节给出知识点和主...

当代世界经济学导论

本书系统介绍了当代世界经济的基本概况和发展趋势，包括世界经济及其运行主体、世界经济运行的一般机制、世界经济可持续发展面临的问题，以及世界经济合作与协调，以对世界经济诸多全局性问题获得较为确切的把握...

同居法律规制研究

本书作者通过对非婚同居和非法同居的对比研究，就非婚同居的概念、特征和主要类型进行了细致的分析，在此基础上，从立法的角度较为全面地提出了我国非婚同居立法规制的具体建议；从司法的角度分别就同居双方法律关...

当代世界经济发展新趋势

暂缺《当代世界经济发展新趋势》简介