欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
重定向页列表
下面显示从第101条结果开始的50条结果。
查看(前50个 | 后50个)(20 | 50 | 100 | 250 | 500)
- 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
- Click → Apache Click
- CloudStack → Apache CloudStack
- Cloud Computing → Cloud computing
- Cloud Computing/security → Cloud computing/security
- Cocia Lin → 用户:Cocia Lin
- Cocoa (API) → Cocoa
- Cocos2d-x-javascript → Phoneex-cocos2d-x
- Code Aurora Forum → Code Aurora
- Code Igniter → CodeIgniter
- Collaborative Development Dnvironment → Collaborative development environment
- Comet (programming) → Comet
- Compass Project → Compass
- Complex instruction set computing → CISC
- Computer-aided design → CAD
- Computer cluster → Cluster
- Computer security → Security
- Cons → CONS
- Content Delievery Network → Content delivery network
- Continuous Delivery → Continuous delivery
- Continuous Integration → Continuous integration
- Coppermine → Coppermine Photo Gallery
- Cosmos (operating system) → Cosmos
- Cream → Cream (software)
- Customer Relationship Management → CRM
- DAML → DARPA Agent Markup Language
- DB2 → IBM DB2
- DBMail → DBMail IMAP and POP3 server
- DCPlusPlus → DC++
- DDS → Data Distribution Service
- DMLC → MXNet
分享您的观点