包内包含：嵌入式网络那些事儿--LwIP协议深度剖析与实战演练；LwIP协议栈的设计与实现_中文译稿；LwIP协议栈源码详解；STM32F4 LWIP开发手册
2021-10-09 15:30:33
41.36MB
1
压缩包合集，内含：
Advanced C++(中文版).pdf
C++Primer第四版中英文对照.chm
C++学习.txt
C++沉思录(中文).pdf
C++语言的设计和演化.pdf
Effective+C++：改善程序技术与设计思维的50个
Exceptional C++(中文版).pdf
More Effective C++(中文版).侯捷.pdf
More Exceptional C++中文版.pdf
stl.pdf
Thinking in C++ 2nd volume1.pdf
深度探索C++对象模型.pdf
2021-09-28 11:09:33
71.25MB
1
我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：Operating System Security (Synthesis Lectures on Information Security, Privacy, and Trust)；Formal_Correctness_of_Security_Protocols；FUNDAMENTALS OF WIRELESS COMMUNICATION；Course in Modal Logic；模态逻辑讲义
2021-09-20 16:38:05
8.28MB
1
我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：Computability and Logic 5th Edition；Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions；Handbook of Philosophical Logic Volume 4；A first course in logic；计算理论简明纲要 (v1.1)
2021-09-20 16:37:46
10.13MB
1
我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：Logic in Computer Science Modelling and Reasoning about Systems；A Second Course in Formal Languages and Automata Theory；Real-Time Systems Formal Specification and Automatic Verification；Computability Theory ；Computational Complexity A Modern Approach
2021-09-20 16:37:22
9.38MB
1
较不错的几本书。
放在一起，以便下载阅读，免去到处搜寻。
Java.Swing,2nd.Edition.rar
Suns+Java+Swing+Tutorial.rar
swing_hack.rar
SwingExtremeTesting.rar
2021-09-19 17:46:31
16.03MB
1