欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
双重重定向页
此页列出了所有重定向到另一重定向页面的页面。每一行都包含有到第一和第二个重定向页面的链接,以及第二个重定向页面的目标——通常就是“真正的”目标页面,亦即是第一个重定向页面应该指向的页面。已划去的为已经解决的项目。
下面显示从第101条结果开始的20条结果。
查看(前20个 | 后20个)(20 | 50 | 100 | 250 | 500)
- Reduced instruction set computer (编辑) → Reduced instruction set computing → RISC
- RIA (编辑) → Rich Internet application → Rich Internet Application
- Rico (编辑) → Rico (Ajax)/en → Open Rico/en
- Rocks Cluster Distribution (编辑) → Rocks Cluster → Rocks Clusters
- Schemers (编辑) → Scheme (programming language) → Scheme
- Selenium Grid (编辑) → Selenium (software) → Selenium
- Autonomous car (编辑) → Self-driving car → 自动驾驶
- Service-Oriented Architecture (编辑) → Service-oriented architecture → SOA
- Single Sign-on (编辑) → Single sign-on → SSO
- Software as service (编辑) → Software as Service → Software as services
- Software as Service (编辑) → Software as services → Software as a Service
- SUN Studio (编辑) → Sun Studio → Oracle Solaris Studio
- Sun Studio (software) (编辑) → Sun Studio → Oracle Solaris Studio
- Tahoe (编辑) → Tahoe Least-Authority Filesystem → Tahoe-LAFS
- Tesseract OCR (编辑) → Tesseract (software) → Tesseract
- VideoLAN Client (编辑) → VLC Media Player → VLC media player
- VLC Media Player (编辑) → VLC media player → VLC
- Web Ontology Language (编辑) → WOL → OWL
- Azure Services Platform (编辑) → Windows Azure → Microsoft Azure
- World Wind (编辑) → WorldWind → NASA World Wind
分享您的观点