- 博客(1)
- 资源 (6)
- 收藏
- 关注
原创 macbook air 安装双系统windows10手册及避坑技巧
提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文章目录前言 一、pandas是什么? 二、使用步骤 1.引入库 2.读入数据 总结前言mackbook日常作为娱乐使用,还是非常方便的。但是想要用来办公,或者一些专业使用,就没有windows系统方便了。这里和大家分享macbook安装双系统的方法,同时有效解决macbook安装windows系统后,部分硬件无法识别,或者发热严重的情况。提示:以下是本篇文章正文内容,下面案例可供参考一、mac上安.
2021-05-25 22:58:28 7146 4
UPPAAL工具+运行环境(jre1.8)
Uppaal是一个集成工具环境,用于对实时系统建模、验证和验证,该系统被建模为定时自动机网络,并扩展了数据类型(有界整数、数组等)。
该工具由瑞典乌普萨拉大学信息技术系和丹麦奥尔堡大学计算机科学系合作开发。
2022-07-04
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人