欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
搜索结果
在本wiki上新建名为“System software”的页面!
- The Most Advanced File System on the Planet ZFS作为一个全新的文件系统,全面抛弃传统File System + Volume Manager + Storage的架构,所有的存储设备是通过ZFS Poo14 KB(535个字) - 2023年7月1日 (六) 12:48
- postgresql-9.1-plproxy - database partitioning system for PostgreSQL 9.1 *安装 DB2 Express-C : http://www-306.ibm.com/software/data/db2/udb/db2express/12 KB(1,520个字) - 2020年12月15日 (二) 04:49
- * VMware VMFS. High-performance cluster file system for storage virtualization. * VMware Consolidated Backup. Centralized backup software for virtual machines.2 KB(203个字) - 2018年2月17日 (六) 14:45
- ... installed SAP products on your computer, you must ensure that none of the systems are called "J2E". *Interactive Forms Based on Adobe Software13 KB(836个字) - 2013年1月22日 (二) 04:40
- All you need in a single software. ...re-business-management-software-515 Odoo 12 : A Mature Business Management Software] [https://www.odoo.com/zh_CN/odoo-12-release-notes Odoo 12 Release Notes] [22 KB(2,416个字) - 2022年3月9日 (三) 15:35
- ...e development and use of free software, particularly the [[GNU]] operating system, used widely in its GNU/Linux variant. FSF: Free Software, Free Society3 KB(350个字) - 2020年10月27日 (二) 03:26
- ...sdcan/2007/Porting-the-ZFS-file-system-to-FreeBSD.pdf Porting the ZFS file system to FreeBSD]4 KB(315个字) - 2022年3月25日 (五) 08:02
- System Administrator Go to General Rules -> System Rules -> Lang19 KB(998个字) - 2020年12月19日 (六) 04:29
- * OFBiz is a general purpose framework for building software that controls common business processes ...software structures, OFBiz attempts to supply a set of data structures and software libraries for managing more concrete business elements such as orders, empl17 KB(1,791个字) - 2021年7月22日 (四) 11:22
- *主机资源监控(CPU load、disk usage、system logs),也包括Windows主机(使用NSClient++ plugin) .../Plugins/Security/Firewall-Software Nagios plugins for monitoring firewall software]7 KB(546个字) - 2013年9月28日 (六) 01:39
- {{SeeWikipedia|Big Sister (software)}} Big Sister: System and Network Monitor142字节(18个字) - 2010年9月26日 (日) 11:47
- Web-based project & service management system for companies with 3-3000 employees. ]po[ helps you to run your business by [[category:collaborative software]]533字节(64个字) - 2013年1月28日 (一) 02:16
- * Freevo 不需要 X Window System,而 MythTV 需要 * Freevo 的 software stack 較 MythTV 精簡許多1 KB(177个字) - 2010年9月26日 (日) 09:29
- ...rted by the underlying hardware. DirectFB adds graphical power to embedded systems and sets a new standard for graphics under Linux.578字节(82个字) - 2010年9月27日 (一) 10:04
- ReactOS is able to run Windows software [[category:operating system]]3 KB(201个字) - 2021年9月14日 (二) 00:54
- .../blog/state-of-the-common-lisp-ecosystem-2020/ State of the Common Lisp ecosystem, 2020] [[Common Lisp Type System]]6 KB(665个字) - 2022年10月8日 (六) 14:38
- ... software [[source code]] packages to adapt to many kinds of [[UNIX-like]] systems. The configuration scripts produced by Autoconf are independent of Autoco Together with [[Automake]] and [[Libtool]], Autoconf forms the [[GNU build system]].2 KB(284个字) - 2013年2月20日 (三) 01:08
- ... intended for [[embedded system|embedded]] [[Linux]] systems. It is [[free software]], licensed under the [[GNU Lesser General Public License|LGPL]]. uClibc runs on standard and [[memory management unit|MMU]]-less Linux systems. It supports [[Intel_386|i386]], [[ARM_architecture|ARM]] (big/little endi1 KB(203个字) - 2015年11月25日 (三) 09:22
- ... was to provide businesses with a freely available, high quality operating system accompanied by certifications, service, and support options; advantages whi ...Perens in late 2003. As of 2006, the project has not been able to ship any software, and all activity has ceased.816字节(112个字) - 2010年9月20日 (一) 06:21
- ... of the [[Gentoo Linux]] [[package management system]] known as [[Portage (software)|Portage]]. The command is fairly complex with many options and modifiers.785字节(109个字) - 2013年1月24日 (四) 03:03
分享您的观点