积分充值
 首页
前端开发
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文库
  • 综合
  • 文档
  • 文章

无数据

分类

全部后端开发(50)综合其他(34)区块链(32)Weblate(19)其它语言(15)KiCad(7)Krita(7)Go(2)系统运维(1)Kotlin(1)

语言

全部中文(简体)(67)英语(16)日语(1)韩语(1)

格式

全部其他文档 其他(85)
 
本次搜索耗时 0.081 秒,为您找到相关结果约 85 个.
  • 全部
  • 后端开发
  • 综合其他
  • 区块链
  • Weblate
  • 其它语言
  • KiCad
  • Krita
  • Go
  • 系统运维
  • Kotlin
  • 全部
  • 中文(简体)
  • 英语
  • 日语
  • 韩语
  • 全部
  • 其他文档 其他
  • 默认排序
  • 最新排序
  • 页数排序
  • 大小排序
  • 全部时间
  • 最近一天
  • 最近一周
  • 最近一个月
  • 最近三个月
  • 最近半年
  • 最近一年
  • epub文档 KiCad 5.1 原理图编辑器

    com/kicad/code/kicad-i18n/issues 出版日期和软件版本 发布于2015年5月30日。 第 1 章 Eeschema 简介 1.1. 描述 Eeschema 是一个原理图设计软件,作为 KiCad 的一部分分发,可在以下操作 系统下使用: Linux Apple OS X Windows 无论操作系统如何,所有 Eeschema 文件都可以从一个操作系统100%兼容到另 合作,后者是 KiCad 的印刷电路设计软件。 它还可 以导出网表文件,其中列出了其他软件包的所有电气连接。 Eeschema 包含一个符号库编辑器,可以创建和编辑符号并管理库。 它还集成 了现代原理图捕获软件所需的以下附加但必不可少的功能: 电气规则检查(ERC),用于自动控制错误和缺失的连接 以多种格式导出绘图文件(Postscript,PDF,HPGL和SVG) 物料清单生成(通过 Python 因此,对元件、元件引脚,连接或板的数量 没有实际限制。 在多张图表的情况下,表示是分层的。 Eeschema可以通过以下几种方式使用多表格图表: 简单的层次结构(每个原理图只使用一次)。 复杂的层次结构(一些原理图在多个实例中不止一次使用)。 扁平层次结构(原理图未在主图中明确连接)。 第 2 章 通用 Eeschema 命令 命令可以通过以下方式执行: 单击菜单栏(屏幕顶部)。 单击屏幕顶部的图标 (常规命令)。
    0 码力 | 248 页 | 2.00 MB | 1 年前
    3
  • epub文档 Agda User Manual v2.6.2

    AGDAPATTERN and AGDACLAUSE built-ins respectively. Types are simply terms. Terms and patterns use de Bruijn indices to represent variables. data Term : Set data Sort : Set data Pattern : Set data Clause : Pattern proj : (f : Name) → Pattern absurd : (x : Nat) → Pattern -- Absurd patterns have de Bruijn indices data Clause where clause : (tel : Telescope) (ps : List (Arg Pattern)) (t : correct-by-construction type checker for simply typed λ-calculus. First we define the raw terms, using de Bruijn indices for variables and explicit type annotations on the lambda: infixr 6 _=>_ data Type : Set
    0 码力 | 348 页 | 414.11 KB | 1 年前
    3
  • epub文档 Agda User Manual v2.6.2.2

    AGDAPATTERN and AGDACLAUSE built-ins respectively. Types are simply terms. Terms and patterns use de Bruijn indices to represent variables. data Term : Set data Sort : Set data Pattern : Set data Clause : Pattern proj : (f : Name) → Pattern absurd : (x : Nat) → Pattern -- Absurd patterns have de Bruijn indices data Clause where clause : (tel : Telescope) (ps : List (Arg Pattern)) (t : correct-by-construction type checker for simply typed λ-calculus. First we define the raw terms, using de Bruijn indices for variables and explicit type annotations on the lambda: infixr 6 _=>_ data Type : Set
    0 码力 | 354 页 | 433.60 KB | 1 年前
    3
  • epub文档 Agda User Manual v2.6.2.1

    AGDAPATTERN and AGDACLAUSE built-ins respectively. Types are simply terms. Terms and patterns use de Bruijn indices to represent variables. data Term : Set data Sort : Set data Pattern : Set data Clause : Pattern proj : (f : Name) → Pattern absurd : (x : Nat) → Pattern -- Absurd patterns have de Bruijn indices data Clause where clause : (tel : Telescope) (ps : List (Arg Pattern)) (t : correct-by-construction type checker for simply typed λ-calculus. First we define the raw terms, using de Bruijn indices for variables and explicit type annotations on the lambda: infixr 6 _=>_ data Type : Set
    0 码力 | 350 页 | 416.80 KB | 1 年前
    3
  • epub文档 Agda User Manual v2.6.3

    AGDAPATTERN and AGDACLAUSE built-ins respectively. Types are simply terms. Terms and patterns use de Bruijn indices to represent variables. data Term : Set data Sort : Set data Pattern : Set data Clause : Pattern proj : (f : Name) → Pattern absurd : (x : Nat) → Pattern -- Absurd patterns have de Bruijn indices data Clause where clause : (tel : Telescope) (ps : List (Arg Pattern)) (t : correct-by-construction type checker for simply typed λ-calculus. First we define the raw terms, using de Bruijn indices for variables and explicit type annotations on the lambda: infixr 6 _=>_ data Type : Set
    0 码力 | 379 页 | 354.83 KB | 1 年前
    3
  • epub文档 Agda User Manual v2.5.4.2

    the AGDATERM, AGDASORT and AGDACLAUSE built-ins respectively. Types are simply terms. Terms use de Bruijn indices to represent variables. data Term : Set data Sort : Set data Clause : Set Type = Term data correct-by-construction type checker for simply typed λ-calculus. First we define the raw terms, using de Bruijn indices for variables and explicit type annotations on the lambda: infixr 6 _=>_ data Type : Set
    0 码力 | 216 页 | 207.61 KB | 1 年前
    3
  • epub文档 Agda User Manual v2.5.4.1

    the AGDATERM, AGDASORT and AGDACLAUSE built-ins respectively. Types are simply terms. Terms use de Bruijn indices to represent variables. data Term : Set data Sort : Set data Clause : Set Type = Term data correct-by-construction type checker for simply typed λ-calculus. First we define the raw terms, using de Bruijn indices for variables and explicit type annotations on the lambda: infixr 6 _=>_ data Type : Set
    0 码力 | 216 页 | 207.64 KB | 1 年前
    3
  • epub文档 Agda User Manual v2.5.4

    the AGDATERM, AGDASORT and AGDACLAUSE built-ins respectively. Types are simply terms. Terms use de Bruijn indices to represent variables. data Term : Set data Sort : Set data Clause : Set Type = Term data correct-by-construction type checker for simply typed λ-calculus. First we define the raw terms, using de Bruijn indices for variables and explicit type annotations on the lambda: infixr 6 _=>_ data Type : Set
    0 码力 | 216 页 | 207.63 KB | 1 年前
    3
  • epub文档 Krita 4.x 官方文档中文版 2021-08-06A

    习。 参考手册 新手入门 如果你从未接触过类似 Krita 的软件, 我们建议你从本章入门。如果你来自 PS 和 SAI,我们也准备了 迁移教程 。 按照软件界面分类,并逐一介绍每 个功能项的原理和含义,便于功能 速查和知识补遗。 数字绘画基础知识 介绍绘画和计算机图像技术的基础知 识,带领初学者掌握关键的抽象概念。 配合 实例教程 阅读,可快速完成数字 绘画的入门学习。 常见问题解答 或者其他所需尺寸。如需了解本对话框的其他功能,如从剪贴板新建 等,可参考 创建新文档 页面。 请确保“色彩”区域的选项设置如下:模型为 RGB,通道为 8 位整数/通道。如 需深入了解色彩管理方面的知识,请参考 色彩原理 页面。 如何使用笔刷 创建了新文档后,Krita 窗口就会显示它的画布,你可以立即使用鼠标或者数 位板的压感笔在它上面进行绘画。在默认状态下,Krita 在启动后会默认选 中“手绘笔刷工具”。如果该工具没有被选中,你可以按 的各个选项的调整也会使绘制的笔画呈现出不同的效果。 Krita 内建了 种类繁多的笔刷引擎,它们的工作原理各不相同,效果各具特 色,每一种引擎都有其独特的用途。 左图: 像素笔刷引擎; 中图: 颜色涂抹笔刷引擎; 右图: 草图笔刷。 像素笔刷引擎和颜色涂抹笔刷引擎是数字绘画最常用到的两种笔刷引擎。像素 引擎的工作原理最为简单,处理速度也最快,采用这种引擎的笔刷预设可以很 好地完成绝大多数的基本绘画工作。而颜色涂抹引擎虽然比像素引擎要慢,但
    0 码力 | 1373 页 | 74.74 MB | 1 年前
    3
  • epub文档 Agda User Manual v2.6.0.1

    the AGDATERM, AGDASORT and AGDACLAUSE built-ins respectively. Types are simply terms. Terms use de Bruijn indices to represent variables. data Term : Set data Sort : Set data Clause : Set Type = Term data correct-by-construction type checker for simply typed λ-calculus. First we define the raw terms, using de Bruijn indices for variables and explicit type annotations on the lambda: infixr 6 _=>_ data Type : Set
    0 码力 | 256 页 | 247.15 KB | 1 年前
    3
共 85 条
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 9
前往
页
相关搜索词
KiCad5.1原理原理图编辑编辑器AgdaUserManualv26.26.35.4Krita官方文档中文文版中文版20210806A6.0
IT文库
关于我们 文库协议 联系我们 意见反馈 免责声明
本站文档数据由用户上传或本站整理自互联网,不以营利为目的,供所有人免费下载和学习使用。如侵犯您的权益,请联系我们进行删除。
IT文库 ©1024 - 2025 | 站点地图
Powered By MOREDOC AI v3.3.0-beta.70
  • 关注我们的公众号【刻舟求荐】,给您不一样的精彩
    关注我们的公众号【刻舟求荐】,给您不一样的精彩