好书天下
大唐御医3
一个外科医生（男）搭着一个内科医生（女）一起穿越了！这样的一对黄金组合来到了贞观九年的大唐，他们的穿越，能改变大唐的什么？ 如果长孙皇后不死，太子承乾还会造反吗？李治还能做皇帝吗？武则天还能站上历史舞台吗？ 随着故事的发展，卫螭的原形毕露。貧嘴、爱装傻、萝莉控、正太控、美女姐姐拧．让他的形象越来越招人爱……其它讨人喜欢的角色更数不过来，李小二陛下、长孙皇后、承乾、兕子、李治...
标签：语义
大唐御医2
搞笑、幽默而又不乏绵绵温情！活宝VS冰雪美人，谁能制服谁，他们又将擦出怎样的火花！现代医学与古代医学的激烈碰撞！ 稀奇事儿，古怪事儿，搞笑事儿，一切尽在穿越小说扛鼎力作——大唐御医！带您小看历史，走进古人的经济、文化、政治和生活状态！ 一个外科医生（男）搭着一个内科医生（女）一起穿越了！这样的一对黄金组合来到了贞观九年的大唐，他们的穿越，能改变大唐的什么？ 如果长孙皇后不死...
大唐御医1
一个外科医生（男）搭着一个内科医生（女）一起穿越了！这样的一对黄金组合来到了贞观九年的大唐，他们的穿越，能改变大唐的什么？ 如果长孙皇后不死，太子承乾还会造反吗？李治还能做皇帝吗？武则天还能站上历史舞台吗？ 随着故事的发展，卫螭的原形毕露。貧嘴、爱装傻、萝莉控、正太控、美女姐姐拧．让他的形象越来越招人爱……其它讨人喜欢的角色更数不过来，李小二陛下、长孙皇后、承乾、兕子、李治...
计算系统的形式语义
计算系统的形式语义是目前计算机科学理论研究的两大方向之一，其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础，为第一章。第二部分包括第二到第五章，概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第三部分包括第六到第九章，概述了形式语义学的现代应用， 分别介绍分布式系统、移动计算和移动通信系...
金丹养生的秘密:《太乙金华宗旨》语译评介
本书是道家修炼养生的宝典，也是道教仙人吕洞宾长生不老之道的秘笈。 由于道家讲究贵生与养生，因而发展出各种不同的炼丹方术，希望藉由修炼而能成道，位列仙班，从而达到乘天地之正，御六气之变，以游无穷者的境界。 本书是一本教你修身养性、修道养生的书籍。所谓有修道，就是在体内炼精化气，炼气化神炼神还虚的丹道之术，也就是修养精、气、神的功夫。其中蕴藏有古代方士关于长生久...
整体论
《整体论：一本购物指南》是美国当代著名（分析）哲学家杰瑞·福多和欧尼·勒炮合作的重要语言哲学著作。 《整体论：一本购物指南》的核心论题是语义整体论。 《整体论：一本购物指南》作者富于洞察地看到，语言哲学中的原子论和整体论之争可以重述为一个形而上学问题-一语义性质究竟是不是非原子性质？从这个观察入手，通过分析几种支持语义整体论的论证（现在看来，也是20世纪出现的几种主要论证）...
疾病如何改变我们的历史
当皇帝患病，病痛会让他做出非理性的决定，甚至由此影响一个王朝的走向吗？当诗人患病，他会写下怎样的诗句？当老百姓患病，又会面临怎样的境地，可以采取哪些措施？历史的车轮往往被不经意的小石子改变方向；疾病，或许就是那颗最常遇见的小石子。本书将疾病和应对疾病的手段作为“读史”的窗口，举凡重大瘟疫、防疫措施、古代医疗系统、长生药与政治、性病与青楼文化、神秘而虚无缥缈的蛊毒与瘴气、古代外科手术尤其...
程序设计语言理论基础
本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同...