欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
搜索结果
在本wiki上新建名为“Extensions”的页面!
- * JSR 3: Java Management Extensions (JMX) Specification369字节(30个字) - 2010年8月22日 (日) 08:28
- * Easy to develop extensions933字节(128个字) - 2010年9月27日 (一) 08:59
- enable php_sockets extensions Fatal error: Class 'AjaxLoginForm' not found in C:\wamp\www\vikia\extensions\wikia\SpecialSignup\SpecialSignup.class.php on line 152 KB(218个字) - 2020年12月4日 (五) 03:12
- * Tiger Extensions - Optional add-on library that adds additional ease-of-use features for Sha3 KB(357个字) - 2010年9月26日 (日) 10:29
- ...vailable plug-ins and the functions they provide (via extension points and extensions).612字节(84个字) - 2010年9月27日 (一) 04:39
- ...irtualization solution for Linux on x86 hardware containing virtualization extensions (Intel VT or AMD-V). It consists of a loadable kernel module, kvm.ko, that3 KB(335个字) - 2022年4月18日 (一) 00:11
- ...iles for use with GCC to build native Windows applications; now with added extensions to the MSVC runtime to support C99 functionality.992字节(105个字) - 2022年9月6日 (二) 01:03
- ...th session management and embedded Perl code. There are also many powerful extensions, including XML taglibs, XSLT rendering, and new events not originally part795字节(109个字) - 2010年9月27日 (一) 05:54
- ...form for installing, managing, and updating Eclipse-based applications and extensions.1 KB(156个字) - 2020年9月28日 (一) 03:03
- * No database or server scripting extensions503字节(71个字) - 2010年9月27日 (一) 08:53
- Similar to the [[Apache Shale]] project, JSF Extensions is delived as separate software parts, you can choose to use any combinatio https://jsf-extensions.dev.java.net395字节(58个字) - 2010年9月26日 (日) 10:28
- ...tands for "Web-based Distributed Authoring and Versioning". It is a set of extensions to the HTTP protocol which allows users to collaboratively edit and manage239字节(36个字) - 2010年9月16日 (四) 12:18
- The TrustedBSD project provides a set of trusted operating system extensions to the FreeBSD operating system, targeting the Common Criteria for Informat2 KB(290个字) - 2016年6月12日 (日) 09:56
- ...re messaging mechanisms of WS-Security to define additional primitives and extensions for security token exchange to enable the issuance and dissemination of cre ...re messaging mechanisms of WS-Security to define additional primitives and extensions for the issuance, exchange and validation of security tokens. WS-Trust also743字节(96个字) - 2013年2月5日 (二) 04:30
- ... dynamic web-friendly languages such as JavaScript and with Ecmascript4XML extensions to1 KB(179个字) - 2016年2月8日 (一) 05:19
- ...y. This JavaScript manages security, communication, UI layout, and feature extensions, such as the OpenSocial API.2 KB(265个字) - 2012年12月4日 (二) 02:20
- ...-publishing system that consists of the Atom publishing protocol plus some extensions (using Atom's standard extension model) for handling queries.442字节(67个字) - 2008年4月26日 (六) 23:46
- ...des data types intended to hold data returned from PostGIS and the Spatial Extensions of MySql.191字节(27个字) - 2008年4月29日 (二) 08:00
- ...pers outside Yahoo!. We're creating a standard way for developers to build extensions (applications) into Yahoo!’s most popular websites, and we’re standardi432字节(69个字) - 2008年5月3日 (六) 14:18
- svn co http://svn.wikimedia.org/svnroot/mediawiki/trunk/extensions/SocialProfile/ SocialProfile 上传 SocialProfile 到 extensions 目录下5 KB(433个字) - 2010年9月15日 (三) 13:28
分享您的观点