资源列表
[其他小程序] fl-language_typed
说明：Prolog code defining syntax und semantics of the "factorial language" with welltyped predicates. Inspired by "Semantics With Applications" (Nielson).-Prolog code defining syntax und semantics of the "factorial languag<sidhappens> 在 2025-02-02 上传 | 大小：2kb | 下载：0
[其他小程序] simple_lambda
说明：Prolog code defining syntax und semantics of the lambda calculus (simple and untyped)-Prolog code defining syntax und semantics of the lambda calculus (simple and untyped)<sidhappens> 在 2025-02-02 上传 | 大小：1kb | 下载：0
[其他小程序] while-language_v2
说明：Prolog code defining syntax und semantics of the "while language" with welltyped predicates. Inspired by "Semantics With Applications" (Nielson).-Prolog code defining syntax und semantics of the "while language" with<sidhappens> 在 2025-02-02 上传 | 大小：1kb | 下载：0
[其他小程序] jiujimokuai
说明：这是一个通用型的文件，很适合新手使用，谢谢大家的支持。-This is a universal file, it is suitable for novices to use, thank you for your support.<江先生> 在 2025-02-02 上传 | 大小：225kb | 下载：0
[其他小程序] minus1topower
说明：Gray scale for digital Image Processing MATLAB code<Faisal> 在 2025-02-02 上传 | 大小：1kb | 下载：0
[其他小程序] Chapter01-Art
说明：MATLAB CODE FOR DIGITAL IMAGE PROCESSING COURCE<Faisal> 在 2025-02-02 上传 | 大小：3.81mb | 下载：0
[其他小程序] while-language
说明：Haskell code defining syntax und semantics of the "while language" with welltyped predicates. Inspired by "Semantics With Applications" (Nielson).<sidhappens> 在 2025-02-02 上传 | 大小：1kb | 下载：0
[.net编程] Chart_sample1.3
说明：WPF做的曲线控件，实现放大缩小等功能，欢迎学习交流-Curve Control WPF do, zoom and other functions to achieve<张旭> 在 2025-02-02 上传 | 大小：287kb | 下载：0
[驱动编程] hot_folder_print_port_monitor
说明：用于将打印内容输出到hot folder的端口监视器，打印机驱动适用-print monitor use to save print data to specific hot folder<wanbo> 在 2025-02-02 上传 | 大小：166kb | 下载：0
[.net编程] selectcourse
说明：学生自治选课系统，数据库采用sqlserver-Student government elective system<shuqc> 在 2025-02-02 上传 | 大小：2.16mb | 下载：0