搜索结果

在本wiki上新建名为“Computer software”的页面！

• GNU
  ==GNU software==
  7 KB（736个字） - 2022年4月7日 (四) 11:30
• Python
  ...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
• BSD
  {{SeeWikipedia|Berkeley Software Distribution}} BSD (Berkeley Software Distribution，伯克利软件套件)是Unix的衍生系统，1970年代由
  12 KB（449个字） - 2016年6月12日 (日) 09:12
• Storage
  *[[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
• SAP NetWeaver
  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 Software
  13 KB（836个字） - 2013年1月22日 (二) 04:40
• Free Software Foundation
  ...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 Society
  3 KB（350个字） - 2020年10月27日 (二) 03:26
• Tesseract
  {{SeeWikipedia|Tesseract (software)}} [[category:computer vision]]
  2 KB（151个字） - 2023年3月24日 (五) 04:01
• Package manager
  ... 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
• Arch Build System
  * 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
• FreeBSD Ports
  ...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 FreeBSD
  708字节（100个字） - 2010年9月19日 (日) 17:10
• SWIG
  ...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
• Security
  {{SeeWikipedia|Computer security}} *[https://github.com/cmu-sei CMU Software Engineering Institute]
  14 KB（1,014个字） - 2022年8月9日 (二) 10:45
• EConf
  ... 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 captur
  583字节（102个字） - 2013年2月19日 (二) 09:31
• GNU TeXmacs
  ... 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 TeXmacs
  1 KB（159个字） - 2022年10月11日 (二) 06:04
• Data mining
  top eight data-mining software vendors in 2008 published in a Gartner study. * Angoss Software
  6 KB（378个字） - 2022年8月9日 (二) 10:50
• ABAP
  ==Software-Oriented View== [[Image:ABAP-Software-oriented-View.gif|right|thumb|Software-Oriented View]]
  7 KB（937个字） - 2010年9月16日 (四) 11:37
• Cloud computing
  * [[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
• EDonkey Network
  ...g network used primarily to exchange audio files, video files and computer software. Like most file sharing networks, it was decentralized; files were not stor
  481字节（71个字） - 2010年9月20日 (一) 09:10
• Open Hardware
  ...worlds-first-9-computer/posts/1355196 CHIP - The World's First Nine Dollar Computer] [https://github.com/NextThingCo CHIP @ GitHub] ...ithub.com/armbian Armbian] Minimal [[Debian]] based Linux for single board computers
  4 KB（258个字） - 2021年9月23日 (四) 03:30
• OpenStudio
  *[https://www.aswf.io/ Academy Software Foundation] 开源好莱坞，[[Linux Foundation]] 项目 ...tion|可视化]]、视频图像压缩编码、[[Shotcut|视频编辑]]、[[Computer vision|机器视觉]]、[[灰狐公开课]]、开放课程、[[灰狐大脑
  9 KB（310个字） - 2023年9月28日 (四) 23:49
• OLPC
  ...thon]]、[[PyGTK]]、[[GTK+]]), [http://www.sugarlabs.org/ Sugar: learning software for children]、[https://developer.sugarlabs.org/ Sugar developer]、[http: ...n.png]] [https://www.one-education.org/ Building a modular laptop, modular computer for kids.]
  3 KB（228个字） - 2015年10月6日 (二) 03:40
• Haskell
  ....io/en/latest/index.html Cabal] is the standard package system for Haskell software. ...oo.com/cufp/2013/Redesigning-the-Computer-for-Security.pdf Redesigning the Computer for Security]
  11 KB（1,281个字） - 2023年4月23日 (日) 04:02
• 3D
  *[https://github.com/LunarG LunarG] 3D Graphics Software Solutions ...w.mathfor3dgameprogramming.com/ 《Mathematics for 3D Game Programming and Computer Graphics》]
  1 KB（116个字） - 2022年7月24日 (日) 06:43
• VTK
  ...n Toolkit (VTK) is an open-source, freely available software system for 3D computer graphics, image processing and visualization. VTK consists of a C++ class l
  1 KB（137个字） - 2023年3月27日 (一) 12:36
• Mathematics
  ...s://ncatlab.org/nlab/show/list+of+mathematics+software list of mathematics software] *[https://www.netlib.org/ Netlib] is a collection of mathematical software, papers, and databases.
  13 KB（818个字） - 2023年8月13日 (日) 23:20
• CAD
  [https://en.wikipedia.org/wiki/Computer-aided_technologies Computer-aided technologies (CAx)] * Computer-aided design (CAD)
  2 KB（150个字） - 2022年9月6日 (二) 04:53
• 灰狐教育
  [http://book.huihoo.com/free-software-free-society 自由软件，自由社会（第三版）] [https://www.gnu.org/software/dr-geo/ GNU Dr.Geo] 设计和操作有约束的互动几何草图
  11 KB（587个字） - 2022年9月20日 (二) 04:13
• Data Disaster Recovery
  ...s backed up. Back up your information to an on-line server. What will your software systems do to automatically and rapidly get your customers back on the web?
  3 KB（450个字） - 2012年7月3日 (二) 14:07
• VoIP Remedy Unleashed
  ...[http://www.clarusco.com/partners.html freedomiq reviews] on your personal computer.<br><br>In most situations, no noticeable difference in sound top quality c
  3 KB（588个字） - 2012年5月17日 (四) 19:38
• Printable Coupons
  ...fo, select the kind of coupon they need, download a tiny piece of computer software known as coupon printers, print the coupon there itself in their printer an
  3 KB（488个字） - 2012年6月16日 (六) 12:50
• Remote Software program
  ...awback of remote computer software is the security issue. Excellent remote software program will permit complete manage to the authorized user but at the very
  2 KB（381个字） - 2012年8月28日 (二) 09:13
• Remote Software
  ...emote computer software is the security concern. Very good remote computer software will enable complete manage to the authorized user but at the identical tim
  2 KB（382个字） - 2012年8月31日 (五) 02:09
• Software ERP
  Inventory Software ...entory product asset monitoring has you lined with best in course tracking software.
  2 KB（302个字） - 2012年8月13日 (一) 06:47
• Ebook Compilers
  ...nd alone file and can be viewed with out the aid of an additional computer software application such as Adobe Reader.<br><br>The big [http://videos-jenniferani
  3 KB（569个字） - 2012年8月28日 (二) 14:02
• Proxy.com
  ...dely utilised in the corporate atmosphere to control the internal personal computer networks communication with the outdoors globe. The complete information fl
  2 KB（351个字） - 2012年8月15日 (三) 07:14
• Gray
  ...g corporations that will ensure they have an understanding of the computer software and web design requirements of their clients and cater to lots of consumers
  2 KB（378个字） - 2012年9月6日 (四) 13:58
• Cell Phone
  ...ore portable device. You can find out the newest news with out reaching to computer, read and send email ( a major part of individuals' working is associated t ...staff if they're where they need to be. Beside hardware evolution, tons of software program too will be installed based on the more and more intelligent helpfu
  4 KB（672个字） - 2012年9月13日 (四) 23:31
• Erb
  ...ions and program framing is absolutely various from the normal pc computer software to perform thorough examination within the procedure SAP licensed assistant
  2 KB（350个字） - 2012年9月22日 (六) 12:38
• Machine learning
  *[http://www.computervisiontalks.com/nvidia-deep-learning-course-class-1-introduction-to-deep-lea *[http://www.computervisiontalks.com/nvidia-deep-learning-course-class-2-getting-started-with-dig
  15 KB（1,282个字） - 2022年9月20日 (二) 13:48
• Natural language processing
  *[https://aclweb.org/aclwiki/Tools_and_Software_for_English Software for Computational Linguistics and Natural Language Processing] [[category:computer science]]
  6 KB（514个字） - 2022年8月9日 (二) 10:11
• Maxima
  {{SeeWikipedia|Maxima_(software)}}
  3 KB（285个字） - 2023年1月15日 (日) 02:28
• ACL2
  ...e/acl2/v8-4/combined-manual/index.html?topic=ACL2____SOFTWARE-VERIFICATION Software-verification] ....edu/users/moore/acl2/talks/royal-society/talk.pdf Industrial Hardware and Software Verification with ACL2]
  7 KB（739个字） - 2022年10月13日 (四) 09:25
• Computer vision
  Computer vision 计算机视觉 [[deep learning|Deep Learning]] is the hottest topic in Computer Vision
  7 KB（666个字） - 2022年8月9日 (二) 10:08
• Maple
  {{SeeWikipedia|Maple (software)}} Maple是一个通用型的商用[[computer algebra system|计算机代数系统]]，它的主要竞争者是[[Mathemat
  535字节（25个字） - 2016年3月24日 (四) 05:09
• 自动驾驶
  *[https://at.projects.genivi.org/wiki/display/PROJ/Projects+Home GENIVI Software Projects] [https://github.com/GENIVI GENIVI @ GitHub] [[category:computer vision]]
  5 KB（498个字） - 2022年8月7日 (日) 08:17
• 灰狐基金会
  ...[[Computational science|计算科学]]、[[actor model|原子计算]]、[[Computer science|计算机科学]]语言。 [https://racket-lang.org/sfc.html Software Freedom Conservancy] 软件自由保护协会
  19 KB（1,177个字） - 2023年3月26日 (日) 03:33
• Computational mathematics
  计算机代数（Computer Algebra）在很多时候又被广义地理解为”符号计算“（ Symb *[[Scilab]] Scientific Software Package
  2 KB（42个字） - 2022年8月25日 (四) 02:42
• 量子计算
  *[https://github.com/qosf/awesome-quantum-software Open-Source Quantum Software Projects]
  8 KB（675个字） - 2023年5月3日 (三) 09:39
• 灰狐会员
  ...ge|编程语言]]、[[compiler|编译器]][[Virtualization|虚拟机]]、[[computer science|计算机科学]]； *3、[[software testing|软件测试]]、研发管理、[[DevOps]]；
  7 KB（241个字） - 2023年4月24日 (一) 13:57
• Haskell Desktop Foundation
  *跟进 [https://github.com/AcademySoftwareFoundation Academy Software Foundation]，融合 [[Haskell ecosystem]]，提供 Haskell 工具。 [[category:computer graphics]]
  6 KB（642个字） - 2022年7月4日 (一) 06:26
• Formal verification
  Formal verification, Proof assistant, Theorem Prover, Software verification, Hardware verification ... *[https://github.com/SRI-CSL SRI International's Computer Science Laboratory] [https://github.com/SRI-CSL/yices2 Yices SMT Solver] [h
  20 KB（1,614个字） - 2023年8月3日 (四) 23:57
• LFE
  ... for those who want to build distributed applications. like the [[Erlang]] software that powers 40% of the world's telecommunications. Apache v2 License. *[https://github.com/cnbbooks/lfe-sicp 《Structure and Interpretation of Computer Programs》]The LFE Edition
  2 KB（210个字） - 2022年10月2日 (日) 04:22
• Lisp ecosystem
  *[https://ccrma.stanford.edu/software/snd/snd/s7.html s7] is a Scheme implementation *[https://github.com/ultralisp/ultralisp Ultralisp] The software behind a [https://ultralisp.org/ Ultralisp.org] Common Lisp repository
  15 KB（1,759个字） - 2023年3月4日 (六) 00:04
• Open Provable Foundation
  *[https://fm.csl.sri.com/SSFT14/SSFT14-1.pdf Software Verification with Satisfiability Modulo Theories（一）] [https://fm.csl. *[https://alt-ergo.ocamlpro.com/ Alt-Ergo] An SMT Solver For Software Verification
  7 KB（612个字） - 2023年8月4日 (五) 08:59
• 灰狐大脑
  *[[Computer vision|机器视觉]]和[[Machine translation|机器翻译]] *[[Computer graphics|计算机图形学]]、[[G3|游戏引擎]]、模型、模拟仿真
  10 KB（710个字） - 2023年3月24日 (五) 01:44
• Science
  Giving the Problem to a Computer（把问题交给计算机处理） *[https://github.com/INRIA/awesome-open-science-software Awesome Open Science Software]
  6 KB（389个字） - 2023年7月24日 (一) 00:47