欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/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
- {{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 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
- ...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 computers4 KB(258个字) - 2021年9月23日 (四) 03:30
- *[https://www.aswf.io/ Academy Software Foundation] 开源好莱坞,[[Linux Foundation]] 项目 ...tion|可视化]]、视频图像压缩编码、[[Shotcut|视频编辑]]、[[Computer vision|机器视觉]]、[[灰狐公开课]]、开放课程、[[灰狐大脑9 KB(310个字) - 2023年9月28日 (四) 23:49
- ...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
- ....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
- *[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
- ...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 l1 KB(137个字) - 2023年3月27日 (一) 12:36
- ...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
- [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
- ...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
- ...[http://www.clarusco.com/partners.html freedomiq reviews] on your personal computer.<br><br>In most situations, no noticeable difference in sound top quality c3 KB(588个字) - 2012年5月17日 (四) 19:38
- ...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 an3 KB(488个字) - 2012年6月16日 (六) 12:50
- ...awback of remote computer software is the security issue. Excellent remote software program will permit complete manage to the authorized user but at the very2 KB(381个字) - 2012年8月28日 (二) 09:13
- ...emote computer software is the security concern. Very good remote computer software will enable complete manage to the authorized user but at the identical tim2 KB(382个字) - 2012年8月31日 (五) 02:09
- Inventory Software ...entory product asset monitoring has you lined with best in course tracking software.2 KB(302个字) - 2012年8月13日 (一) 06:47
- ...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-jenniferani3 KB(569个字) - 2012年8月28日 (二) 14:02
- ...dely utilised in the corporate atmosphere to control the internal personal computer networks communication with the outdoors globe. The complete information fl2 KB(351个字) - 2012年8月15日 (三) 07:14
- ...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 consumers2 KB(378个字) - 2012年9月6日 (四) 13:58
- ...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 helpfu4 KB(672个字) - 2012年9月13日 (四) 23:31
- ...ions and program framing is absolutely various from the normal pc computer software to perform thorough examination within the procedure SAP licensed assistant2 KB(350个字) - 2012年9月22日 (六) 12:38
- *[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-dig15 KB(1,282个字) - 2022年9月20日 (二) 13:48
- *[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
- {{SeeWikipedia|Maxima_(software)}}3 KB(285个字) - 2023年1月15日 (日) 02:28
- ...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 计算机视觉 [[deep learning|Deep Learning]] is the hottest topic in Computer Vision7 KB(666个字) - 2022年8月9日 (二) 10:08
- {{SeeWikipedia|Maple (software)}} Maple是一个通用型的商用[[computer algebra system|计算机代数系统]],它的主要竞争者是[[Mathemat535字节(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
- 计算机代数(Computer Algebra)在很多时候又被广义地理解为”符号计算“( Symb *[[Scilab]] Scientific Software Package2 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
- *跟进 [https://github.com/AcademySoftwareFoundation Academy Software Foundation],融合 [[Haskell ecosystem]],提供 Haskell 工具。 [[category:computer graphics]]6 KB(642个字) - 2022年7月4日 (一) 06:26
分享您的观点