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

无数据

分类

全部后端开发(111)Julia(31)Python(30)Django(30)其它语言(24)nim(15)C++(5)Kotlin(2)Lean(2)Go(1)

语言

全部英语(101)中文(繁体)(10)

格式

全部PDF文档 PDF(84)其他文档 其他(27)
 
本次搜索耗时 0.030 秒,为您找到相关结果约 111 个.
  • 全部
  • 后端开发
  • Julia
  • Python
  • Django
  • 其它语言
  • nim
  • C++
  • Kotlin
  • Lean
  • Go
  • 全部
  • 英语
  • 中文(繁体)
  • 全部
  • PDF文档 PDF
  • 其他文档 其他
  • 默认排序
  • 最新排序
  • 页数排序
  • 大小排序
  • 全部时间
  • 最近一天
  • 最近一周
  • 最近一个月
  • 最近三个月
  • 最近半年
  • 最近一年
  • pdf文档 From Functions to Coroutines

    parallelizable ▪ Results can be cachedPure Functions Working with a pure function is based on discipline Use common functions, meta-functions, constexpr, or consteval functions ▪ Function int powFunc(int
    0 码力 | 29 页 | 510.47 KB | 6 月前
    3
  • pdf文档 A Security Guide for Kotlin Developers

    expansive side. 1. 2. 7 Kiuwan | Security Guide for Kotlin Developers Exception handling is a discipline of its own in programming. So when developer teams are busy coding their app, it might be strayed
    0 码力 | 13 页 | 1.80 MB | 1 年前
    3
  • pdf文档 High-Performance Cross-Platform Architecture: C++20 Innovations

    platform • We can isolate platforms • We can minimize redundancy • With C++ 20, concepts, and some discipline we can have it all at once • https://github.com/noahstein/Ark
    0 码力 | 75 页 | 581.83 KB | 6 月前
    3
  • pdf文档 Irksome C++

    “no·men·cla·ture noun � “the devising or choosing of names for things, especially in a science or other discipline” • I’m certainly not suggesbng that it’s feasible, at this late date, to adjust many (or even
    0 码力 | 15 页 | 3.03 MB | 6 月前
    3
  • pdf文档 generic graph libraries

    standardization 。Lessons Learned Generic Programming and Generic Libraries *,Generic programming is a sub-discipline of computer science that deals with finding abstract representations of efficient algorithms, data
    0 码力 | 76 页 | 6.59 MB | 6 月前
    3
  • pdf文档 Some Things C++ Does Right

    to be used tsit.Use(); } 152The beauty of friend • Obviously, if you leave it to programmers’ discipline, you’ll get what you deserve 153The beauty of friend class TwoStepInitThing { public: TwoStepInitThing();
    0 码力 | 228 页 | 2.47 MB | 6 月前
    3
  • pdf文档 An Introduction to Lean

    of information can be inferred from an understanding of the types of objects involved. A typing discipline also makes it possible for a system like Lean to detect and flag errors, such as sending the wrong
    0 码力 | 48 页 | 191.92 KB | 1 年前
    3
  • pdf文档 The Hitchhiker’s Guide to Logical Verification

    evaluate to. They introduce a discipline that is followed somewhat implicitly in mathematics. In principle, nothing prevents a mathematician from stating 1 ∈ 2, but a typing discipline would mark this as the
    0 码力 | 215 页 | 1.95 MB | 1 年前
    3
  • epub文档 Agda User Manual v2.6.0.1

    is. Between these two families of languages come languages, which may or may not have a typing discipline. Most imperative languages do not come with a rich type system. For example, C [http://en.wikipedia
    0 码力 | 256 页 | 247.15 KB | 1 年前
    3
  • epub文档 Agda User Manual v2.6.0

    is. Between these two families of languages come languages, which may or may not have a typing discipline. Most imperative languages do not come with a rich type system. For example, C [http://en.wikipedia
    0 码力 | 256 页 | 246.87 KB | 1 年前
    3
共 111 条
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 12
前往
页
相关搜索词
FromFunctionstoCoroutinesSecurityGuideforKotlinDevelopersHighPerformanceCrossPlatformArchitectureC++20InnovationsIrksomegenericgraphlibrariesSomeThingsDoesRightAnIntroductionLeanTheHitchhikerLogicalVerificationAgdaUserManualv26.0
IT文库
关于我们 文库协议 联系我们 意见反馈 免责声明
本站文档数据由用户上传或本站整理自互联网,不以营利为目的,供所有人免费下载和学习使用。如侵犯您的权益,请联系我们进行删除。
IT文库 ©1024 - 2025 | 站点地图
Powered By MOREDOC AI v3.3.0-beta.70
  • 关注我们的公众号【刻舟求荐】,给您不一样的精彩
    关注我们的公众号【刻舟求荐】,给您不一样的精彩