100 条"编程与类型系统"搜索结果
  • [美] 弗拉德·里斯库迪亚
  • 微软资深工程师撰写,从实际应用角度,系统阐述如何使用类型系统编写更好、更安全的代码。
工业机器人编程与系统集成 电子书
  • 主编
  • 全书共分5个模块,主要包括:工业机器人编程基础、ABB工业机器人I/O配置与应用、ABB工业机器人示教编程、ABB工业机器人总线与网络通信、ABB工业机器人与外围设备系统集成,每一个模块均配有较为详细的图文内容。本书可作为高等职业院校工业机器人技术、机电一体化技术、智能控制技术及其他专业的教材,也作为工业机器人编程与系统集成工程技术人员的参考书。
Linux操作系统应用编程 电子书
  • 编著
  • 本书从初学者的角度全面详细地介绍了LinuxCentOS7操作系统的基本概念和常用命令的使用。内容包括Linux的基本概念、常用命令、文件系统、vi编辑器、进程管理、Shell程序设计、数据管理工具、集成编译工具、文件管理、进程间通信和线程控制等,最后给出了一组综合设计实验。
缔约过失构成与类型 电子书
  • 王洪亮
  • 本书挖掘了缔约过失的学说起源以及在德国法上的确立与发展,解释了德国法上缔约过失制度产生与扩张的原因;基于缔约过失一般构成,解释出违反保护义务、中断缔约、合同效力阻碍以及过失违反说明义务的缔约过失责任等类型。
Linux系统编程(慕课版) 电子书
  • 千锋教育高教产品研发部
  • 本书共分12章:第1章介绍了Linux操作系统的核心,即有关文件的操作;第2章介绍了不同形式I/O的操作接口;第3章介绍了进程的相关属性与进程的创建,以及进程的各种状态;第4章介绍了多线程编程,以及线程同步互斥机制;第5章介绍了三种早期的进程间通信机制;第6章介绍了SystemV的三种进程间通信机制;第7章~第10章介绍了进程间通信的重要知识,从网络基础编程及协议分析,到难度更深的网络高级编程;第
数据库系统——原理、设计与编程(MOOC版) 电子书
  • 张凤荔
  • 数据库原理与技术应用:关系模型、SQL、设计、管理及NoSQL等。
特殊类型断指再植技术与实例 电子书
  • 徐永清
  • 本书是一部实用性很强的图谱性专著,编者参考国内外文献,结合自己多年临床经验和研究成果编写而成。
工业机器人系统编程(FANUC机器人) 电子书
  • 韩亚军,朱开波,张晓娟 主编
  • 本书从FANUC工业机器人应用过程中需掌握的技能出发,由浅入深、循序渐进地介绍了FANUC工业机器人操作编程的相关知识。全书共7章,内容包括工业机器人、坐标系设置、程序、指令、通信信号、文件备份和加载、零点复归以及相关的注意事项。同时,为了让读者能够及时地检查自己的学习效果,掌握自己的课程学习进度,每章后均设置了丰富的练习题,并在书后附有各章练习题的参考答案。本书图文并茂,通俗易懂,具有较强的实用
信号与系统(微课版 支持H5交互) 电子书
  • 北京邮电大学信号与系统课程组 组编
  • 本书主要讲解信号的描述和运算、线性时不变系统的描述和特性,以及确定性信号通过线性时不变系统传输与处理的基本分析方法。全书共7章,主要内容包括信号与系统概述、系统的时域分析、连续信号的频域分析、连续系统的频域分析、连续信号与系统的复频域分析、离散信号与系统的z域分析、系统的状态变量分析。本书支持H5交互教学,并提供讲解视频、课程PPT、教学大纲、教案、源代码等教学资源。本书可作为院校电子信息类、自动
开放式控制系统编程技术 电子书
  • 马立新 陆国君
  • CODESYS作为遵循IEC61131-3国际编程标准、面向工业4.0应用的软件开发平台,提供了一整套功能强大的工业自动化解决方案。本书是由3S软件有限公司组织编写的一本使用指南,涵盖了最新的CODESYSV3的功能与特性。全书包括9章和若干附录,分别介绍了IEC61131-3标准、CODESYS软件开发平台的整体框架、IEC编程基础、IEC61131-3的5种标准编程语言、与逻辑控制相关的指令系
软件定义安全及可编程对抗系统实战 电子书
  • 金飞、周辛酉、陈玉奇
  • 软件定义安全由软件定义网络引申而来,实现安全由业务和应用驱动,从而实现复杂网络的安全防护,提升安全防护能力和用户安全体验。可编程对抗防御系统是F5公司提出的一种基于云端的安全服务,可以灵活、便捷地应对各种攻击。《软件定义安全及可编程对抗系统实战》以作者多年的工作经验为基础,详细介绍了软件定义安全以及可编程对抗系统的相关概念和具体应用。本书共分10章,从安全现状、核心问题、防御架构、成功案例等几个方
刑法立法类型化研究 电子书
  • 蔡荣
  • 本书以“刑法立法类型化”为主题,开篇对类型思维作为一种立法方法论的问题导向、理论源起、学史综述进行梳理,再围绕刑法类型化改造的功能定位、生成逻辑、边界限度及其实践运用进行具体展开。
Python编程基础与应用 电子书
  • 李方园
  • 《Python编程基础与应用》以“任务驱动,实战领先”为出发点,通过216个实例详细介绍了Python语言的基础知识和语法操作规范,同时,书中还剖析了10个综合应用案例,以培养读者解决问题的能力。本书将理论和实践融为一体,让读者真正做到学以致用。本书可以作为高职高专院校计算机类、自动化类、电子信息类、数字经济类等专业的Python编程入门教材,同时也可作为广大Python语言爱好者自学的参考书。本
信号与系统 电子书
  • 孙爱晶 吉利萍 党薇
  • 本书全面系统地论述了信号与系统的基本理论和分析方法,主要内容包括信号与系统的基本概念,连续时间信号与系统的时域、频域和S域分析,离散时间信号与系统的时域、频域和Z域分析,系统的状态变量分析。本书采用连续与离散并行、先时域后变换域的结构体系,对课程内容做了适当的调整。内容取材上突出基本理论、基本概念和基本方法,注重工程应用和实例分析,引入MATLAB软件进行信号与系统分析的仿真实现。本书可作为高等学
信号与系统 电子书
  • 陈后金等
  • 陈后金、胡健、薛健编著的《信号与系统(21世纪高职高专规划教材)》主要阐述确定性信号的时域分析和频域分析,线性时不变系统的描述与特性,以及信号通过线性时不变系统的时域分析与变换域分析,并简要介绍了信号与系统的基本理论和方法在通信系统中的应用。本书根据信息科学与技术发展趋势,结合近年来教学改革的成果,按照连续和离散并行、先时域后变换域的结构体系,对课程的内容做了较大幅度的更新。从信号表示的视角阐述信
面向设计师的编程设计知识系统PADKS--编程景观 电子书
  • 包瑞清
  • 编程景观是基于计算机技术的,工欲善其事,必先利其器,因此设计师步入这个领域的首要要求就是必须会使用编程设计工具,例如节点式编程语言Grasshopper、经常作为脚本语言的Python以及多智能体仿真平台NetLogo等,而不是传统意义上AutoCAD的操作命令,因此需要首先明确编程设计不是单纯的计算机操作,而是一门新的学科,一个能够辅助设计、拓展设计、变革设计甚至主导设计的设计领域,一个基于传统
可编程序控制系统设计技术(FX系列) 电子书
  • 吴启红
  • 本书共分12章,系统地介绍了PLC的构造、工作原理、PLC与外围设备控制技巧。FX系列PLC基本指令的编程技巧、功能指令的编程应用技巧、PLC通信技术、PLC过程控制设计技术、PLC运动控制设计技术、PLC与触摸屏、变频器综合设计技术等。同时还讲述了三菱触摸屏软件设计技术、变频器应用技术、PLC编程软件使用技术。
智能制造控制系统编程与调试(S7-1200 PLC)(微课版) 电子书
  • 赵橄培
  • 本书以西门子S7-1200PLC为控制系统应用载体,利用典型的智能制造应用场景设计了基于工作过程的8个学习模块共14个任务。全书将编程基本概念、编程思路、调试技巧有机融入各任务,具体包括智能制造控制系统与编程软件、制造单元信号指示灯控制、PLC与工业机器人的通信控制、伺服运动控制、制造单元数控机床控制、智能仓储单元控制、智能制造单元SCADA系统开发、智能制造单元综合控制实例等内容。
Python机器学习编程与实战 电子书
  • 林耀进 张良均
  • 本书共8章,内容包括Python概述、NumPy数值计算、pandas基础、pandas进阶、Matplotlib绘图、scikit-learn、餐饮企业综合分析与预测、通信运营商客户流失分析与预测。前6章设置了选择题、填空题和操作题,后两章设置了操作题,希望通过练习和操作实践,读者可以巩固所学的内容。
Scratch编程入门与算法进阶 电子书
  • 程晨
  • Scratch是国际流行的图形化编程软件,使用者即使没有编程基础、不会编程语言,只要有清晰的思路,也可以通过拖曳各个功能模块的方式,配合硬件制作出智能互动项目,轻松把创意变成现实。本书手把手教你Scratch的基本用法和多个有趣小游戏的制作过程,让你逐步学会智能互动知识。
Python编程入门与算法进阶 电子书
  • 中国电子学会
  • Python简单易学,是一种非常适合零基础编程人员学习算法与编程的高级程序设计语言。本书是中国电子学会全国青少年软件编程等级考试Python编程一至四级的指定用书,基于Python自带的集成开发工具IDLE3.5.2版本,对应每级考试要求讲解知识要点。对于广大青少年学习者,本书能够指导他们了解并掌握Python语言编程技巧,培养他们用Python语言编程解决生活中实际问题的能力。