可满足性

可满足性（satisfiability）是1993年公布的数学名词。

资源总数
500

可满足性 热门资料

查看全部 500 份 →

在强调正确性、可移植性和可维护性的基础上，对C语言的具体细节、运行库以及C语言编程风格做了完整、准确的描述。本书涵盖了传统C语言、C89、C95、C99等所有C语言版本的实现，同时讨论了C++与C语言兼容的部分。全书自上而下介绍了C语言的词...

2014-01-21 72 可满足性

网络可靠性，C#描述网络可靠性，C#描述网络可靠性，C#描述网络可靠性，C#描述

2014-11-04 125 可满足性

这是大批量生产PCB组装时用到的开发技术，当日产上万片PCB时，小做坊式的工厂就吃不消了。只有通过高速贴片机来实现了，但是设计PCB时应该注意的细节还真不少……

2023-10-18 5 可满足性