欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
重定向页列表
下面显示从第251条结果开始的100条结果。
查看（前100个 | 后100个）（20 | 50 | 100 | 250 | 500）
- File Sharing → File sharing
- File System → File system
- Firebird (database server) → Firebird
- Firebird database server → Firebird
- Firefox/security → Mozilla/security
- Firefox 5 → Firefox/5
- Firefox Mobile → Firefox/mobile
- Firefox for mobile → Firefox Mobile
- Firewall (computing) → Firewall
- FishCAT → Fishcat
- FishEye (software) → FishEye
- Flex → Apache Flex
- Flock (web browser) → Flock
- FlowPlayer → Flowplayer
- Flume → Apache Flume
- Frameworks → Framework
- FreeMarker → Apache FreeMarker
- FreeMind → Freeplane
- FreeSwitch → FreeSWITCH
- Freebase (database) → Freebase
- Frog Python-based Blog → Frog
- Frog Python Blog → Frog Python-based Blog
- GAAP → Generally Accepted Accounting Principles
- GIS → Geographic information system
- GNU/Fiwix → Fiwix
- GNU Automake → Automake
- GNU Bison → GNU bison
- GNU Compiler Collection → GCC
- GNU Mailman → Mailman
- GNU Wget → Wget
- GNU project → Free Software Foundation
- GNewSense GNU/Linux → GNewSense
- GOS → GOS (operating system)
- GTK+ → GTK
- Gaim → Pidgin
- Ganglia (software) → Ganglia
- Gazelle (web browser) → Gazelle
- Gazelle Web Browser → Gazelle (web browser)
- Gecko (layout engine) → Gecko
- General Parallel File System → IBM General Parallel File System
- Genshi (templating language) → Genshi
- Gentoo → Gentoo Linux
- Geographic Information System → GIS
- Geotools → GeoTools
- Geronimo → Apache Geronimo
- Git (software) → Git
- Gitlab → GitLab
- GlassFish Metro → Metro
- Glassfish → GlassFish
- Google Accounts → Google account
- Google Android → Android
- Google CPlusPlus Testing Framework → GoogleTest
- Google Checkout API → Google Checkout
- Google Chrome → Chrome
- Google Cluster → Google platform
- Google Cluster Architecture → Google Cluster
- Google Polymer → Polymer
- Google Wave → Apache Wave
- Google account → Google Account
- Gopher → Gopher (protocol)
- Grails (framework) → Grails
- Granite data services → Granite Data Services
- Greenstone (software) → Greenstone
- Gremlin → Apache TinkerPop
- Grid → Grid Computing
- Grid Computing → Grid computing
- Grizzly Connector → Grizzly
- Grok → Grok (web framework)
- Groovy (programming language) → Groovy
- Groupware → Collaborative software
- Grpc → GRPC
- H2 (DBMS) → H2
- H2 Database Engine → H2 (DBMS)
- HBase → Apache HBase
- HEAS → Huihoo Enterprise Application Suite
- HEDS → Huihoo Enterprise Database Suite
- HEMS → Huihoo Enterprise Middleware Suite
- HESS → Huihoo Enterprise SOA Suite
- HETS → Huihoo Enterprise Tool Suite
- HP Servers → HP Integrity Servers
- HP Virtual Server Environment → HP Integrity Virtual Machines
- HTML5/websockets → WebSocket
- HTML5/workers → Web worker
- HTML 5 → HTML5
- HaXe → Haxe
- Hadoop → Apache Hadoop
- Hadoop Distributed File System → HDFS
- Haskell (programming language) → Haskell
- Haskell IDE Foundation → Haskell Desktop Foundation
- Hessian (web service protocol) → Hessian
- Hessian Web Services → Hessian
- Hibernate (Java) → Hibernate
- High-frequency trading → 高频交易
- High-performance computing → HPC
- High Performance Computing → HPC
- HipHop → HipHop for PHP
- HipHop VM for PHP → HipHop for PHP
- HipHop for PHP → HHVM
- Horde (software) → Horde
- Html5/alt-techniques → HMTL5/alt-techniques
分享您的观点
