积分充值
 首页
前端开发
AngularDartElectronFlutterHTML/CSSJavaScriptReactSvelteTypeScriptVue.js构建工具
后端开发
.NetC#C++C语言DenoffmpegGoIdrisJavaJuliaKotlinLeanMakefilenimNode.jsPascalPHPPythonRISC-VRubyRustSwiftUML其它语言区块链开发测试微服务敏捷开发架构设计汇编语言
数据库
Apache DorisApache HBaseCassandraClickHouseFirebirdGreenplumMongoDBMySQLPieCloudDBPostgreSQLRedisSQLSQLiteTiDBVitess数据库中间件数据库工具数据库设计
系统运维
AndroidDevOpshttpdJenkinsLinuxPrometheusTraefikZabbix存储网络与安全
云计算&大数据
Apache APISIXApache FlinkApache KarafApache KyuubiApache OzonedaprDockerHadoopHarborIstioKubernetesOpenShiftPandasrancherRocketMQServerlessService MeshVirtualBoxVMWare云原生CNCF机器学习边缘计算
综合其他
BlenderGIMPKiCadKritaWeblate产品与服务人工智能亿图数据可视化版本控制笔试面试
文库资料
前端
AngularAnt DesignBabelBootstrapChart.jsCSS3EchartsElectronHighchartsHTML/CSSHTML5JavaScriptJerryScriptJestReactSassTypeScriptVue前端工具小程序
后端
.NETApacheC/C++C#CMakeCrystalDartDenoDjangoDubboErlangFastifyFlaskGinGoGoFrameGuzzleIrisJavaJuliaLispLLVMLuaMatplotlibMicronautnimNode.jsPerlPHPPythonQtRPCRubyRustR语言ScalaShellVlangwasmYewZephirZig算法
移动端
AndroidAPP工具FlutterFramework7HarmonyHippyIoniciOSkotlinNativeObject-CPWAReactSwiftuni-appWeex
数据库
ApacheArangoDBCassandraClickHouseCouchDBCrateDBDB2DocumentDBDorisDragonflyDBEdgeDBetcdFirebirdGaussDBGraphGreenPlumHStreamDBHugeGraphimmudbIndexedDBInfluxDBIoTDBKey-ValueKitDBLevelDBM3DBMatrixOneMilvusMongoDBMySQLNavicatNebulaNewSQLNoSQLOceanBaseOpenTSDBOracleOrientDBPostgreSQLPrestoDBQuestDBRedisRocksDBSequoiaDBServerSkytableSQLSQLiteTiDBTiKVTimescaleDBYugabyteDB关系型数据库数据库数据库ORM数据库中间件数据库工具时序数据库
云计算&大数据
ActiveMQAerakiAgentAlluxioAntreaApacheApache APISIXAPISIXBFEBitBookKeeperChaosChoerodonCiliumCloudStackConsulDaprDataEaseDC/OSDockerDrillDruidElasticJobElasticSearchEnvoyErdaFlinkFluentGrafanaHadoopHarborHelmHudiInLongKafkaKnativeKongKubeCubeKubeEdgeKubeflowKubeOperatorKubernetesKubeSphereKubeVelaKumaKylinLibcloudLinkerdLonghornMeiliSearchMeshNacosNATSOKDOpenOpenEBSOpenKruiseOpenPitrixOpenSearchOpenStackOpenTracingOzonePaddlePaddlePolicyPulsarPyTorchRainbondRancherRediSearchScikit-learnServerlessShardingSphereShenYuSparkStormSupersetXuperChainZadig云原生CNCF人工智能区块链数据挖掘机器学习深度学习算法工程边缘计算
UI&美工&设计
BlenderKritaSketchUI设计
网络&系统&运维
AnsibleApacheAWKCeleryCephCI/CDCurveDevOpsGoCDHAProxyIstioJenkinsJumpServerLinuxMacNginxOpenRestyPrometheusServertraefikTrafficUnixWindowsZabbixZipkin安全防护系统内核网络运维监控
综合其它
文章资讯
 上传文档  发布文章  登录账户
IT文库
  • 综合
  • 文档
  • 文章

无数据

分类

全部后端开发(402)Python(242)综合其他(192)Weblate(153)Java(61)Spring(61)Django(45)区块链(45)PyWebIO(43)Jupyter(31)

语言

全部英语(516)中文(简体)(141)法语(2)日语(1)韩语(1)英语(1)

格式

全部其他文档 其他(662)
 
本次搜索耗时 0.072 秒,为您找到相关结果约 662 个.
  • 全部
  • 后端开发
  • Python
  • 综合其他
  • Weblate
  • Java
  • Spring
  • Django
  • 区块链
  • PyWebIO
  • Jupyter
  • 全部
  • 英语
  • 中文(简体)
  • 法语
  • 日语
  • 韩语
  • 英语
  • 全部
  • 其他文档 其他
  • 默认排序
  • 最新排序
  • 页数排序
  • 大小排序
  • 全部时间
  • 最近一天
  • 最近一周
  • 最近一个月
  • 最近三个月
  • 最近半年
  • 最近一年
  • epub文档 Linux command line for you and me Documentation Release 0.1

    services/processes need restart after package upgrade in Debian Listing available security updates in Debian systems Unattended upgrades in Debian systems SELinux SELinux Modes getenforce setenforce Labels/Contexts gid=1000(fedora) groups=1000(fedora),4(adm),10(wheel),190(systemd-journal) context=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 pwd command pwd command, short for print working directory, will help or directory. The -r option is being used to remove in a recursive way. With -f you force the removal, ignoring errors and never prompt. You can chain the flags, so instead of rm -r -f you can as well type
    0 码力 | 124 页 | 510.85 KB | 1 年前
    3
  • epub文档 Agda User Manual v2.5.4.2

    org/software/ncurses/). Your package manager may be able to install these files for you. For instance, on Debian or Ubuntu it should suffice to run apt-get install zlib1g-dev libncurses5-dev as root to get the [http://site.icu-project.org] library, which is used to implement the --count-clusters flag. Under Debian or Ubuntu it may suffice to install libicu-dev. Once the ICU library is installed one can hopefully library [https://www.archlinux.org/packages/community/x86_64/agda-stdlib/] Debian / Ubuntu Prebuilt packages are available for Debian testing/unstable and Ubuntu from Karmic onwards. To install: apt-get install
    0 码力 | 216 页 | 207.61 KB | 1 年前
    3
  • epub文档 Agda User Manual v2.5.4.1

    org/software/ncurses/). Your package manager may be able to install these files for you. For instance, on Debian or Ubuntu it should suffice to run apt-get install zlib1g-dev libncurses5-dev as root to get the [http://site.icu-project.org] library, which is used to implement the --count-clusters flag. Under Debian or Ubuntu it may suffice to install libicu-dev. Once the ICU library is installed one can hopefully library [https://www.archlinux.org/packages/community/x86_64/agda-stdlib/] Debian / Ubuntu Prebuilt packages are available for Debian testing/unstable and Ubuntu from Karmic onwards. To install: apt-get install
    0 码力 | 216 页 | 207.64 KB | 1 年前
    3
  • epub文档 Agda User Manual v2.5.4

    org/software/ncurses/). Your package manager may be able to install these files for you. For instance, on Debian or Ubuntu it should suffice to run apt-get install zlib1g-dev libncurses5-dev as root to get the [http://site.icu-project.org] library, which is used to implement the --count-clusters flag. Under Debian or Ubuntu it may suffice to install libicu-dev. Once the ICU library is installed one can hopefully library [https://www.archlinux.org/packages/community/x86_64/agda-stdlib/] Debian / Ubuntu Prebuilt packages are available for Debian testing/unstable and Ubuntu from Karmic onwards. To install: apt-get install
    0 码力 | 216 页 | 207.63 KB | 1 年前
    3
  • epub文档 Agda User Manual v2.6.0.1

    Miscellaneous What is Agda? Agda is a dependently typed programming language. It is an extension of Martin- Löf’s type theory, and is the latest in the tradition of languages developed in the programming logic group like Scheme [http://en.wikipedia.org/wiki/Scheme_%28programming_language%29]. In such languages, if f is a function, one can apply it to anything, including itself. This makes it easy to write programs org/software/ncurses/). Your package manager may be able to install these files for you. For instance, on Debian or Ubuntu it should suffice to run apt-get install zlib1g-dev libncurses5-dev as root to get the
    0 码力 | 256 页 | 247.15 KB | 1 年前
    3
  • epub文档 Agda User Manual v2.6.0

    Miscellaneous What is Agda? Agda is a dependently typed programming language. It is an extension of Martin- Löf’s type theory, and is the latest in the tradition of languages developed in the programming logic group like Scheme [http://en.wikipedia.org/wiki/Scheme_%28programming_language%29]. In such languages, if f is a function, one can apply it to anything, including itself. This makes it easy to write programs org/software/ncurses/). Your package manager may be able to install these files for you. For instance, on Debian or Ubuntu it should suffice to run apt-get install zlib1g-dev libncurses5-dev as root to get the
    0 码力 | 256 页 | 246.87 KB | 1 年前
    3
  • epub文档 Agda User Manual v2.6.1.3

    dependently typed programming language. It is an extension of Martin- Löf’s type theory [https://ncatlab.org/nlab/show/Martin-L%C3%B6f+dependent+type+theory] and is the latest in the tradition of languages like Scheme [https://en.wikipedia.org/wiki/Scheme_%28programming_language%29]. In such languages, if f is a function, one can apply it to anything, including itself. This makes it easy to write programs org/software/ncurses/). Your package manager may be able to install these files for you. For instance, on Debian or Ubuntu it should suffice to run apt-get install zlib1g-dev libncurses5-dev as root to get the
    0 码力 | 305 页 | 375.80 KB | 1 年前
    3
  • epub文档 Agda User Manual v2.6.1.2

    dependently typed programming language. It is an extension of Martin- Löf’s type theory [https://ncatlab.org/nlab/show/Martin-L%C3%B6f+dependent+type+theory] and is the latest in the tradition of languages like Scheme [https://en.wikipedia.org/wiki/Scheme_%28programming_language%29]. In such languages, if f is a function, one can apply it to anything, including itself. This makes it easy to write programs org/software/ncurses/). Your package manager may be able to install these files for you. For instance, on Debian or Ubuntu it should suffice to run apt-get install zlib1g-dev libncurses5-dev as root to get the
    0 码力 | 304 页 | 375.60 KB | 1 年前
    3
  • epub文档 Agda User Manual v2.6.1.1

    dependently typed programming language. It is an extension of Martin- Löf’s type theory [https://ncatlab.org/nlab/show/Martin-L%C3%B6f+dependent+type+theory] and is the latest in the tradition of languages like Scheme [https://en.wikipedia.org/wiki/Scheme_%28programming_language%29]. In such languages, if f is a function, one can apply it to anything, including itself. This makes it easy to write programs org/software/ncurses/). Your package manager may be able to install these files for you. For instance, on Debian or Ubuntu it should suffice to run apt-get install zlib1g-dev libncurses5-dev as root to get the
    0 码力 | 297 页 | 375.42 KB | 1 年前
    3
  • epub文档 Agda User Manual v2.6.1

    dependently typed programming language. It is an extension of Martin- Löf’s type theory [https://ncatlab.org/nlab/show/Martin-L%C3%B6f+dependent+type+theory] and is the latest in the tradition of languages like Scheme [https://en.wikipedia.org/wiki/Scheme_%28programming_language%29]. In such languages, if f is a function, one can apply it to anything, including itself. This makes it easy to write programs org/software/ncurses/). Your package manager may be able to install these files for you. For instance, on Debian or Ubuntu it should suffice to run apt-get install zlib1g-dev libncurses5-dev as root to get the
    0 码力 | 297 页 | 375.42 KB | 1 年前
    3
共 662 条
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 67
前往
页
相关搜索词
LinuxcommandlineforyouandmeDocumentationRelease0.1AgdaUserManualv25.46.06.1
IT文库
关于我们 文库协议 联系我们 意见反馈 免责声明
本站文档数据由用户上传或本站整理自互联网,不以营利为目的,供所有人免费下载和学习使用。如侵犯您的权益,请联系我们进行删除。
IT文库 ©1024 - 2025 | 站点地图
Powered By MOREDOC AI v3.3.0-beta.70
  • 关注我们的公众号【刻舟求荐】,给您不一样的精彩
    关注我们的公众号【刻舟求荐】,给您不一样的精彩