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

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

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

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

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

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

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

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

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

本書共分為8章，即章緒論，第2章信息編碼與運算方法，第3章存儲器系統(tǒng)，第4章指令系統(tǒng)，第5章CPU控制器，第6章總線系統(tǒng)，第7章輸入輸出系統(tǒng)，第8章全真試題。同時，在各章之后都有量的試題，可用于檢測知識的掌握情況。本書特點是通俗易懂、內(nèi)容全面、重點突出，適用于準備參加研究生入學考試的人員作為復習參考書，也可供各類高校計