资源列表
[其他小程序] 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