资源列表
[软件工程] CPP-GUI-QT4-
说明:Qt是一个1991年由奇趣科技开发的跨平台C++图形用户界面应用程序开发框架。它既可以开发GUI程式,也可用于开发非GUI程式,比如控制台工具和服务器。Qt是面向对象的框架,使用特殊的代码生成扩展(称为元对象编译器(Meta Object Compiler, moc))以及一些宏,易于扩展,允许组件编程。-Qt is a Trolltech developed in 1991 by C++ cross-platform graphical user interface application d<xiadaga> 在 2025-06-29 上传 | 大小:2.82mb | 下载:0
[软件工程] FORMAL-VERIFICATION
说明:Symbolic logic generally supports the reasoning with propositions, i.e., with statements to be evaluated to true or false. Temporal logic is a special branch of symbolic logic focusing on propositions whose truth values depend on time.<research> 在 2025-06-29 上传 | 大小:66kb | 下载:0
[软件工程] AndEnginee-Tutorial-V-
说明:AndEnginee Tutorial 中文版 完美的介绍了AndEngine的基础知识 是开发新手所必备的启蒙老师。-AndEnginee Tutorial Chinese version of the perfect introduction to the basics of the AndEngine is necessary for novice developers teacher.<bihao> 在 2025-06-29 上传 | 大小:1.31mb | 下载:0
[软件工程] Matrix-Keypad-with-MikroC-Library
说明:Matrix Keypad with MikroC Library<wis> 在 2025-06-29 上传 | 大小:225kb | 下载:0
[软件工程] tms320dm365
说明:TI 视频解决方案,DM365 文档资料-TI video solutions, DM365 documentation<俩天> 在 2025-06-29 上传 | 大小:1.04mb | 下载:0