资源列表
[软件工程] Embedded-class-based-survey
说明:嵌入式课设调查报告关于条形码阅读器条形码相关基础知识 -Class-based survey embedded barcode reader barcode on basic knowledge<fengle> 在 2025-01-13 上传 | 大小:185kb | 下载:0
[软件工程] multi-robot-path-planning-algorithm
说明:一种新型协作多机器人路径规划算法, 人工智能方向论文~看看很有帮助-A novel cooperative multi-robot path planning algorithm<fannie> 在 2025-01-13 上传 | 大小:816kb | 下载:0
[软件工程] MicroSoft-CSP-CryptoAPI
说明:Cryptographic Service Provider (简称CSP)是Microsoft 公司用来在Windows平台上提供第三方加密模块的接口标准。一个SP 模块包含了一些标准加密算法的实现,是API 函数的具体执行者,同时CSP 模块也提供了密钥的安全存储和使用机制。-Cryptographic Service Provider (referred CSP) is the Microsoft Windows platform<xiadaga> 在 2025-01-13 上传 | 大小:303kb | 下载:0
[软件工程] pkcs-11v2-20d3
说明:在密码系统中,PKCS#11是公钥加密标准(PKCS, Public-Key Cryptography Standards)中的一份子 ,由RSA实验室(RSA Laboratories)发布[1],它为加密令牌定义了一组平台无关的API ,如硬件安全模块和智能卡。 PKCS#11称为Cyptoki,定义了一套独立于技术的程序设计接口,USBKey安全应用需要实现的接口。 -In cryptography, PKCS# 11 i<xiadaga> 在 2025-01-13 上传 | 大小:299kb | 下载:0
[软件工程] CPP-GUI-QT4-
说明:Qt是一个1991年由奇趣科技开发的跨平台C++图形用户界面应用程序开发框架。它既可以开发GUI程式,也可用于开发非GUI程式,比如控制台工具和服务器。Qt是面向对象的框架,使用特殊的代码生成扩展(称为元对象编译器(Meta Object Compiler, moc))以及一些宏,易于扩展,允许组件编程。-Qt is a Trolltech developed in 1991 by C++ cross-platform graphica<xiadaga> 在 2025-01-13 上传 | 大小: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<research> 在 2025-01-13 上传 | 大小: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-01-13 上传 | 大小:1.31mb | 下载:0