欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
重定向页列表
下面显示从第51条结果开始的50条结果。
查看（前50个 | 后50个）（20 | 50 | 100 | 250 | 500）
- Apache ofbiz medical system → Apache ofbiz health management
- Apache ofbiz solutions → E3 ofbiz
- Apatar Data Integration/ETL → Apatar
- Appia → Appia framework
- Apple Inc. → Apple
- Apricot → Yo Frankie!
- Aranea → Aranea framework
- Ares → Ares Galaxy
- Arora (browser) → Arora
- Asterisk (PBX) → Asterisk
- Atlassian JIRA → JIRA
- Aurora → Auroramixer
- Autonomous car → Self-driving car
- Awk → AWK
- Azure Services Platform → Windows Azure
- Azureus → Vuze
- BASIC programming language → BASIC
- BDB → Berkeley DB
- BEA → BEA Systems
- BEA JRockit → JRockit
- BT → BitTorrent
- BackTrack → Kali Linux
- Bash (Unix shell) → Bash
- Bazaar (software) → Bazaar
- Beowulf (computing) → Beowulf
- Beowulf Cluster → Beowulf (computing)
- BerkeleyDB → BDB
- Berkeley Software Distribution → BSD
- Bespin → Mozilla Skywriter
- Big Buck Bunny → Durian
- Big Sister (software) → Big Sister
- Blender (software) → Blender
- Blender Architecture → Blender/developer
- Blogs/ → Blogs
- Bluefish → Bluefish (text editor)
- Boa → Boa Constructor
- Boa (web server) → Boa Webserver
- Bonita → Bonita BPM
- Boost C++ Libraries → Boost
- Bricolage (software) → Bricolage
- Browser Game → Browser game
- BuildBot → Buildbot
- Business Intelligence → Business intelligence
- Business Process Execution Language → BPEL
- Business Process Management → BPM
- Business process management → BPM
- C → C programming language
- C++0x → C++11
- CDN → Content Delievery Network
- CDS Invenio → Invenio
分享您的观点
