Basic Category Theory for Computer Scientists - Benjamin C. Pierce (1).pdf 个人收集电子书，仅用学习使用，不可用于商业用途，如有版权问题，请联系删除！

Automatic Control Systems

Benjamin Graham - The Intelligent Investor [2003 Revised Ed. feat. commentary by Jason Zweig]

全英文版的自动控制理论，第9版。因为受单次上传大小的限制，所以分成3个部分，还请见谅。此为第二部分。 本电子资源仅供业内参考，如有需要还请尊重版权，购买正版书籍。 简介： Automatic Control Systems provides engineers with a fresh new controls book that places special emphasis on mechatronics. It follows a revolutionary approach by actually including a physical lab. In addition, readers will find authoritative coverage of modern design tools and examples. Current mechatronics applications build motivation to learn the material. Extensive use of virtual lab software is also integrated throughout the chapters. Engineers will gain a strong understand of control systems with the help of modern examples and exercises. Amazon原价$208 淘宝5元卖的那种，可以下载了打印

全英文版的自动控制理论，第9版。因为受单次上传大小的限制，所以分成3个部分，还请见谅。此为第一部分。 本电子资源仅供业内参考，如有需要还请尊重版权，购买正版书籍。 简介： Automatic Control Systems provides engineers with a fresh new controls book that places special emphasis on mechatronics. It follows a revolutionary approach by actually including a physical lab. In addition, readers will find authoritative coverage of modern design tools and examples. Current mechatronics applications build motivation to learn the material. Extensive use of virtual lab software is also integrated throughout the chapters. Engineers will gain a strong understand of control systems with the help of modern examples and exercises. Amazon原价$208 淘宝5元卖的那种，可以下载了打印

类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。 要理解类型系统在程序设计语言中发挥的作用，本书将是首选读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度，也注重内容的深度，实用性强。在引入语言的语法对象时先举例，然后给出形式定义及基本证明，在对理论的进一步研究后给出了类型检查算法，并对每种算法都给出了OCaml程序的具体实现。本书对类型理论中的概念都有详细的阐述，为读者提供了一个进一步理论学习的基础。本书内容广泛，读者可以根据自己的需要有选择地深入阅读。 本书适合从事程序设计的研究人员和开发人员，以及程序设计语言和类型理论的研究人员阅读。可作为计算机专业高年级学生、研究生的学习教材。 第1章 引论 1 1.1 计算机科学中的类型 1 1.2 类型系统的优点 3 1.3 类型系统和语言设计 6 1.4 历史概要 6 1.5 相关阅读 7 第2章 数学基础 9 2.1 集合、关系和函数 9 2.2 有序集合 10 2.3 序列 11 2.4 归纳 11 2.5 背景知识阅读 12 第一部分 无类型系统 13 第3章 无类型算术表达式 14 3.1 导论 14 3.2 语法 15 3.3 对项的归纳 17 3.4 语义形式 20 3.5 求值 21 3.6 注释 27 第4章 算术表达式的一个ML实现 28 4.1 语法 28 4.2 求值 29 4.3 其余部分 31 第5章 无类型lambda演算 32 5.1 基础 32 5.2 lambda演算中的程序设计 36 5.3 形式性 43 5.4 注释 46 第6章 项的无名称表示 48 6.1 项和上下文 48 6.2 移位和代换 50 6.3 求值 51 第7章 lambda演算的一个ML实现 53 7.1 项和上下文 53 7.2 移位和代换 54 7.3 求值 55 7.4 注释 56 第二部分 简单类型 57 第8章 类型算术表达式 58 8.1 类型 58 8.2 类型关系 59 8.3 安全性=进展＋保持 61 第9章 简单类型的lambda演算 64 9.1 函数类型 64 9.2 类型关系 65 9.3 类型的性质 67 9.4 Curry-Howard对应 70 9.5 抹除和类型性 71 9.6 Curry形式和Church形式 72 9.7 注释 72 第10章 简单类型的ML实现 73 10.1 上下文 73 10.3 类型检查 74 10.2 项和类型 74 第11章 简单扩展 76 11.1 基本类型 76 11.2 单位类型 77 11.3 导出形式：序列和通配符 77 11.4 归属 79 11.5 let绑定 80 11.6 序对 81 11.7 元组 83 11.8 记录 84 11.9 和 86 11.10 变式 88 11.11 一般递归 93 11.12 列表 95 第12章 规范化 97 12.1 简单类型的规范化 97 12.2 注释 99 第13章 引用 100 13.1 引言 100 13.2 类型化 104 13.3 求值 104 13.4 存储类型 106 13.5 安全性 108 13.6 注释 111 第14章 异常 112 14.1 提升异常 112 14.2 处理异常 113 14.3 带值的异常 114 第三部分 子类型化 119 第15章 子类型 120 15.1 包含 120 15.2 子类型关系 121 15.3 子类型化和类型化的性质 125 15.4 Top类型和Bottom类型 128 15.5 子类型化及其他特征 129 15.6 子类型化的强制语义 134 15.7 交叉类型和联合类型 138 15.8 注释 139 第16章 子类型的元理论 140 16.1 算法子类型化 141 16.2 算法类型化 143 16.3 合类型和交类型 146 16.4 算法类型化和Bottom类型 148 第17章 子类型化的ML语言实现 149 17.1 语法 149 17.2 子类型化 149 17.3 类型化 150 第18章 实例分析：命令式对象 152 18.1 什么是面向对象编程 152 18.2 对象 153 18.3 对象生成器 154 18.4 子类型化 155 18.5 聚集实例变量 155 18.6 简单类 15

苹果MAC OS X Mavericks 10.9.5 (13F34) DMG文件

Forecasting is a common data science task that helps organizations with capacity planning, goal setting, and anomaly detection. Despite its importance, there are serious challenges associated with producing reliable and high quality forecasts - especially when there are a variety of time series and analysts with expertise in time series modeling are relatively rare. To address these challenges, we describe a practical approach to forecasting "at scale" that combines configurable models with analyst-in-the-loop performance analysis. We propose a modular regression model with interpretable parameters that can be intuitively adjusted by analysts with domain knowledge about the time series. We describe performance analyses to compare and evaluate forecasting procedures, and automatically flag forecasts for manual review and adjustment. Tools that help analysts to use their expertise most effectively enable reliable, practical forecasting of business time series.

A type system is a syntactic method for enforcing levels of abstraction in programs. The study of type systems--and of programming languages from a type-theoretic perspective--has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material. The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages. (The full table of contents is available here.)

本书作为UE4的学习书籍，门槛极低（我这样的小白都看得懂），通过一个个小例子对UE4复杂而强大的功能进行了展示，唯一的要求应该是英语好点，不过影响不大，前期多查几个单词也就没什么了。