司法公正的理论根基 经典作家的分析视角 classical authors' analytical perspective
胡玉鸿著2006 年出版484 页ISBN：7802300150
本书通过对马克思主义司法公正学说的分析、整理，有利于对马克思主义的这一理论宝库进行系统的研究，并为国内马克思主义法学思想研究成果的积累作出贡献；通过对马克思主义司法公正学说的专题研究，有利于纠正以往...
嵌入式软件概论Embedded Software：The Works
（美）ColinWalls著2007 年出版337 页ISBN：781124215X
本书总结了作者从事嵌入式系统开发几十年的经验，对嵌入式软件开发中经常会遇到的一些问题进行了分析和解答，涉及面较广，几乎涵盖了嵌入式软件的所有方面，包括处理器体系架构、C/C++编程语言、开发环境和工具、...
Software testing principles and practice = 软件测试 原理与实践（英文版）
Stephen Brown ; Joe Timoney ; Tom Lysaght ; Deshi (叶德仕) Ye2012 年出版194 页ISBN：7111388630
Lecture Notes in Computer Science 341 Software Reliability Modelling and Identification
1988 年出版209 页ISBN：3540506950
Informatik-Fachberichte 36 The Use of Formal Specification of Software
1980 年出版388 页ISBN：3540104429
Lecture Notes in Computer Science 4344 Software Architecture Third European Workshop
EWSA 20062006 年出版245 页ISBN：9783540692713
Software process improvement = 软件过程改进 : practical guidelines for business success
Zahran1998 年出版454 页ISBN：711111809X
本书主要讲述了软件过程改进方面的知识。
CURRENT TRENDS IN PROGRAMMING METHODOLOGY Software Specification and Design Vol.1
RAYMOND T.YEH2222 年出版0 页ISBN：
电磁学引论 英文版 = Introduction to Electromagnetism Historical Review on Classical Electromagnetism & Rati
杨本洛著2017 年出版323 页ISBN：9787313151278
于19世纪50年代的一个半世纪里，这是第一次有人从“形式逻辑”的基本框架出发，对这个经典理论体系所作的一次“体系性”反思、梳理、批判和重建。书中所出现不同于经典理论的所有材料、或者提出的独立研究结果...
