"类型系统"相关书籍

很抱歉,没有找到相关图书

小编已在寻找书籍的路上~

相关书籍
刑法立法类型化研究 电子书
本书以“刑法立法类型化”为主题,开篇对类型思维作为一种立法方法论的问题导向、理论源起、学史综述进行梳理,再围绕刑法类型化改造的功能定位、生成逻辑、边界限度及其实践运用进行具体展开。
缔约过失构成与类型 电子书
本书挖掘了缔约过失的学说起源以及在德国法上的确立与发展,解释了德国法上缔约过失制度产生与扩张的原因;基于缔约过失一般构成,解释出违反保护义务、中断缔约、合同效力阻碍以及过失违反说明义务的缔约过失责任等类型。
特殊类型断指再植技术与实例 电子书
本书是一部实用性很强的图谱性专著,编者参考国内外文献,结合自己多年临床经验和研究成果编写而成。
城市总体规划 电子书
本书介绍了怎样编制城市总体规划,并对城市的起源、发展和城市规划的一些基本概念进行了系统而简要的阐述。全书共分六章,包括绪论、城市总体规划的编制、城市性质、城市规模、城市规划布局、数字化时代的城市总体规划。
计算机系统开发与优化实战 电子书
本书结合ARM、Linux和人工智能,讲述计算机系统软件和硬件开发。
妙趣横生的统计学:培养大数据时代的统计思维(第四版) 电子书
本书教你成为更好的信息消费者,提升批判性和决策思维。