张卫平主编2014 年出版300 页ISBN：9787561552223
本集刊《民事程序法研究》》是我社与中国民事诉讼法研究会合作的成果。该集刊每年保持上下半年各一辑的出版频次，2014年出版的第12辑延续第11辑的体例结构，但也注重吸收最新的民事程序法研究成果及民事诉讼法...
（美）Andrew W. Appel，（美）With Jens Palsberg2003 年出版501 页ISBN：7040135019
本书阐述了编译程序的各个方面：词法分析，句法分析，抽象语法，语义行为，中间件表示，通过树匹配实现的指令选择，数据流分析，配色图寄存器分配和运行系统。书中内容较好地涵盖了代码生成和寄存器分配的新技术，还......
朱先忠，邵建玉，温莹洁编著2008 年出版920 页ISBN：9787121068348
本书尽量按照从易到难、由浅入深、循序渐进的顺序介绍ASP.NET AJAX框架的知识点，并使用大量的图表与实例使读者更加深刻地理解所学习的知识，更好地进行开发实践。本书分为四篇共22章。在第一篇中，我们首先介绍...
（英）Lawrence C.Paulson著；柯韦译2005 年出版369 页ISBN：7111161211
本书是关于ML程序设计的经典教材，详细介绍如何使用ML语言进行程序设计，并讲解函数式程序设计的基本原理。书中含有大量例子，涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法...
刑事证明责任研究 穿梭于实体与程序之间 from both substantial and procedural angles of view
黄维智著2007 年出版379 页ISBN：7301122969
证明责任是一种诉讼法上的证明负担，同时又是对实体法的犯罪构成进行证明的义务担当，因此证明责任规范不可避免地涉及实体与程序两个方面，可以说是沟通实体与程序之间的桥梁。刑事证明责任问题绝非一个无意义的...
单片机C语言程序设计实训100例 基于Arduino+Proteus仿真
（中国）彭伟2019 年出版425 页ISBN：9787121367885
本书基于Atmel Studio+Arduino IDE开发平台和Proteus硬件仿真平台，精心编写了100项Arduino C语言程序设计案例并分别提出了难易适中的实训目标。全书基础设计类案例涵盖Arduino最基本的端口I/O、定时控制、A...
韩雪娜，金一宁主编；李俊玲，孔庆彦，康婧副主编2017 年出版305 页ISBN：9787030541970
C语言是计算机学科的核心课程，也是其他理工科专业计算机基础训练的必修课。C语言功能丰富，表达能力强，使用灵活方便，应用面馆，目标程序效率高，可移植性好，兼备高级程序语言和低级程序语言的诸多优点，所以在计......
嵌入式操作系统原理与面向任务程序设计 基于μC/OS-Ⅱ v2.86和ARM920T
张勇编著2010 年出版310 页ISBN：9787560624907
本书基于μC／OS-Ⅱ V2．86和ARM920T芯片讲述嵌入式操作系统的工作原理以及面向任务程序设计方法，阐述基于μC／OS-Ⅱ系统的用户应用程序的工作流程，主要内容包括嵌入式实时操作系统概述、嵌入式实时操作系统原理、...
全国计算机等级考试考眼分析与样卷解析 二级Access数据库程序设计
全国计算机等级考试命题研究组编写2014 年出版222 页ISBN：9787563537242
本书结合最新版考试大纲、指定教程，以历年真题（库）为基础，结合编者多年从事命题、阅卷及培训辅导的实际经验编写而成。本书分为上、下两篇：考眼分析和样卷解析。在上篇考眼分析中，按官方指定考试教程章节编排内.....
周晓云主编；陶霖，陆虹副主编2004 年出版204 页ISBN：7040145723
本书写作过程中，总结了多年的教学经验，克服以往局域性、地方性编写此类教材的弊病，广泛吸收国内外教学研究成果，对基本理论、基本概念、基本术语进行了清整和统一，并且十分缜密地调整了学科体系。本书的教学内容...
