《算法設計與分析》是普通高等教育“十一五”國家級規(guī)劃教材�！端惴ㄔO計與分析》以算法設計策略為知識單元，系統(tǒng)地介紹計算機算法的設計方法與分析技巧，以期為計算機科學與技術專業(yè)的學生提供廣泛而堅實的計算機基礎知識。主要內容包括算法分析技術，算法設計技術，P類，NP類及NPC類，證明問題屬于NPC類的技術，NPC問題子問題的復

《Z形式規(guī)約的自動求精研究》敘述簡明清晰，邏輯性強，可作為高等學校相關專業(yè)研究生和從事形式語言研究、大型軟件形式化開發(fā)與應用的專業(yè)人員參考。Z形式規(guī)約是一種世界上廣泛使用的軟件規(guī)格說明語言，在軟件開發(fā)的需求規(guī)格說明階段和軟件設計階段都可以使用，對于提高大型軟件質量、驗證軟件設計正確性等方面具有非常重要的意義。由于Z是以

本書從系統(tǒng)工程的角度闡述信息安全，將信息安全上升為信息安全系統(tǒng)工程。全書分為3篇，分別闡述了信息安全原理及技術、信息安全管理和信息安全法律法規(guī)。

單處理器計算機系統(tǒng)結構和工作原理，以及基本設計方法。第1章主要介紹計算機系統(tǒng)結構的概況。第2章主要介紹計算機中的重要運算部件：運算器的組成原理和基本設計方法。第3章主要介紹層次結構的存儲器的組成、設計原理和方法。第4章重點介紹計算機指令系統(tǒng)。第5章詳細介紹處理器的工作原理和基本設計方法。第6章總線與輸入輸出系統(tǒng)則主要介

《信息安全工程》力圖從工程的角度出發(fā)，對信息安全從規(guī)劃與控制、需求與分析、實施與評估全過程的描述，并結合具體的信息安全工程的實現(xiàn)，描述了信息安全工程的內容�！缎畔�安全工程》主要介紹了信息安全工程基礎、系統(tǒng)安全工程能力成熟度模型（SSE—CMM）、信息安全工程實施、信息安全風險評估、信息安全策略、信息安全工程與等級保護和

《21世紀高等學校規(guī)劃教材：計算機組成原理》系統(tǒng)地介紹了計算機硬件系統(tǒng)的工作原理和組成結構，包括運算器、控制器、存儲器、輸入／輸出系統(tǒng)及計算機中數(shù)據(jù)表示與運算的基礎知識。全書共分8章，第1、2章介紹計算機的基礎知識；第3～8章講述計算機各個組成部分的工作原理和設計方法�！�21世紀高等學校規(guī)劃教材：計算機組成原理》既注意

信息安全分為信息設備安全、數(shù)據(jù)安全、內容安全和行為安全幾個方面。本書全面介紹了信息安全的理論和技術，主要內容包括信息安全概述、對稱密碼、公匙密碼與Hash函數(shù)、網(wǎng)絡安全等，內容豐富。

本書以通俗的語言介紹了有關信息安全的知識，內容包括密碼學、網(wǎng)絡安全保密技術、信息系統(tǒng)安全保障、外軍通信安全保密技術、信息安全保密技術的綜合結構、軍事通信系統(tǒng)安全保密發(fā)展思路等。

本書詳細介紹了常用數(shù)據(jù)結構和算法的基本概念及其不同的實現(xiàn)方法，對各種數(shù)據(jù)結構，討論了在不同存儲結構上實現(xiàn)線性和非線性結構的不同運算，并對算法設計的方法和技巧進行了介紹。

本書以通俗的語言全面介紹有關信息安全的知識。內容包括：綜述、密碼學、網(wǎng)絡安全保密技術、信息系統(tǒng)安全保障、外軍通信安全保密技術、信息安全保密技術的結合結構、軍事通信系統(tǒng)安全保密發(fā)展思路等。