大约有10,000项符合查询结果项。(搜索耗时:0.0306秒)
为您推荐: python语言程序设计教程上海交通 幼儿园语言教育活动及设计东北师范大学出版社9787568164955 python语言程序设计教程 python语言程序设计 高级语言程序设计机械工业出版社 超简单的python人气讲师为你讲解程序开发
-
可编程序控制器应用(S7-200) 【工业技术】
何强,单启兵主编2010 年出版97 页ISBN:9787508472942本书是按照高职高专机电一体化技术及相关专业培养目标的要求,以工作过程为导向,以西门子S7-200 PLC为对象,以S7-200 PLC的应用技术为重点而编写的。本书主要介绍了PLC的基础知识,包括:PLC的特点、应用以及PLC组...
-
PHP应用程序安全编程 【工业技术】
(美)TriciaBallad,WilliamBallad著2010 年出版208 页ISBN:9787111291817本书帮助读者掌握编写可靠PHP代码,提高正在使用的PHP软件安全所需的技术、技巧以及最佳实践。本书作者拥有超过15年在Web开发、安全以及培训方面的经验,介绍如何找到PHP代码的安全漏洞,同时给出PHP开发人员最...
-
全国计算机等级考试笔试·上机一本通 二级C语言 【工业技术】
全国计算机等级考试命题研究中心,未来教育教学与研究中心编著2010 年出版241 页ISBN:9787115215857本书根据全国计算机等级考试二级C语言的考试大纲编写而成。内容包括二级公共基础知识,二级C语言的笔试与机试考点分析,以及笔试、上机套题等。...
-
西门子S7可编程序控制器 STEP7编程指南 【工业技术】
崔坚,赵欣,任术才编著2010 年出版418 页ISBN:9787111287186本书介绍了西门子公司的PLC系统硬件、CPU的存储器、数据区、中断和扫描这些与用户编程相关的内容,可作为广大自动化产品工程师快速深入掌握西门子PLC的参考书。...
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术 【数理化】
YvesBertot,PierreCasteran等著2010 年出版432 页ISBN:9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这本书给出了大量的例子,所有这些例子都可以在计算机上执行。...
-
8位单片机C语言编程 基于PIC16 【工业技术】
(英)贝茨著2010 年出版170 页ISBN:9787115231666本书讲述了8位PIC16单片机,内容包括如何编程、如何测试、如何调试功能强大的PIC16单片机。本书以众多的例子来辅助讲解,程序以C语言描述。本书以简洁明了的方式,以实际例子辅助讲解最新的8位PIC16单片机,适合初...
-
刑事诉讼程序要点精释与裁判依据 【政治法律】
杨明,史明武,宋家宁本卷主编2010 年出版377 页ISBN:9787510900372本书参照《刑事诉讼法》的体例,分4编,20章,约400个问题。针对提出的问题,分为[法律依据]和[实践指导]两个部分,[法律依据]直接提供立法和司法解释的相关规定,[实践指导]是在[法律依据]基础上提示应当注意的问题,有...
-
Delphi程序开发范例宝典 第2版 【工业技术】
梁水编著2010 年出版770 页ISBN:9787115216762本书全面介绍了Delphi程序开发所用到的技术和技巧,共分19章,内容包括窗体与界面技术、控件应用、数据处理技术、图形技术、多媒体技术、文件系统、操作系统与Window相差程序、注册表、数据库技术、SQL查询相...
-
MATLAB语言基础与应用 【工业技术】
王永龙,张兆忠,张桂红编著2010 年出版288 页ISBN:9787121117978本书首先介绍了MATLAB语言程序设计的基本内容,并以物理、数学、电子信息、自动化等领域的问题为载体对相关知识进行了讲解,例如,求解平行六面体体积、求方程特征矩阵特征值、电路问题的求解、稀疏矩阵在物理绘...
-
功能语言学与语篇分析研究 第2辑 【语言文字】
黄国文主编2010 年出版443 页ISBN:9787040292763本书为中国功能语言学研究会、中国英汉语篇分析研究会会刊,主编为黄国文教授,每年出版一辑,内容主要包括理论解读、对比研究、词汇语法研究、评价研究、批评性话语、分析功能语篇、分析语言教学等栏目。本书为...
