Real-Time Systems and Programming Languages Ada, Real-Time Java and CReal-Time POSIX (4th Edition).pdf

spaCy 用户手册，spaCy是我的自然语言处理（NLP）任务的必备库，系列文档。

WGL文件的说明书，详细介绍了WGL文件的语法格式，可以用来进行参考，或将其转换为ATE测试机的标准格式文件

Many operating systems already include a phpMyAdmin package and will automatically keep it updated, however these versions are sometimes slightly outdated and therefore may be missing the latest features. Additionally, the configuration process varies widely by package and may not adhere to the official phpMyAdmin documentation. That being said, it is usually the quickest and easiest way of keeping an updated installation. Please contact your OS vendor for more information. Some additional information is also available in our documentation. If you just want to try phpMyAdmin in a virtual machine, you might want to check the available software appliances which provide phpMyAdmin.

类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。 要理解类型系统在程序设计语言中发挥的作用，本书将是首选读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度，也注重内容的深度，实用性强。在引入语言的语法对象时先举例，然后给出形式定义及基本证明，在对理论的进一步研究后给出了类型检查算法，并对每种算法都给出了OCaml程序的具体实现。本书对类型理论中的概念都有详细的阐述，为读者提供了一个进一步理论学习的基础。本书内容广泛，读者可以根据自己的需要有选择地深入阅读。 本书适合从事程序设计的研究人员和开发人员，以及程序设计语言和类型理论的研究人员阅读。可作为计算机专业高年级学生、研究生的学习教材。 ------------------------------- P.S. 中文版翻译质量一般，建议同时参考英文版阅读

Essentials of Programming Languages This book is an analytic study of programming languages. Our goal is to provide a deep,working understanding of the essential concepts of program- ming languages. These essentials have proved to be of enduring importance; they form a basis for understanding future developments in programming languages.

The study of type systems—and of programming languages from a type- theoretic perspective—has become an energetic field with major applications in software engineering, language design, high-performance compiler imple- mentation, and security. This text offers a comprehensive introduction to the fundamental definitions, results, and techniques in the area.

phpMyAdmin数据库管理工具

Implementing Domain Specific Languages with Xtext and Xtend(2nd) 英文无水印pdf 第2版 pdf所有页面使用FoxitReader和PDF-XChangeViewer测试都可以打开 本资源转载自网络，如有侵权，请联系上传者或csdn删除 本资源转载自网络，如有侵权，请联系上传者或csdn删除

Understanding Programming Languages by Cliff B. Jones .pdf