欢迎大家赞助一杯啤酒🍺
我们准备了下酒菜:
Formal mathematics
/
Isabelle
/
ML
,
Formal verification
/
Coq
/
ACL2
,
C++
/
F#
/
Lisp
灰狐咨询
来自开放百科 - 灰狐
2017年11月16日 (四) 04:14
Allen
(
讨论
|
贡献
)
的版本
(
差异
)
←上一版本
|
最后版本
(
差异
) |
下一版本→
(
差异
)
跳转到:
导航
,
搜索
灰狐咨询
目录
1
简介
2
咨询范围
3
咨询师
4
案例
5
链接
简介
咨询范围
开放的企业文化、打造开放式组织,企业开源、开放战略咨询;
IT基础设施架构、基础设施自动化、
PaaS
、
DevOps
、
CI
/
CD
;
数据科学
、
大数据
、
人工智能
;
项目管理、研发管理;
开源软件企业内训,
值得关注的开源软件推荐
;
开源电商ERP/CRM/SCM/HR企业应用
;
编译器
、
虚拟机
、
编程语言
设计、
Racket
;
企业技术顾问。
咨询师
Allen
案例
链接
红帽咨询
1个分类
:
Huihoo
分享您的观点
查看该讨论串。
个人工具
登录
名字空间
页面
讨论
变换
查看
阅读
查看源代码
查看历史
操作
搜索
导航
首页
社区专页
新闻动态
最近更改
随机页面
帮助
工具箱
链入页面
相关更改
特殊页面
打印版本
永久链接