Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
ecology of soil fauna in a desertified system=中国沙地系统土壤动物生态研究
chief editor and liu rentao2015 年出版228 页ISBN：7030465636
本专著是作者从事沙地土壤动物生态学相关研究的最新成果，对于沙地生物多样性保护、沙地生态系统管理以及防沙治沙均具有重要的理论与实践意义。全书是共分九章，主要从土壤动物的概念、划分和研究方法、沙漠化...
DIGITAL SIGNAL PROCESSING A COMPUTER-BASED-APPROACH THIRD EDITON
[美]SANJIT K.MITRA著 阔永红改编2006 年出版489 页ISBN：7121023679
本书是在数字信号领域的经典教材Digital Signal Processing: A Computer-Based Approach（第三版）的基础上改编而成，内容涵盖信号与信号处理、时域中的离散时间信号和系统、变换域中的离散时间信号、变换域中的...
SERIES IN COMPUTER SCIENCE-VOL.5 VISUALIZING ABSTRACT BOJECTS AND RELATIONS A CONSTRAINT-BASED APPRO
1989 年出版162 页ISBN：9810200099
CONCEPTS IN DATA STRUCTURES AND SOFTWARE DEVELOPMENT:A TEXT FOR THE SECOND COURSE IN COMPUTER SCIENC
G.MICHAEK SCHNEIDER STEVEN C.BRUELL1992 年出版526 页ISBN：0314774602
计算机科学—C++软件工程方法（第2版）Computer Science_ A Structred Approach Using C++_Second Edition
Behrouz A.Forouzan2006 年出版0 页ISBN：
Computer systems architecture a networking approach (Seond Edition)= 计算机系统结构 （英文版·第2版）
Rob Williams2007 年出版732 页ISBN：7111204174
本书介绍了计算机系统体系结构的基本概念及内容，包含了对ARMt Itanium处理器的扩展描述以及对数据通信领域的延伸介绍等最新内容，并以大量实例强调了完全理解通过硬件软件交互来使计算机达到最佳性能的重要性...
THE ENVIRONMENTAL PSYCHOLOGY OF PRISONS AND JAILS CREATING HUMANE SPACES IN SECURE SETTINGS
RICHARD E.WENER2012 年出版300 页ISBN：0521452762
（美）（A.卡拉西克）Anne Carasik著；张蓬等译2000 年出版173 页ISBN：7111081226
随着网络的不断发展，网络的安全也变得越来越重要。本书针对这一问题专门介绍了Secure Shell（SSH）工具。SSH包括三个主要部分：UNIX进程、TCP/IP网络以及加密。它改善了UNIX的不足，并使安全性管理的复杂程度降到很...
数字信号处理 基于计算机的方法 a computer-based approach 上
（美）Sanjit K.Mitra著；孙洪等译2006 年出版538 页ISBN：712102652X
本书是数字信号领域的经典教材，内容涵盖了信号与信号处理、时域中的离散时间信号与系统、变换域中的离散时间信号、变换域中的LTI离散时间系统、连续时间信号的数字处理、数字滤波器的结构与设计、DSP算法实...
