欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
重定向页列表
下面显示从第151条结果开始的50条结果。
查看（前50个 | 后50个）（20 | 50 | 100 | 250 | 500）
- DWR (Java) → DWR
- Daisy (software) → Daisy
- Dalvik (software) → Dalvik
- Dalvik Virtual Machine → Dalvik
- Darkstar → Project Darkstar
- Darwin (operating system) → Darwin
- Data Center → Data center
- Data Mining → Data mining
- Data Warehouse → Data warehouse
- Data Warehouses → Data Warehouse
- Dbpedia.org → Dbpedia
- Debian Install OpenOffice2 → Install OpenOffice On Debian
- Deep learning on HDP → Machine learning on Hadoop
- Dell PowerEdge 2850 → Dell PowerEdge
- Democracy → Miro (software)
- Derby → Apache Derby
- Dev-CPP → Dev-C++
- Dev-CPlus → Dev-CPlusPlus
- Dev-CPlusPlus → Dev-CPP
- Dia (software) → Dia
- Distributed Object Computing → Distributed object
- Distributed Shared Memory → Distributed shared memory
- Dj i robot → DJ I Robot
- Django web framework → Django
- Doctrine Project → Doctrine
- Dojo → Dojo Toolkit
- Domain-specific language → DSL
- Donate to huihoo → 赞助灰狐
- DotNetNuke → DNN
- Download → File Sharing
- DragonflyBSD → DragonFlyBSD
- Drizzle (database server) → Drizzle
- Druid.io → Apache Druid
- Dubbo → Apache Dubbo
- Dynamic Host Configuration Protocol → DHCP
- Dynamo (storage system) → Dynamo
- Dyne:bolic → Dyne:bolic GNU/Linux
- E-Commerce → E-commerce
- E-Learning → E-learning
- E3.NET → E3
- E3 BPM → E3 BPM & ODM
- E3 HRMS → E3 HR
- E3 app → E3 mobile
- E3 blockchain → Huihoo blockchain
- E3 chat → Odoo chat
- E3 language → E language
- E3 shop → E3 eCommerce
- E3 weixin → Odoo weixin
- EMule Morph → MorphXT
- ESB功能 → ESB Functions
分享您的观点
