[Windows编程] Symbolic_Model_Checking_floc06

说明：Symbolic Model Checking
<Hani> 在 2025-01-25 上传 | 大小：385kb | 下载：0

[其他小程序] survey_1

说明：这是一个基本的调查系统，可以在任何网站上使用。-This is a basic survey system which can be used in any website.
<gloria> 在 2025-01-25 上传 | 大小：385kb | 下载：0

[其他小程序] cad

说明：简易cad，实现了一些cad中的基本功能，vc++编程实现，简单实用-Simple cad, to achieve some of the basic functions of cad in, vc++ programming, simple and practical
<苗锐> 在 2025-01-25 上传 | 大小：385kb | 下载：0

[DirextX编程] DirectX_reference

说明：3D DIRECTX入门基础，内容讲解清楚，通俗易懂-3D DIRECTX entry based on the content of talk clear, easy to understand
<hexin> 在 2025-01-25 上传 | 大小：385kb | 下载：0

[Windows编程] sheji

说明：现实生活中，常常会遇到求最短路径的问题。本设计旨在提供一种解决这类问题的实例，把某一公园的景点与路线抽象成顶点和边，从而构成图，进而解决一系列相关的最短路径，最佳路线等问题。-In real life, often encountered in seeking the shortest path problem. This design is intended to provide a solution to an instance o
<dongdong> 在 2025-01-25 上传 | 大小：385kb | 下载：0

[控制台(字符窗口)编程] Communication1-5

说明：一套用c语言编写的通讯录管理系统，另附用java编写的界面化版通讯录系统。-Communication Managing System writen by C language.
<陈杰> 在 2025-01-25 上传 | 大小：385kb | 下载：1

[.net编程] NUnit

说明：关于.net下nunite测试的一个书籍，欢迎大家下载，互相学习！-About. Net under nunite test a book, welcome to download, learn from each other!
<林喵喵> 在 2025-01-25 上传 | 大小：385kb | 下载：0

[Windows编程] ButtonCLASS

说明：一个好用的按钮类，基于Visual C++6.0编写的，可以实现透明按钮，图标按钮等几乎所有类型的按钮，非常方便易用，内附使用说明。-A handy button class, based on written in Visual C++6.0, you can achieve transparent buttons, icons, buttons, etc. Almost all types of buttons, very easy
<jiutian> 在 2025-01-25 上传 | 大小：385kb | 下载：0

[其他小程序] chazhaoyupaixu

说明：简单的查找与排序，都是些基础的东西，仅供参考-A simple search and sorting, are some basic things, for reference only
<邹龙明> 在 2025-01-25 上传 | 大小：385kb | 下载：0

[其他小程序] wave

说明：atmega 128 wave scope-atmega 128 wave scope
<kang jinni> 在 2025-01-25 上传 | 大小：385kb | 下载：0

[多媒体编程] upload-49aeadabe36e0_Hue

说明：針對圖片做hue調整的示範，只用c++ builder 非常有參考價值-Hue adjustment for the picture to do the demonstration, only c++ builder is very valuable reference
<> 在 2025-01-25 上传 | 大小：385kb | 下载：0

[文件操作] writetotxt

说明：写文件（TXT）的例子，对于新手或许挺有用的。-write txt file
<wuguizhu> 在 2025-01-25 上传 | 大小：385kb | 下载：0