资源列表
[其他小程序] 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> 在 2024-09-28 上传 | 大小:1024 | 下载: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> 在 2024-09-28 上传 | 大小:1024 | 下载:0
[其他小程序] minus1topower
说明:Gray scale for digital Image Processing MATLAB code<Faisal> 在 2024-09-28 上传 | 大小:1024 | 下载:0
[其他小程序] while-language
说明:Haskell code defining syntax und semantics of the "while language" with welltyped predicates. Inspired by "Semantics With Applications" (Nielson).<sidhappens> 在 2024-09-28 上传 | 大小:1024 | 下载:0
[其他小程序] BatteryManagerC
说明:Sensing Android phones Battery level<jithesh> 在 2024-09-28 上传 | 大小:1024 | 下载:0
[其他小程序] Excel-connect-SAP
说明:Excel连接SAP脚步语音从而实现SAP自动化-Excel connect SAP<guo> 在 2024-09-28 上传 | 大小:1024 | 下载:0
[其他小程序] MarkingBoundaryDoubleRSU_VanetNode_Interaction.ra
说明:Marking Boundary Double RSU Vanet Node Interaction<mahdi> 在 2024-09-28 上传 | 大小:1024 | 下载:0
[其他小程序] MarkingBoundarySingleRSU_VanetNode_Interaction.ra
说明:Marking Boundary Single RSU Vanet Node Interaction<mahdi> 在 2024-09-28 上传 | 大小:1024 | 下载:0