欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
重定向页列表
下面显示从第501条结果开始的456条结果。
查看(前500个 | 后500个)(20 | 50 | 100 | 250 | 500)
- Media Player Classic → MPC
- Megaco → Media Gateway Control Protocol (Megaco)
- Mep → 用户:Mep
- Mesa → Mesa 3D (OpenGL)
- Mesa 3D (OpenGL) → Mesa 3D
- Mirantis OpenStack → Mirantis
- Miro (software) → Miro
- Mobile Backend as a service → Mobile backend as a service
- Model-view-controller → MVC
- Model Driven Architecture → MDA
- Model View Controller → MVC
- Mondrian OLAP server → Mondrian
- Mongoosejs → Mongoose.js
- Mongrel (web server) → Mongrel
- Moonlight (runtime) → Moonlight
- Morpheus → Morpheus (computer program)
- Morris → 用户:Morris
- Motorola 68000 family → M68k
- MozillaSuite → Mozilla Application Suite
- Mozilla Firefox → Firefox
- Mozilla Foundation → Mozilla
- Mozilla Thunderbird → Thunderbird
- Mozilla application framework → Necko
- Mumble (software) → Mumble
- Munin (network monitoring application) → Munin
- Mutt (e-mail client) → Mutt
- MyFaces → Apache MyFaces
- MyIE2 → Maxthon
- MySQL/developer → MariaDB/developer
- NNTP → Network News Transfer Protocol
- NTP → Network Time Protocol
- Native Client → Google Native Client
- Natural Language Toolkit → NLTK
- Nessus (software) → Nessus
- NetBeans → Apache NetBeans
- NetWeaver → SAP NetWeaver
- Netbeans → NetBeans
- Network File System → Network file system
- Network file system → NFS
- Neural network → Artificial neural network
- News/s135 → Blogs/s135
- Nexenta → NexentaStor
- Nimbus (cloud computing) → Nimbus
- NotepadPlusPlus → Notepad++
- Numpy → NumPy
- Nutch → Apache Nutch
- OASIS Web Services for Remote Portlets → Web Services for Remote Portlets
- OBM → OBM Groupware
- OBrowser → Huihoo browser
- OFM → Oracle Fusion Middleware
- OIL → Ontology Inference Layer
- OMS → Openbsdonly
- OS → Operating System
- OSDL → Linux Foundation
- OS X → MacOS
- Objeck → Objeck (programming language)
- Odoo/business intelligence → Odoo BI
- Odoo/documentation → Odoo documentation
- Odoo/training → Odoo training
- Odoo HRMS → Odoo HR
- Odoo android → Odoo mobile
- Ofbiz in action → Apache ofbiz in action
- Ojuba → Ojuba Linux
- Online Learning And Training → OLAT
- OpenAdaptor → Openadaptor
- OpenAdds → OpenAds
- OpenBrowser → OBrowser
- OpenBusiness → Open Business Platform
- OpenCRM → EnterpriseCRM
- OpenCRX CRM → OpenCRX
- OpenCloud → OpenCloudStack
- OpenCms → OpenCMS
- OpenDS → OpenDJ
- OpenData → Open data
- OpenEJB → Apache OpenEJB
- OpenERP → Odoo
- OpenERP/Documentation → Odoo/documentation
- OpenERP/business intelligence → Odoo/business intelligence
- OpenERP/developer → Odoo/developer
- OpenESB → Open ESB
- OpenHQ → OpenMQ
- OpenHR → OpenHRM
- OpenHRM → E3 HRMS
- OpenHardware → Open Hardware
- OpenIDE → OpenVS
- OpenJPA → Apache OpenJPA
- OpenMQ → HMQ
- OpenManagement → OpenHQ
- OpenMeetings → Apache OpenMeetings
- OpenMessenger → Open IM
- OpenMoko → Openmoko
- OpenMovie → OpenStudio
- OpenOffice.org → OpenOffice
- OpenOffice/security → Apache OpenOffice/security
- OpenQabal → ScrewPile
- OpenSER SIP Server → Opensips
- OpenShop → E3 shop
- OpenSolaris Storage → Sun Open Storage
- OpenStack/savanna → OpenStack/sahara
- OpenSync → MyPhone
- OpenVS → IDE-X
- OpenWebMail → Open WebMail
- Open Business Applications → Open E-Business Suite
- Open Business Cloud → OpenBusiness
- Open Business Platfom → Open Business Platform
- Open Business Platform → E3.NET
- Open Colud Operating System → Open Cloud Operating System
- Open E-Business Platform → Open Business Platform
- Open E-Business Suite → Open Business Platfrom
- Open ERP → OpenERP
- Open ERP BI → OpenERP/business intelligence
- Open Game Platform → Web Game Platform
- Open Grid Services Architecture → OGSA
- Open Health → Open healthcare
- Open IM → Gougou
- Open Media Lending Database → Open Media Database
- Open Object → OpenObject
- Open Scene Graph → OpenSceneGraph
- Open Service Platform → Open Services Platform
- Open Source Cluster Application Resources → OSCAR
- Open Source Wiki → Open Wiki
- Open Web Application Security Project → OWASP
- Open source people → 开源人物
- Openbravo ERP → Openbravo
- Openmeetings → OpenMeetings
- Opensips → OpenSIPS
- Operating System → Operating system
- Oracle Application Development Framework → Oracle ADF
- Oracle Enterprise Linux → Oracle Linux
- Oracle On Demand → Oracle CRM
- Oracle TimesTen → TimesTen
- Oracle TopLink → TopLink
- Oracle WebLogic Server → WebLogic
- Outsourcing → 灰狐外包
- P7ZIP → P7zip
- PHPeclipse → PHPEclipse
- PMD (software) → PMD
- Package Management System → Package management system
- Package management system → Package manager
- Padre (software) → Padre
- Pandora → Pandora FMS
- Pascal → Pascal (programming language)
- Passportjs → Passport.js
- Peach → Big Buck Bunny
- Peachpie → PeachPie
- Peer-to-peer → P2P
- Peercast → PeerCast
- Pentaho Business Intelligence → Pentaho
- PhpAdsNew → OpenX
- Phppgadmin → PhpPgAdmin
- Pida → PIDA
- Pinax (software) → Pinax
- Piwik → Matomo
- PlaneShift (video game) → PlaneShift
- Play Framework → Play framework
- Portal → Enterprise portal
- Postbooks → PostBooks
- Postfix (software) → Postfix
- PostgreSQL - Red Hat Edition → PostgreSQL Red Hat Edition
- PostgreSQL 9.0 → PostgreSQL/9.0
- PostgreSQL Build Farm → PostgreSQL BuildFarm
- PredictionIO → Apache PredictionIO
- Product Data Management → Product data management
- Product Lifecycle Management → Product lifecycle management
- Project-open → Project-Open
- Project Voldemort → Voldemort
- Proof assistant → Formal verification
- Prototype JavaScript Framework → Prototype
- Psi (instant messaging client) → Psi
- PyDev → Pydev
- Pyjamas (software) → Pyjamas
- Python for S60 → PyS60
- Python programming language → Python
- QDBM → Dbm
- QMake → Qmake
- Qt (framework) → Qt
- Qt 4.7 → Qt/4.7
- Qt on Android → Qt for Android
- Qt on iPhone → Qt for iOS
- Quagga (software) → Quagga
- Quan min fan ji → 全民反击
- QupZilla → Falkon
- RAKE → Rake
- RIA → Rich Internet application
- R Project → R
- RedHat → Red Hat
- RedMine → Redmine
- Redirect → 沙盒
- Redis (data store) → Redis
- Reduced instruction set computer → Reduced instruction set computing
- Reduced instruction set computing → RISC
- Remote procedure call → RPC
- Representational State Transfer → REST
- Resin Quercus → Quercus
- Resin Server → Resin
- Rhino (JavaScript engine) → Rhino
- Rich Internet application → Rich Internet Application
- Rico → Rico (Ajax)/en
- Rico (Ajax)/en → Open Rico/en
- Robot operating system → ROS
- Rocks Cluster → Rocks Clusters
- Rocks Cluster Distribution → Rocks Cluster
- Roller → Apache Roller
- Roundup (issue tracker) → Roundup
- Roundup Issue Tracker → Roundup
- Ruby/DBI → Ruby-DBI
- Ruby on Rails → Rails
- Ruby programming language → Ruby
- Running ADempiere in Glassfish → Running ADempiere in GlassFish
- S/390 → IBM ESA/390
- S60 → S60 (software platform)
- S60 Browser → Web Browser for S60
- SAP AG → SAP
- SCA → Service Component Architecture
- SCGI → Simple Common Gateway Interface
- SEDA → Staged event-driven architecture
- SEO → Search engine optimization
- SHTTPD → Mongoose
- SIP → Session Initiation Protocol
- SMB → Server Message Block
- SMTP → Simple Mail Transfer Protocol
- SPARQL RDF Query Language → SPARQL
- SQLite/Ruby → SQLite-Ruby
- SQuirreL SQL → SQuirreL SQL Client
- SSH → Secure Shell
- SUN → Sun Microsystems
- SUN Grid Engine → Sun Grid Engine
- SUN Portal → OpenPortal
- SUN Studio → Sun Studio
- Sabayon → Sabayon Linux
- Safari (web browser) → Safari
- Sails framework → Sails Framework
- Sakai Project → Sakai
- Savane → GNU Savannah
- Sawzall → Sawzall (programming language)
- Scala programming language → Scala
- Scalable File Share → HP StorageWorks Scalable File Share
- Scheme (programming language) → Scheme
- Schemers → Scheme (programming language)
- Scintilla → Scintilla (editing component)
- Scrum (development) → Scrum
- Seagull PHP Framework → Seagull
- Search Engine → Search engine
- Security Assertion Markup Language → SAML
- Selenium (software) → Selenium
- Selenium Grid → Selenium (software)
- Self-driving car → 自动驾驶
- Serendipity (software) → Serendipity
- Serial ATA (SATA) for Linux → Serial ATA
- Server Side Includes → Lighttpd Server Side Includes
- 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
- Symmetric Multi-Processing → SMP
- SystemML → Apache SystemML
- TAO (software) → TAO
- TOGAF → The Open Group Architecture Framework
- TUX Web Server → TUX
- Tachyon → Alluxio
- Tahoe → Tahoe Least-Authority Filesystem
- Tahoe Least-Authority Filesystem → Tahoe-LAFS
- Tamarin (JavaScript engine) → Tamarin
- Tapestry → Apache Tapestry
- Tcl → Tcl/Tk
- Teamhost → Huihoo Code
- Ted → Ted (word processor)
- Telepathy (software) → Telepathy
- Terracotta Cluster → Terracotta
- Tesseract (software) → Tesseract
- Tesseract OCR → Tesseract (software)
- Test-driven developmen → Test-driven development
- Theory of Constraint → Theory of Constraints
- Thrift → Apache Thrift
- TinyPortal → Simple Machines Forum
- Tiny ERP → Open ERP
- Tomcat → Apache Tomcat
- Tor (anonymity network) → Tor
- Tornado (web server) → Tornado
- Torpark → XeroBank Browser
- Totem (media player) → Totem
- Travis-ci → Travis CI
- Trinity → TrinityCore
- Tuxedo → BEA Tuxedo
- Twisted (software) → Twisted
- Typo → Typo (software)
- Typo3 → TYPO3
- UDP → User Datagram Protocol
- UFO:Alien Invasion → UFO: Alien Invasion
- UNIX → Unix
- UTUTO → Ututo
- Ubuntu (operating system) → Ubuntu
- Ubuntu Mobile → Ubuntu Touch
- UltraSparc → UltraSPARC
- V8 (JavaScript engine) → V8
- VBMcgi → Vbmcgi
- VLC Media Player → VLC media player
- VLC media player → VLC
- Varnish (software) → Varnish
- Vertebra (cloud computing framework) → Vertebra
- Very Long Instruction Word → VLIW
- VideoLAN Client → VLC Media Player
- VideoLAN Server → VideoLAN
- Vim (text editor) → Vim
- Vim text editor → Vim
- Virtual private network → VPN
- Visualization Toolkit → VTK
- Vitess MySQL Cluster → Vitess
- Voice over IP → VoIP
- Vtiger → Vtiger CRM
- WACT → Web Application Component Toolkit
- WBEM Services → WBEM Services Specification
- WOL → OWL
- WS-AtomicTransactions → WS-Atomic Transaction
- WSIT → Web Services Interoperability Technology
- WSO2 ESB → WSO2 Enterprise Integrator
- WeChat → Weixin
- WebLogic Integration → BEA WebLogic Integration
- WebLogic Platform → BEA WebLogic Platform
- WebLogic Portal → BEA WebLogic Portal
- WebLogic RFID → BEA WebLogic RFID
- WebLogic Server → BEA WebLogic Server
- WebServer → Web Server
- WebSockets → HTML5/websockets
- WebSphere → IBM WebSphere
- WebSphere MQ → IBM WebSphere MQ
- Web Ontology Language → WOL
- Web Server Gateway Interface → WSGI
- Web Services → Web service
- Weblogic → WebLogic
- Webpy → Web.py
- Weka (machine learning) → Weka
- Wicket framework → Wicket
- Wikimedia Foundation → Wikimedia
- Windows → Microsoft Windows
- Windows Azure → Microsoft Azure
- Windows PowerShell → PowerShell
- Witty → Wt
- WorldWind → NASA World Wind
- World Wind → WorldWind
- World of Warcraft → Wow
- Wow → 魔兽世界
- Wt → Wt – Web toolkit
- XFire → Codehaus XFire
- XMB (forum) → XMB Forum
- Xbox Media Center → XBMC
- Xen On Debian → Xen on Debian
- Xenko → Stride
- Xsltproc → Libxslt
- Yahoo! UI Library → YUI
- Yaws (web server) → Yaws
- Yet Another Telephony Engine → YATE
- Yii/Developer → Yii/developer
- Young → 用户:Young
- Yum → Yellowdog Updater, Modified
- ZFS → OpenZFS
- ZK (AJAX) → ZK
- ZK (framework) → ZK
- Zend → Zend Technologies
- Zettabyte File System → ZFS
- Zhiwang → 织网
- Zope Object Database → ZODB
- Zosatapo → 用户:Zosatapo
- 参与编辑 → 沙盒
- 快网 → Cnkuai.cn
- 我与KotlinPythonErlang的1000个日夜 → 我与C++PythonErlang的1000个日夜
- 我与MOBA的1000个日夜 → 我与炉石传说和MOBA的1000个日夜
- 我与PythonC++Java的1000个日夜 → 我与PythonC++Scala的1000个日夜
- 我与PythonC++Scala的1000个日夜 → 我与PythonScalaC++的1000个日夜
- 我与PythonScalaC++的1000个日夜 → 我与KotlinPythonErlang的1000个日夜
- 我与Python的1000个日夜 → 我与PythonC++Java的1000个日夜
- 我与德州扑克和国际象棋的1000个日夜 → 我与国际象棋的1000个日夜
- 我与德州扑克的1000个日夜 → 我与德州扑克和国际象棋的1000个日夜
- 我与炉石传说和MOBA的1000个日夜 → 我与王者荣耀和MOBA的1000个日夜
- 灰狐FCS俱乐部 → 灰狐编程俱乐部
- 灰狐人工智能实验室 → 灰狐量子实验室
- 灰狐通行证 → 狗狗通行证
- 灰狗娱乐 → Huigou
- 灰狗直播 → 灰狗视频
- 赛问 → Cyask
- 讨论:IA-64 → 讨论:Itanium
- 讨论:Jetspeed 2 → 讨论:Apache Jetspeed 2
- 用户:Allen Long → 用户:Allen
- 用户:Jeniferlara22 → Easy payday Loans
- 用户讨论:JenniferLMorris → 用户讨论:Henderson
- 用户讨论:Jenniferblair → 用户讨论:Facelift Surgery Has Helped You Look Younger
- 用户讨论:Mayafox12 → E cigarettes review
- 用户讨论:MelodyMelany → 用户讨论:Los angeles gutters
- 用户讨论:RMF cc → Rexsee EMS
- 文件:3d-printing-info.jpg → 文件:3d-printing-infomap.jpg
- 文件:Alfresco-in-the-cloud .png → 文件:Alfresco-in-the-cloud.png
- 文件:Androidguipsd v1.0.jpg → 文件:Androidguipsd-v1.0.jpg
- 文件:Asterick 468x60.gif → 文件:Asterisk 468x60.gif
- 文件:Eclipse-Kuksa.png → 文件:Eclipse-KUKSA.png
- 文件:Epic-linux.png → 文件:Epic-on-linux.png
- 文件:Firefox-os-userspace-architecture.svg → 文件:Firefox-os-userspace-process-architecture.svg
- 文件:Gccegg-65.png → 文件:GCC-logo.png
- 文件:Instantbird-emoticons.png → 文件:Instantbird-options-emoticons.png
- 文件:Iphone-a4.jpg → 文件:Ios-a4.jpg
- 文件:Irrlicht-screenshots-firgof.png → 文件:Irrlicht-screenshots-05.png
- 文件:Madlib-architecture.png → 文件:Apache-madlib-architecture.png
- 文件:Microservices-pattern-language.jpg → 文件:Microservices-architecture-patterns.jpg
- 文件:Mozillastore-468x60.gif → 文件:Mozilla-store-468x60.gif
- 文件:Odata-client-for-objective.jpg → 文件:Odata-client-for-objective-c.jpg
- 文件:Saas-cloud.png → 文件:Cloud-saas-paas-2008.png
- 文件:Sdk-201102-rnreal-frontend-on-iphone.png → 文件:Sdk-201102-unreal-frontend-on-iphone.png
- 文件:Sdk-201102-unreal-frontend-on-iphone.png → 文件:Udk-201102-unreal-frontend-on-iphone.png
- 模板:, → 模板:·
- 模板:CommonsCategory → 模板:Commonscat
- 模板:Wikipedia → 模板:SeeWikipedia
分享您的观点