欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
重定向页列表
下面显示从第751条结果开始的50条结果。
查看（前50个 | 后50个）（20 | 50 | 100 | 250 | 500）
- Service-Oriented Architecture → Service-oriented architecture
- Service-oriented architecture → SOA
- ServiceMix → Apache ServiceMix
- Service Oriented Framework → SOF
- Sh20060812 → ShangHai-20060812
- ShangHai-20060812 → ShangHai 2006.08.12
- Shibboleth (Internet2) → Shibboleth
- ShooterPlayer → SPlayer
- Simple DirectMedia Layer → SDL
- Simple Network Management Protocol → SNMP
- Single Sign-on → Single sign-on
- Single sign-on → SSO
- Skeletonz → Skeletonz CMS
- Skolelinux → DebianEdu
- Slackware Linux → Slackware
- Snort (software) → Snort
- Social Media → Social media
- Socket.io → Socket.IO
- Software as Service → Software as services
- Software as service → Software as Service
- Software as services → Software as a Service
- Solar → 用户:Solar
- Solaris (operating system) → Solaris
- Solaris ZFS → ZFS
- Sonar (software quality) → Sonar
- Songbird (software) → Songbird
- Spamassassin → SpamAssassin
- Spark (software) → Spark
- Sphinx (search engine) → Sphinx
- Spring Dynamic Modules → SpringSource dm Server
- Spring Framework → Spring
- Spring IDE → Spring IDE for Eclipse
- Squid (software) → Squid
- Standard Generalized Markup Language → SGML
- Stone Jiang → 用户:Stone Jiang
- Streaming API for XML → StAX
- Stripes (framework) → Stripes
- Struts → Apache Struts
- Subversion → Apache Subversion
- Sun Java Desktop System → OpenSolaris Desktop
- Sun Studio → Oracle Solaris Studio
- Sun Studio (software) → Sun Studio
- Sunbird → Mozilla Sunbird
- Supply Chain Management → Supply chain management
- Suricata (software) → Suricata
- Swagger → OpenAPI Specification
- SwiftOS → R System
- Swift (programming language) → Swift
- Sycamore → Sycamore Wiki
- Symbian OS → Symbian
分享您的观点
