欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
重定向页列表
下面显示从第501条结果开始的250条结果。
查看(前250个 | 后250个)(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
分享您的观点