欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
未归类分类
下面显示从第601条结果开始的50条结果。
查看(前50个 | 后50个)(20 | 50 | 100 | 250 | 500)
- 分类:OpenOffice
- 分类:OpenProject
- 分类:OpenSSL
- 分类:OpenSUSE
- 分类:OpenShift
- 分类:OpenSocial
- 分类:OpenSolaris
- 分类:OpenStack
- 分类:OpenVZ
- 分类:Open content
- 分类:Open government
- 分类:Opera
- 分类:Operating system
- 分类:Operating system security
- 分类:Oracle
- 分类:Orchard
- 分类:OrientDB
- 分类:Orleans
- 分类:Oro
- 分类:Outsourcing
- 分类:P2P
- 分类:PCB
- 分类:PCLinuxOS
- 分类:PDF
- 分类:PEAR
- 分类:PHP
- 分类:PHP Framework
- 分类:PKI
- 分类:PLM
- 分类:POJO
- 分类:POS
- 分类:POSIX
- 分类:Package
- 分类:Parallel computing
- 分类:Parse
- 分类:Pascal
- 分类:Payment
- 分类:Pentaho
- 分类:Performance
- 分类:Perl
- 分类:Perl software
- 分类:Persistence
- 分类:Phabricator
- 分类:Pharo
- 分类:PhpBB
- 分类:Physics
- 分类:Pidgin
- 分类:Pimcore
- 分类:Places
- 分类:Platform
分享您的观点