资源列表
[其他小程序] uvm-1.1c.tar
说明：UVM test bench source code for verilog development<murali> 在 2025-07-22 上传 | 大小：2.65mb | 下载：0
[其他小程序] 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 language" with welltyped predicates.<sidhappens> 在 2025-07-22 上传 | 大小：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-07-22 上传 | 大小：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 welltyped predicates. Inspir<sidhappens> 在 2025-07-22 上传 | 大小：1kb | 下载：0
[其他小程序] jiujimokuai
说明：这是一个通用型的文件，很适合新手使用，谢谢大家的支持。-This is a universal file, it is suitable for novices to use, thank you for your support.<江先生> 在 2025-07-22 上传 | 大小：225kb | 下载：0
[其他小程序] minus1topower
说明：Gray scale for digital Image Processing MATLAB code<Faisal> 在 2025-07-22 上传 | 大小：1kb | 下载：0
[其他小程序] Chapter01-Art
说明：MATLAB CODE FOR DIGITAL IMAGE PROCESSING COURCE<Faisal> 在 2025-07-22 上传 | 大小：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-07-22 上传 | 大小：1kb | 下载：0