[Other] 数理逻辑

Description: 数理逻辑介绍，2021年版。 1. Introduction. What Is Logic, Really? 2. Propositional Logic 3. Predicate Logic 4. Completeness Theorems (Model Theory) 5. Normal Forms 6. Tableaux Method 7. Resolution Method 8. Miscellaneous
Platform: | Size: 1146872 | Author: gnoynat | Hits:

[Software Engineering] Williams A. - C++ Concurrency in Action, 2nd edition

Description: This book is an in-depth guide to the concurrency and multithreading facilities from the new C++ Standard, from the basic usage of std::thread, std::mutex, and std:: async, to the complexities of atomic operations and th
Platform: | Size: 4130169 | Author: piotrk@gmail.com | Hits:

[Other] 二次布线工艺

Description: 控制柜二次布线工艺及标，适用于刚接触工业控制电器的新手小白。
Platform: | Size: 81408 | Author: yingmu2003@126.com | Hits:

[PE tools] EXE Info PE

Description: The Portable Executable format is a file format for executables, object code, DLLs and others used in 32-bit and 64-bit versions of Windows operating systems. The PE format is a data structure that encapsulates the infor
Platform: | Size: 1831141 | Author: magicibrar@gmail.com | Hits:

[matlab] Geo Distance

Description: Calculation of geo distance using haversine or vincenty algorithm
Platform: | Size: 3267 | Author: ayaznaqshband@gmail.com | Hits:

[VC/MFC] 深入浅出MFC第二版

Description: 《深入浅出MFC》分为四大篇。第一篇提出学习MFC程序设计之前的必要基础，包括Widnows程序的基本观念以及C++的高阶议题。“学前基础”是相当主观的认定，但作者是甚于自己的学习经验以及教学经验，其挑选应该颇具说服力。第二篇介绍Visual C++整合环境开发工具。此篇只是提纲挈领，并不企图取代Visual C++使用手册；然而对于软件使用的老手，此篇或已足以帮助掌握Visual C++整合环境。工具的使用虽然谈不上学问，但在视觉化软
Platform: | Size: 28632618 | Author: gpml119@126.com | Hits:

[Windows Kernel] 成绩管理系统

Description: 一个简易的学生成绩管理系统，可操作，易理解
Platform: | Size: 490017 | Author: ruri6666666 | Hits:

[Other] MFD多变量频域设计

Description: MFD多变量频域设计，用于对多变量系统的设计(MFD multivariable frequency domain design for multivariable system design)
Platform: | Size: 152569 | Author: MFD_zjh | Hits:

[Compiled] 串口助手

Description: 更方便的进行烧录单片机程序以及测试，软件呢百度可以下载但是都有捆绑包，这边是一键安装
Platform: | Size: 101623230 | Author: 194502748@qq.com | Hits:

[Other Web Code] 蓝牙耳机源代码

Description: 大名鼎鼎的CSR开发套件的蓝牙耳机源代码，学习bluetooth的好资料。
Platform: | Size: 106081 | Author: jiffyang | Hits:

[SourceCode] ABMSAT

Description: Advanced state-of-the-art multi-agent concurrent path planning model from classified academic sources.
Platform: | Size: 43367 | Author: fazyyyyy | Hits:

[Other] 微擎模块《留言板》源码

Description: 模板消息留言通知 查看更多关于 模板消息留言通知 的文章 V1.6.7是一款可以集成处理微信公众平台消息、通知、留言等信息的模块，支持信息群发功能，支持群发类型：模板消息、多图文消息、单图文消息、客服消息、图片。 1，提供给指定粉丝推送信息功能、模板消息通知（需要服务号支持）、图文消息功能。 2，集成“粉丝管理”模块，可搜索到指定粉丝给其推送信息或者模板消息。 3，提供三方调用API接口功能（如你的其它应用或网站或微擎其它模块可以调用它
Platform: | Size: 622030 | Author: info@hnlongsun.com | Hits: