注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. Certified Programming with Dependent Types

  2. This is a book that, from my knowledge, is the best practice book to talk about programing in the industry-strength proof assistant Coq which a dependent type system. It is good start to understand how a dependent type system works, and how a proof

  3. 所属分类：专业指导

  1. C++ Advanced Programming.ppt

  2. C++ Advanced Programming.ppt

  3. 所属分类：C++

    • 发布日期：2017-03-15
    • 文件大小：476kb
    • 提供者：wsx276166228

  1. AdvancedProgramming-ComputerEngineering11:C语言-源码

  2. C语言：结构和样式。 类型，运算符和表达式。 控制流。 功能。 指针，数组和字符串。 结构和动态内存分配。 I / O和文件处理。 特殊运算符。 递归和线程。 Unix环境。

  3. 所属分类：其它

    • 发布日期：2021-03-17
    • 文件大小：20kb
    • 提供者：weixin_42100188

  1. AdvancedProgramming-源码

  2. AdvancedProgramming

  3. 所属分类：其它

    • 发布日期：2021-03-09
    • 文件大小：301kb
    • 提供者：weixin_42144199

  1. AdvancedProgramming-spring2021:由Mojtaba Ostovari提出-源码

  2. 谢里夫工业大学数学科学系 课程说明 本课程介绍使用Java编程语言进行的高级计算机编程。 上课时间和地点 周日和周二13：00-15：00。 该课程实际上在举行。 演讲团队 讲师 ostovari.mojtabagmail.com 助教 日历 请单击此以检查课程日历和所有事件。 讲课 讲座1： 星期日1399/11/26 Course descr iption 讲座2： 1399/11/28星期二Basic programming review 讲座3： 星期日1399/12/0

  3. 所属分类：其它

  1. AdvancedProgramming：每个Programmazione Avanzata的Progetto-源码

  2. 高级编程 Avanzata程序的Progetto

  3. 所属分类：其它

    • 发布日期：2021-02-14
    • 文件大小：91kb
    • 提供者：weixin_42150745

  1. Spring-Advanced-Programming-Spring-20：此存储库包含针对在AAU的Advanced Programming（软件，MSC）课程中创建的可及性游戏的可及性检查器。-源码

  2. 20年Spring高级编程 该存储库在2020年Spring的奥尔堡大学高级编程课程中跟踪我针对考试准备的解决方案。 已知的改进 完全模板化的函数和类中的静态断言

  3. 所属分类：其它

    • 发布日期：2021-02-13
    • 文件大小：10kb
    • 提供者：weixin_42171132