欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
搜索结果
在本wiki上新建名为“Computer software”的页面!
- ==GNU software==7 KB(736个字) - 2022年4月7日 (四) 11:30
- ...how-to-think-like-a-computer-scientist-python-version/ How to Think Like a Computer Scientist Python Version] *[http://pythonsource.com/ Open Source Software in Python]11 KB(1,267个字) - 2022年3月9日 (三) 05:26
- {{SeeWikipedia|Berkeley Software Distribution}} BSD (Berkeley Software Distribution,伯克利软件套件)是Unix的衍生系统,1970年代由12 KB(449个字) - 2016年6月12日 (日) 09:12
- *[[Aperi Storage Management|Aperi]]: Open Source Storage Software Management Community - http://www-03.ibm.com/servers/storage/community/ ...何在 AIX 上实现 Internet 小型计算机系统接口(Internet small computer system interface,iSCSI)。文中循序渐进的过程将说明如何通5 KB(521个字) - 2022年3月26日 (六) 07:25
- If you have already 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
- ...ribute computer programs. The FSF promotes the development and use of free software, particularly the [[GNU]] operating system, used widely in its GNU/Linux va FSF: Free Software, Free Society3 KB(350个字) - 2020年10月27日 (二) 03:26
- *[[Manifesto_for_Agile_Software_Development|敏捷软件开发宣言]] ...苦短,职场规划:[[Java]]([[Java virtual machine|JVM]],[[DSL]])、[[Software testing|Testing]](Multi-language)、[[DevOps]]([[Kubernetes]]),[[Ruby]] o49 KB(2,397个字) - 2023年2月5日 (日) 12:49
- {{SeeWikipedia|Tesseract (software)}} [[category:computer vision]]2 KB(151个字) - 2023年3月24日 (五) 04:01
- ... installing, upgrading, configuring, and removing software packages from a computer. ...me packaging systems of free software are also themselves released as free software.3 KB(502个字) - 2017年8月4日 (五) 03:37
- * Make new packages of software for which no packages are yet available ... : lists all the files of the archive. It's used in order to uninstall the software or to check for file conflicts.13 KB(2,179个字) - 2010年9月12日 (日) 00:38
- ...onsistent way of installing software packages on the [[FreeBSD]] Unix-like computer [[operating system]]. * [http://www.freebsdports.info FreeBSDPorts.info] - A browsable database of software ported to FreeBSD708字节(100个字) - 2010年9月19日 (日) 17:10
- ...ble]] that embeds the interpreter for the scripting language, a [[library (computer science)#Shared library|shared library]] that links into an existing interp *Provide access to a C/C++ [[library (computer science)|library]] which has no equivalent in the scripting language.3 KB(488个字) - 2015年2月28日 (六) 06:18
- {{SeeWikipedia|Computer security}} *[https://github.com/cmu-sei CMU Software Engineering Institute]14 KB(1,014个字) - 2022年8月9日 (二) 10:45
- ... allows to easily record web sessions and has been used to record multiple computer science courses. eConf is an add-on to an HTTP proxy that is able to captur583字节(102个字) - 2013年2月19日 (二) 09:31
- ... what you want) editing platform with special features for scientists. The software aims to provide a unified and user friendly framework for editing structure Image:texmacs-3.png|Computer algebra sessions inside TeXmacs1 KB(159个字) - 2022年10月11日 (二) 06:04
- top eight data-mining software vendors in 2008 published in a Gartner study. * Angoss Software6 KB(378个字) - 2022年8月9日 (二) 10:50
- ==Software-Oriented View== [[Image:ABAP-Software-oriented-View.gif|right|thumb|Software-Oriented View]]7 KB(937个字) - 2010年9月16日 (四) 11:37
- Software Engineer-kernel ...in Computer Science or Electrical Engineering with at least three years of software development experience. Additional qualifications include:1 KB(187个字) - 2010年9月16日 (四) 08:23
- * [[Software as a Service]] (SaaS) * System management: This is the piece which manages the computer resources available.11 KB(867个字) - 2020年12月11日 (五) 06:46
- ...g network used primarily to exchange audio files, video files and computer software. Like most file sharing networks, it was decentralized; files were not stor481字节(71个字) - 2010年9月20日 (一) 09:10
分享您的观点