迦陵说诗(平装)叶嘉莹说中晚唐诗(附音频)/迦陵说诗(平装)

书局在销的“迦陵说诗”（精装）系列因成本过高，遵照领导指示现改为平装出版。叶嘉莹先生在书中详列出中晚唐时期的重要诗人，韦应物、柳宗元、刘禹锡、韩愈、白居易、李贺、李商隐、杜牧，品评诗作，细数人生，在宏阔的历史文化背景下展现了唐代诗歌的魅力和诗人的历史地位，让我们更深切地理解诗人和诗作...

叶嘉莹说诗讲稿(附音频)/迦陵说诗(平装)

书局在销的“迦陵说诗”（精装）系列因成本过高，遵照领导指示现改为平装出版。中国古典文学专家叶嘉莹先生幼年即学习古典诗词，后又在加拿大讲学多年，对中国古典诗词及中西方文艺理论涉猎颇深。此书即是叶嘉莹先生融会古今中外文艺理论之精华，对中国古典诗歌的全新解读，新颖而不偏颇，深刻而不深奥。叶嘉莹先生以其互动亲切的语言，深入浅出的讲解，将中国古典诗歌阐释的清晰透彻，将文艺理论讲解的平易有味...

十国春秋(全四册)--中国史学基本典籍丛刊/[清]吴任臣撰 徐敏霞、周莹点校

是清代吴任臣编撰的记录五代时期十国史事的纪传体史书.全书共114卷,计吴14卷,前蜀13卷,南唐20卷,后蜀10卷,南汉9卷,楚10卷,吴越13卷,闽10卷,荆南4卷,北汉5卷,另有十国纪元表、十国世系表、十国地理表、十国藩镇表、十国百官表等。吴书充分吸收了清以前有关十国的史料和研究成果，广采博取，是十国史研究的基本参考书...

娇红记校证--古体小说丛刊/[元]宋远撰 林莹校证

《娇红记》，元初文人宋远撰，林莹点校。我国中篇文言小说之滥觞，叙述了申纯、王娇娘缠绵悱恻的爱情悲剧，与《西厢记》合为“元代戏曲小说目前的双璧”。本书上承唐宋传奇，下启明代中篇文言传奇，并对《红楼梦》产生了深远的影响。元、明、清三朝据此改编的杂剧、传奇、京剧等数十种，其中最著者乃与汤显祖《牡丹亭》媲美的孟称舜《节义鸳鸯冢娇红记》。如此重要的文言小说，但罕见点校整理本。1935年，郑振铎主编《世界文库》，尝收入此书。后程毅中先生曾转录郑振

ERP沙盘模拟经营(第2版)/蔡雪莹

该课程主要是将学生分成若干小组，每个小组经营一家生产型企业，一般从事6到8个会计年度的经营活动，主要是涉及到管理、会计、营销、生产,物流等基础知识，在经营过程中学生发现问题，然后以小组讨论方式来解决问题，让学生深刻体验经营公司的艰难，并且明白管理者所要具备的综合能力和素养，从而针对自己的职业发展规划做出改变。教材主要是针对中职院校使用的"创业者”软件和高职、本科院校使用的"商战”版软件来编写，编者在教学和指导学生参加竞赛过程中，感受到

UG NX10.0三维建模及自动编程项目教程(第2版)/徐家忠 金莹

本书内容源于对多年教学实践的总结，以及对近年来全国职业院校技能大赛赛题的分析提炼，采用任务驱动的方式，内容全面、条理清晰。本书由零件造型并制作工程图、装配、平面加工和曲面加工四个项目组成。每个项目包含多个任务，每个任务都具有很强的代表性，既具有企业一线的实用性，又和教学过程、各比赛赛点相结合。内容以启发、引导为主，辅以网络视频（可扫描二维码观看）、课程网站（https://www.icourse163.org）为补充，使教学过程可以针

叶嘉莹说阮籍咏怀诗

本书是“迦陵说诗”系列的收官之作，由九十高龄的叶嘉莹先生亲自反复修改、审定而成。 阮籍流传下来的87首诗中，其中有85首题名“咏怀”，这是一个乱世诗人的悲苦写照。阮籍是中国文学史上继建安文学之后正始文学时代的诗人。当时正处于魏晋之交，社会上一群文士从外表上看放浪、恣纵、旷达、不守礼法，而在他们的内心深处有一份内在的悲哀和痛苦。阮籍的诗寄托深远，而其志气狂放、纵逸，幽微、深隐，蕴藉深厚，在痛苦无人可诉的时候，把零乱、悲苦的内心感情用诗文

叶嘉莹谈词-第二版

《叶嘉莹谈词（第二版）》是叶嘉莹先生历年词学论著中的观点摘录，涉及1970年至2008年叶嘉莹先生16本专著以及相关论文、演讲。编选时，主要分为“本体论”“批评论”“词史论”三部分，将词学理论、词派词人批评、西方文艺批评理论及词的发展演变史分类论述，并熔为一炉...

HTML5网页设计与制作案例教程/李兴莹

《HTML 5网页设计与制作案例教程》是为适应中等职业学校培养计算机应用及软件技术领域技能紧缺人才的需要而编写的。《HTML 5网页设计与制作案例教程》从浅到深逐步讲解，通过语法、示例、案例的逐层递进方式阐释HTML 5 的新特性。通过精彩案例，综合应用多种HTML 5 技术，从而实现“知识是基础，能力是目标”，且部分案例给出视频讲解。 《HTML 5网页设计与制作案例教程》适合所有想全面和深入学习HTML 5 开发技术的人员阅读；对

小学英语教学技能实训/朱莹/全国小学教育专业十三五规划教材

本书结合教师资格证考试，在课证融合的指导思想下，以职业能力提升为设计核心，基于教学过程将小学英语教学的典型工作任务细化，以专题和模块的形式将课程内容组织并序化。全书共有四个专题，分别是教学设计技能训练、基本课型教学训练、基本技能训练、教师资格证考试模拟训练。简明的理论，真实的教学案例，详尽的案例分析，生动的课堂教学视频贯穿全书...

建设工程招标投标(第2版)/刘钟莹等

本书简介建设工程招标投标制度与相关法规，重点介绍施工招标与投标，着重探讨施工招标文件、评标方法等问题，详细介绍了施工投标决策与策略、施工合同及风险管理。介绍了设计、监理、设备、材料招标与投标的基本知识。本书可作为工程及工程管理专业教材、相关培训教材，也可用作招标投标从业人员理论培训用书或实际操作指南...

AutoCAD机械制图(孙莹)

《AutoCAD机械制图》从AutoCAD的下载安装与启动开始，讲解了绘图环境设置、简单二维图的绘制、复杂机械图的绘制、零件图和装配图的绘制、图形打印输出和三维实体创建。书中有大量的来自生产实际的案例，在讲解了相关命令后以任务形式呈现，边学边练。为便于初学者快速入门，书中截取了AutoCAD的真实命令按钮和对话框，更加直观，并且在书后附有制图的国家标准名称和AutoCAD快捷键。通过本书的学习，读者能够熟练操作AutoCAD进行机械制

电子商务创业实训系列教材短视频运营实务/马文娟 杜作阳 沈瑛莹

《短视频运营实务》包含 7 个项目，每个项目包含 2 ～ 3 个任务，涵盖了短视频运营的方方面面。前 4 个项目是“短视频平台认识与选择”“短视频用户洞察”“短视频内容规划”和“短视频制作”，主要介绍了短视频创作方面的知识；后 3 个项目是“短视频运营数据分析”“短视频引流与变现”和“短视频账号培育实践”，主要介绍了运营的策略和方法。 为便于教学，每个任务均配有思维导图、情景案例、操作步骤、相关知识、经验总结以及配套练习，帮助学习者

会展项目管理(第2版)/薛莹

《会展项目管理（第2版）》注重理论与实践相结合，系统介绍了会展项目管理的主要过程、方法和技术，涵盖了项目管 理领域的重要知识理论，使用了靠前项目管理领域的通用词汇、良好做法和普遍认可的知识体系，也 结合了会展产业领域的项目特点和实际，简明扼要地向读者提供会展项目管理过程的操作步骤、方法 和经验。 《会展项目管理（第2版）》可作为高等院校会展经济与管理类及相关专业本科生、专科生的教材，同时也可作为会展行业 相关人员及广大期望从事会展项

中华书局有限公司迦陵说诗(平装)叶嘉莹说阮籍咏怀诗(附音频)/迦陵说诗(平装)

书局在销的“迦陵说诗”（精装）系列因成本过高，遵照领导指示现改为平装出版。阮籍流传下来的87首诗中，其中有85首题名“咏怀”，这是一个乱世诗人的悲苦写照。阮籍是中国文学目前继建安文学之后正始文学时代的诗人。当时正处于魏晋之交，社会上一群文士从外表上看放浪、恣纵、旷达、不守礼法，而在他们的内心深处有一份内在的悲哀和痛苦。阮籍的诗寄托深远，而其志气狂放、纵逸，幽微、深隐，蕴藉深厚，在痛苦无人可诉的时候，把零乱、悲苦的内心感情用诗文表现出来

高等职业教育“十三五”公共素质系列教材:健康教育类大学生心理健康教育/夏莹

本书是依据《教育部卫生部共青团中央关于进一步加强和改进大学生心理健康教育的意见》和教育部《普通高等学校学生心理健康教育课程教学基本要求》的文件精神，在对大学生心理健康状况进行多次调查研究和认真总结心理健康教育教学经验的基础上编写的。全书以培养大学生心理素质、提升生命质量为主线，以解决大学生在个体心理发展进程中遇到的心理问题为导向，通篇贯穿“情境教学、任务驱动”的课程建设理念，在选材方面不拘泥于知识体系的完整性，而是遵循大学生身心发展规

淘宝网店运营与推广实务(微课版)/孙莹月

本书是网店运营与推广的全程指南。全书共12章，具体包括做好网上开店的准备、选好货源是成功的靠前步、店铺管理与商品发布、淘宝网店铺商品展示、装修具有特色的精美店铺、出售商品、在淘宝网平台上宣传与推广、在淘宝网平台外进行推广、店铺活动与促销、淘宝网客服与物流、手机淘宝和微商运营及跨境电商运营。 本书可作为高等院校电子商务专业“网店运营”相关课程的教材，也可作为开设网店的初学者的参考书...

叶嘉莹说汉魏六朝诗

九十高龄叶嘉莹先生精心修订 展现一代才女的风华、情怀、风骨 ...

机械基础/孟莹

本书为高职教育基础课学习教材。主要内容包括工程力学、机械原理与机械零件、机械设计三个篇章。工程力学篇介绍了静力学和材料力学，机械原理与机械零件篇介绍了机械系统常用运动机构、螺纹连接与螺旋机构、机械传动及轴系零部件，机械设计篇介绍了机械的润滑与密封及减速器设计。本书每个单元都有单元小结和较为丰富的检测学习效果的思考与练习。本书内容选材适当，实例丰富，选用了近期新的国家标准，文字通俗易懂，既可作为机械类专业的教材，也可作为近机类专业的教材

气排球/李莹

本书根据气排球运动的特点，对其技术中的准备姿势与移动、传球技术、垫球技术、扣球技术、发球技术、拦网技术以及战术等做了详细介绍，同时介绍了气排球运动的教学、训练、各种素质训练等，对指导气排球运动的教学、训练，以及推动气排球运动的开展具有很好积极的作用...

图案设计与应用/赵莹/卓越设计师系列规划教材

本书针对视觉传达设计专业的教学特点，阐述了图案设计训练入门各阶段的步骤、进程，较全面地介绍了图案设计领域的原理、表现手法和形式语言，并且精心收入了招贴、包装、书籍、商业广告、时尚类等多个领域中的很好新锐图案作品。全书内容主要包括图案设计概述、图案传播与符号的视觉理论、图案创意与思维模式、图案创意的形式原理、图案联想与想象、图案创意组织方法等。其中，大量的图例和相应的设计实训课题均具有很高的教学价值，并加以说明与分析，文字简练，内容翔实

美玉生烟-叶嘉莹细讲李商隐-(含光盘)

叶嘉莹教授的新著作，以身试说，讲述自己从十几岁至九十几岁在人生不同阶段对李商隐诗的体悟。 《美玉生烟叶嘉莹细讲李商隐》汇集叶嘉莹一生对李商隐的看法。书稿由四部分组成，主体部分的六讲内容为叶嘉莹2013年在加拿大西门菲莎大学所作李商隐系列讲座的整理稿，附录一为叶嘉莹从诠释学与接受美学角度谈论李商隐的理论文章，附录二为叶嘉莹五六十年代在台湾大学的学生刊物上发表的文章，附录三为近期在南开大学为学生讲李商隐代表作之一《燕台四首》的整理稿。对李

中华书局有限公司迦陵说诗(平装)叶嘉莹说汉魏六朝诗(附音频)/迦陵说诗(平装)

书局在销的“迦陵说诗”（精装）系列因成本过高，遵照领导指示现改为平装出版。本书是诗词鉴赏大家叶嘉莹先生对汉魏六朝时期代表性诗人及其作品的鉴赏评点，叶先生从具体的个体诗人入手，通过对其代表作品的讲解评析，阐述了历史时代、社会现状和诗人个体的身份地位、品性才情对其作品的深刻影响，展示了整个汉魏六朝时期文学的整体风貌以及这一时期诗歌在中国文学目前所占的地位和其承前启后的过渡作用...

分析化学实验/何紫莹

本书内容包括实验基础知识，分析实验室须知，分析实验室基本操作技术在实验操作前让学生深谙实验室规则，培养实事求是的工作精神和科学严谨的职业素养，在进行项目实验前，要熟练掌握基础玻璃仪器的洗涤使用方法，熟悉称量操作和滴定操作，为以后的项目分析做准备；应用实验包括化学分析法的应用、仪器分析法的基本操作与应用，根据滴定反应类型不同，每一类都有基础实验和进阶实验，由浅入深，循序渐进，有助于提高学生分析测试技术基础知识、分析测试实践技能、职业情景

新编工程英语/王莹

该教材的编写以“实用为主，够用为度，以应用为目的”的指导原则，内容全面实用，共8个主题单元，每个单元分为专业词汇（speterms）和实用句型（sentencepatterns)，情景对话（situationalconversation）和扩展阅读(extendingreading)三部分。本教材紧密结合职业要求，且站在专业的前沿，紧密地与生产实际相连，与相关市场的接轨，同时渗透职业素质的培养。本书适合工程类本、专科学生使用，也可供涉

多面折射的光影-叶嘉莹自选集

《多面折射的光影：叶嘉莹自选集》是“南开跨文化交流研究丛书”之一，分论诗文稿三篇、论词文稿三篇、杂文四篇、各体创作选录四部分。收录作者叶嘉莹文学评论文章和诗词作品等。具体有：《谈古典诗歌中兴发感动之特质与吟诵之传统》、《谈浙西词派创始人朱彝尊之词与词论及其影响》、《题羡季师手写诗稿册子（一九四四年夏）》等...

周玉莹-中国当代名家画集

中国画是世界绘画中的一个庞大的体系，它代表着一种自身的精神意识和文化系统，与西方传统的理性绘画和现代的非理性绘画，都有所不同。西方传统理性绘画强调外向的观察，反映在造型上体现具象写实的相似，本质上是自然客体的再现。现代的非理性绘画则强调自我主体的表现，在造型上采取抽象变形

房莹时装作品

本书积集了设计师房莹一路走来的所有经典作品，完美的作品设计体现了设计师房莹对时装的认识及时尚的探索。在作品中，作品大量呈现了中国丝绸在服装中的和谐运用及设计，设计师运用巧妙的设计及手法来增加丝绸的时尚感和表现力，同时在风格上坚持了对本土文化的挖掘、诠释及弘扬...

化学分析检验技术(李丹莹)(含学生工作页)

全书共包括六个模块，分别是导论、酸碱滴定分析技术、氧化还原滴定分析技术、配位滴定分析技术法、沉淀滴定分析技术和重量分析技术。主要对化学分析中各类分析方法的基本原理、特点、应用领域及近期新进展等做了介绍...

一瓣心香——叶嘉莹先生诗词论稿

本书是叶嘉莹先生的诗词论稿，书中讲述了叶先生与莲花及佛法的因缘，探讨了中国词体的起源与特美，论及中印文化交流对中国诗歌的影响，并“别求新声于异邦”谈到西方文论与中国词学。书的最后还记录了叶先生诗中的梦与梦中的诗，并以九十岁的回眸生动展现了先生诗词一生的心路历程...

中文分级阅读八年级:叶嘉莹:爱上古诗词的九堂课

该书为中国古典诗词研究专家叶嘉莹先生关于“中国古典诗词赏析及吟诵”系列讲座的纪录稿，囊括古典诗词的重要类型和重要作品，主要包括“说诗忆往、《诗经》四言体、《楚辞》与楚歌体、乐府诗、五言绝句、五言律诗、五言古诗和五言排律、令词、长调”等九个内容。脉络清晰，内容充实，文字典雅动人，讲述深入浅出，对古典诗词的赏析和诠释见解独到，更有对诗歌吟诵的亲切讲解，是一部不错的、关于中国古典诗歌史的通识读本，有助于青少年了解传统诗词...

暗杀大师-秘密仆人

◆横扫37国的重磅悬疑小说！ ◆“暗杀大师”系列的狂热粉丝已遍布美国、英国、法国、德国、西班牙、葡萄牙、意大利、以色列、丹麦、匈牙利、捷克、斯洛伐克、波兰、克罗地亚、保加利亚、巴西、韩国、泰国、越南等37个国家！ ◆已连续17年稳居《纽约时报》畅销榜，8次摘得桂冠！ ◆Goodreads口碑爆表，好评率高达98%！ ◆真正属于我们这个时代的英雄传说！征服亿万读者的伟大角色——“暗杀大师”加百列·艾隆，又回来了。 ◆好莱坞争抢电影改编权

看图开心学 说话

本书从看图说一个短语、一句话、几句话、一段话逐级训练, 直到看图说一个完整的故事, 共分五章帮助儿童训练看图说话。每节课都设一个主题, 配有生动活泼的图片, 贴近儿童生活, 使儿童能轻松快乐地学习看图说话。儿童认真学习本书, 定会大大提高看图说话的能力...

30000个西瓜逃跑了

脑洞大开！一本从头到尾让人目瞪口呆的绘本！ 故事发生在一个静悄悄的夜晚。 “加油，大家快跟上！” 不得了了，30000个西瓜从瓜田里逃跑了！ “1、2、3、4，咕噜咕噜……” “2、2、3、4，咕噜咕噜……” 它们到底要逃到什么地方去呢...

信号与系统仿真教程及实验指导

本书采用篇章式结构，与理论课程紧密相关。本书分为仿真基础篇、仿真实现篇、基本实验篇和进阶实验篇四部分。仿真基础篇主要介绍MATLAB软件的编程原理和技巧，包括第1~3章。仿真实现篇主要介绍信号与系统课程重要知识点的仿真实现，包括第4～8章。基本实验篇主要介绍11个仿真实验和4个硬件实验，包括第9~11章。进阶实验篇主要介绍10个具有明确科研背景的综合及设计性实验，对应第12章。第13章为拓展阅读。 本书可作为“MATLAB编程与工程

办最赚钱的杂志-对话英国名刊主编

亲兴杂志市场一般是国际办刊理念竞逐的场所，而崔莹这本书中介绍的英国杂志出版社者的观点，将进一步丰富这个市场的出版理念。随着这理念的逐渐被接受，我相信它们会实实在在影响我们这些办刊者，从而影呼中国杂志业的简单。 ——朱学东《南风窗》总编辑　　从所涉杂志的广泛性、代表性上看，此作应算是我国介绍英国杂志产业的第一本，其价值不言而喻。细读一

Illustrator&Photoshop实用服饰图案

本书是利用计算机平面设计软件Photoshop和Illustrator进行图案和服饰图案设计绘画的实用书籍。全书共分四篇：第一篇是通过Photoshop和Illustrator绘制图案及服饰图案的绘制步骤；第二篇主要介绍图案及服饰图案的基础知识，介绍Photoshop和Illustrator进行图案及服饰图案的...

建筑工程造价

本书系统阐述建设工程造价的基础知识，工程造价构成，工程造价计价原理、计价依据，重点介绍工程量清单及工程计量的原理与方法。对投资估算、设计概算、施工图预算和招标人预算等相关知识进行了介绍。对建筑工程施工招标投标及承包商投标报价作了较详细的论述。 本书可作为工程管理、土木工程等专业的教材，也可供建筑工程造价从业人员参考...

建筑形态学

本书用全新的理念，较系统地论述了有生命的建筑如何与人对话；怎样营造氛围；建筑形态的各元素、要素如何发挥作用、展现姿色等。 ...

人生哲理枕边书经典大全集

《人生哲理枕边书经典大全集》是编者符文军、卢佳莹参考大量的成功学书籍和励志杂志精编而成的。全书共搜集经典故事500多个，每一个故事的背后都蕴藏着深刻的哲理，这些哲理涉及到了人生的方方面面，是一部尽览人生哲理的故事书。 《人生哲理枕边书经典大全集》（21世纪10 年精选）所辑文字明了简洁，灵气十足，具有经典故事短小精练、情节简单、可读性强、通俗易懂的独特魅力。每个故事之后的智慧小语也极富灵气，犹如一股股清泉悄然渗入读者的心田，读

会计电算化实训教程

全书共分为八章，主要内容包括：会计电算化基础知识；会计电算化的实施和管理；电算化会计信息系统的分析与设计；用友ERP-U8的系统管理和基础设置等...

做最职业的记者-对话英国名记者

本书是《办最有钱的杂志》、《做最创意的节目》的姊妹篇。年轻女记者崔莹深入采访了20个英国著名的记者，包括政治记者、财经记者、战地记者、娱乐记者、社会记者、专栏作家、摄影记者等，这些记者曾多次获得英国新闻界的奖项，甚至因为个人的报道而被告上法庭，被绑架，成为有“新闻”的记者。对话内容围绕对方的新闻从业经历，采访技巧，个人新闻理念，新闻价值观，并结合具体的报道案例，呈现给读者最原汁原味的西方记者形象。附有新闻实务涉及，记者档案，推荐阅读，

生化医农类-高等数学-下册-修订版

本册内容包括：多元函数微分学、重积分、曲线积分与曲面积分、无穷级数、常微分方程...

思想道德修养与法律基础课案例式专题教学教师用书

成衣设计-案例篇

在国外很多曾经以定制为主的高级时装品牌，为了扩大规模和市场，都推出了高级成衣。与成衣相比，高级成衣的版型、规格更多一些。面料更考究，采用一些高成本的面料，在制作工艺、装饰细节上更讲究，甚至会有一定手工的加入。大大加重设计师的成分，讲究品牌风格和理念。并有明确的客户群(比如白领、职员等)。所以，本书从不同服种的“历史渊源和发展演变”、“产品案例设计分析”、“国内市场及国际相关品牌案例”三个方面，对衬衣、裤子、裙子、连衣裙、套装、西服、大

古汉语入门-含练习参答案.录音MP3

新编国际贸易实务

本书介绍了国际贸易实务涉及的相关内容。全书共分14章，论述国际货物贸易的特点，商品的品名、品质、数量和包装，国际贸易术语，国际贸易货物运输，国际货物运输保险，国际贸易支付工具，商业信用证，其他支付方式，进出口商品的价格与核算，报关实务与商品检验，进出口合同的商订和履行，商业信用证及其单据审核，索赔、不可抗力和仲裁，国际贸易方式等内容。在第1版的基础上，本书有针对性地拓宽了知识领域，对案例、引用资料等进行了更新，反映了国际贸易惯例和

电子商务英语

本书是一部关于电子商务的专业英语教材，内容涉及电子商务管理、技术与应用等各个方面，旨在培养与提高学生阅读理解和翻译电子商务英语文献的能力。所选材料全部来自原版资料，包括有关教科书内容、期刊论文、美国大学电子商务专业课程设置与研究领域以及国际电子商务专业期刊的简介等，反映了电子商务发展的最新研究成果。　　 本教材适合高等院校电子商务及相近专业的本科、高职、高专学生使用，也可供研究生及广大电子商务工作者学习和参考...

水质工程实验技术与应用

本书分为基础篇与技术篇，系统、翔实地介绍了水质工程学的实验技术与应用。在基础篇中，详细讲解实验设计与数据分析、样品测定及仪器使用方法等；在技术篇中，分别介绍了物理化学处理实验和生物处理实验。本书内容涵盖了给水处理、污水处理领域的主要实验技术。特别是在本书的第6章中，重点介绍了体现水处理领域研究热点的研究型实验，包括短程硝化反硝化、同步硝化反硝化、反硝化除磷等脱氮除磷理论在sbr工艺、氧化沟工艺、muct等工艺中的应用；污泥膨胀、污泥好

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

本书选取并介绍了三种代表性的形式化方法，它们分别是以集合论和一阶谓词演算为基础的z语言，以时态逻辑为基础的xyz，还有以直觉数学学派为基础的类型理论。 本书既可以作为计算机专业的研究生的形式化课程教材，又可以用作专业人员的参考书。虽然真正从事形式化方面的工作的人员不多，但是有必要通过对该课程的学习，使学生在理论、技术和方法上都得到了系统而有效的训练，有利于提高软件人员的素质和能力...

机械制图

本书是根据《普通高等院校工程图学课程教学基本要求》，结合机械类专业的特点，采用最新的有关制图国家标准编写而成的。本书内容经过悉心的组织与精选，力求文字简练、通俗易懂、图文并茂。教材注重分析解题的思路和作图步骤，从而培养学生阅读和绘制工程图样的基本能力和空间想象能力。 本书主要有以下几方面的特点。 1.在内容和结构体系上进行了一定的调整，内容以实用为目的，以突出培养学生画图能力和读图能力为主线。根据画图与读图实际需要

建设工程招标投标

本书在简介了建设工程招标投标制度与相关法规的基础上，重点讲述施工招标与投标，探讨了施工招标文件、评标方法等问题，详细介绍了施工投标决策与策略、施工合同及风险管理。本书还介绍了设计、监理、设备、材料招标与投标的基本知识。本书可作为工程管理及土木工程专业教材，也可用作招标投标从业人员理论培训用书或实际操作指南。 本书首先简要介绍国内外常用的建设工程交易模式，分析建设工程交易费用的构成，以及招投标在建设管理过程中的重要意义，并从招投标相