Practical.Foundations.for.Programming.Languages.2nd

This text develops a comprehensive theory of programming languages based on type systems and structu

Practical Foundations for Programming Languages

This text develops a comprehensive theory of programming languages based on type systems and structu

Quantum Computation and Logic

Quantum Computation and Logic: How Quantum Computers Have Inspired Logical Investigations (Trends in

LOGIC IN COMPUTER SCIENCE Modelling and Reasoning about Systems

英文原版 Preface to the second edition Our motivation for (re)writing this book One of the leitmotifs of

时态逻辑方法

1. Contract-based design 2. Temporal Logics 3. Contract-based design with temporal logics 4. OCRA: t

handbook of spatial logics

这是关于空间逻辑的电子书，一千多页的巨著，经典著作，英文版

SAP interface

One of the primary challenges of SAP implementation process has been integrating SAP with the other

WitCustomControlSetup2017.7z

修改tfs的Work Item Tracking vs2017插件 Custom controls is a feature in TFS. It allows customer developed

霍尼韦尔Honeywell 楼宇自控 DDC编程 CARE 7.01

以前在Honeywell德国网站下载的 Improved 3rd party LON support  CARE Controlled Flow Parameters moved to LonWor

人工智能逻辑描述逻辑.pptx

2019/12/11;描 述 逻 辑 Description Logics;2019/12/11;2019/12/11;2019/12/11;2019/12/11;2019/12/11;2019/12

人工智能原理Principles of Artificial Intelligence.ppt

Outline 3.1 经典逻辑 3.2 定理机器证明和逻辑程序设计语言 3.3 非单调逻辑 3.1 经典逻辑 命题逻辑 一阶谓词逻辑 逻辑Logics 逻辑是一种用来表示信息的形式语言根据所表示的信

第二章人工智能逻辑第二部分.pptx

第二章 人工智能逻辑第二部分描 述 逻 辑 Description Logics主要内容 什么是描述逻辑 为什么用描述逻辑 描述逻辑的研究进展 描述逻辑的体系结构 描述逻辑的构造算子 描述逻辑的推理问

OMG 本体定义元模型 V1.1 英文版

Ontology Definition Metamodel V1.1.pdf There are several compliance points distinguished for the Ont

VB编程资源大全（英文源码 表单）

1 , manc-skinex.zip This is an example of how to add skins to your program.<END> 2 , irregularForms.

Security in Computing Systems 2009

Security in Computing Systems xx Table of Contents 2.3 3.2.4 Computing3.13.23.32.2.7 Confidentiality

jd抢购茅台脚本文件

抢购茅台抢购茅台抢购茅台

python 随机森林算法及其优化详解

主要介绍了ptyhon 随机森林算法及其优化详解,文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下

Android开发入门60个小案例+源代码

适合初学者，大量简单小例子，完整源代码。

图书管理系统（Java + Mysql）我的第一个完全自己做的实训项目

图书管理系统 Java + MySQL 完整实训代码，MVC三层架构组织，包含所有用到的图片资源以及数据库文件，大三上学期实训，注释很详细，按照阿里巴巴Java编程规范编写

2021CFA一级Notes1-5（完整版）.zip

2021CFA一级Notes1-5（完整版），有5本pdf。