欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
重定向页列表
下面显示从第71条结果开始的50条结果。
查看（前50个 | 后50个）（20 | 50 | 100 | 250 | 500）
- 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
- CGI → Common Gateway Interface
- CMS → CMS Portal
- CMS Portal → CMS and Portal
- CPP → CPlusPlus
- CPlusPlus → C++
- C Plus Plus → CPP
- Cacti (software) → Cacti
- Cairngorm (Flex framework) → Cairngorm
- Cassandra → Apache Cassandra
- CeltiXfire → Apache CXF
- CentAS1 → CentAS
- CentERP → OpenERP
- Cheetah → CheetahTemplate
- Cherokee (Webserver) → Cherokee
- Chromium (web browser) → Chromium
- Chubby Distributed Lock Service → Distributed lock manager
- Chukwa → Apache Chukwa
- Cisco Systems → Cisco
- Citadel (software) → Citadel
- Clam AntiVirus → ClamAV
分享您的观点
