欢迎大家赞助一杯啤酒🍺
我们准备了下酒菜:
Formal mathematics
/
Isabelle
/
ML
,
Formal verification
/
Coq
/
ACL2
,
C++
/
F#
/
Lisp
灰狐公开课
来自开放百科 - 灰狐
2017年8月3日 (四) 09:18
Allen
(
讨论
|
贡献
)
的版本
(
差异
)
←上一版本
|
最后版本
(
差异
) |
下一版本→
(
差异
)
跳转到:
导航
,
搜索
灰狐公开课
目录
1
简介
2
分享
3
图集
4
链接
简介
分享
2017.07.31:
如何在开源项目中学到更多
开放博客存档
2017.08:
Odoo
入门与实践
2017.08:
Python
数据分析
与
挖掘
入门实践
2017.09:
openFrameworks
入门与实践
2017.10:
OrientDB
入门与实践 // Multi-Model
NoSQL
Database
变得越来越重要。
2017.11:Python
机器学习
入门与实践
2017.12:Python
深度学习
入门与实践
图集
链接
1个分类
:
Huihoo
分享您的观点
查看该讨论串。
个人工具
登录
名字空间
页面
讨论
变换
查看
阅读
查看源代码
查看历史
操作
搜索
导航
首页
社区专页
新闻动态
最近更改
随机页面
帮助
工具箱
链入页面
相关更改
特殊页面
打印版本
永久链接