本書從軟件實(shí)際開發(fā)過(guò)程出發(fā)，將形式化技術(shù)應(yīng)用于每個(gè)開發(fā)階段，系統(tǒng)地介紹了基于B方法完成軟件形式化開發(fā)的模式、過(guò)程、技術(shù)和方法，其中包括UML模型圖到B方法形式規(guī)約的比較全面的轉(zhuǎn)換方法，實(shí)現(xiàn)形式規(guī)約的精化過(guò)程，形式化B方法的驗(yàn)證技術(shù)，從UML形式化規(guī)約的逐步精化的規(guī)范與方法問(wèn)題，整個(gè)規(guī)約、精化直到代碼生產(chǎn)階段的模型形式化

本書以培養(yǎng)解決數(shù)據(jù)庫(kù)技術(shù)的實(shí)際問(wèn)題能力為導(dǎo)向，以培養(yǎng)綜合性的職教師資職業(yè)素養(yǎng)為目標(biāo)，系統(tǒng)地介紹SQLServer的運(yùn)行環(huán)境、數(shù)據(jù)庫(kù)及各種常用數(shù)據(jù)庫(kù)對(duì)象的創(chuàng)建和管理、T-SQL語(yǔ)言及其應(yīng)用、數(shù)據(jù)庫(kù)的備份與恢復(fù)、數(shù)據(jù)轉(zhuǎn)換、安全管理與性能監(jiān)視等，并給出利用VisualＣ#2010與SQLServer2008開發(fā)的數(shù)據(jù)庫(kù)應(yīng)用系

本書融入編者多年的教學(xué)經(jīng)驗(yàn)和體會(huì)，參考國(guó)內(nèi)外流行教材，較全面地組織教材內(nèi)容，提供大量的經(jīng)典算法，并適當(dāng)引入考研典型題例供學(xué)生學(xué)習(xí)，具有很強(qiáng)的實(shí)用性、易讀性、針對(duì)性。本書的體系結(jié)構(gòu)科學(xué)合理，可分為11章，分別講述緒論、線性表、樹、圖、查找與排序。每章后附有習(xí)題，大部分選自近年考研題目，以幫助深入理解相關(guān)內(nèi)容。

本書是"教育部財(cái)政部職業(yè)院校教師素質(zhì)提高計(jì)劃-計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)職教師資培養(yǎng)資源開發(fā)項(xiàng)目"的一門實(shí)踐類課程的教材�！盾浖�開發(fā)全過(guò)程實(shí)戰(zhàn)》從基本原理入手，介紹軟件架構(gòu)設(shè)計(jì)過(guò)程中涉及的一些概念、流程、方法、用到的JavaWeb重點(diǎn)知識(shí)等，通過(guò)介紹具體的案例來(lái)闡述如何定義需求、創(chuàng)建邏輯架構(gòu)、進(jìn)行詳細(xì)開發(fā)等。本書適合有志于從

本教材采用“任務(wù)驅(qū)動(dòng)”方式，從問(wèn)題出發(fā)介紹java語(yǔ)言的知識(shí)點(diǎn)和程序設(shè)計(jì)思維方法，由淺入深、循序漸進(jìn)，最后給出求解問(wèn)題的程序。通過(guò)一些編程實(shí)例介紹編程算法，強(qiáng)調(diào)上機(jī)實(shí)踐，注重計(jì)算思維和編程實(shí)踐能力的培養(yǎng)。本書條理清晰、實(shí)例豐富、語(yǔ)言流暢，做到基礎(chǔ)性、實(shí)用性、趣味性、拓展性四者相結(jié)合。

本書共分8章。主要內(nèi)容包括：本書是作者在數(shù)據(jù)庫(kù)理論研究方法解析一書的后繼、深入和補(bǔ)充。是以命題理論為核心，在進(jìn)一步深入研究的基礎(chǔ)上形成了以確定命題、命題解析、方法解析實(shí)現(xiàn)命題與證明方法對(duì)接為主線的學(xué)術(shù)研究方法解析。

《WindowsServer網(wǎng)絡(luò)操作系統(tǒng)配置與管理》循序漸進(jìn)地介紹WindowsServer2008R2網(wǎng)絡(luò)操作系統(tǒng)的功能，從系統(tǒng)安裝到服務(wù)器的配置和管理，引導(dǎo)讀者輕松入門。 《WindowsServer網(wǎng)絡(luò)操作系統(tǒng)配置與管理》共12章。第1章對(duì)網(wǎng)絡(luò)操作系統(tǒng)進(jìn)行簡(jiǎn)要介紹，便于讀者對(duì)網(wǎng)絡(luò)操作系統(tǒng)有一個(gè)整體的了解：第2～

《Windows10使用方法與技巧從入門到精通》通過(guò)精選案例引導(dǎo)讀者深入學(xué)習(xí)，系統(tǒng)地介紹Windows10操作系統(tǒng)的相關(guān)知識(shí)和應(yīng)用方法。 《Windows10使用方法與技巧從入門到精通》分為4篇，共16章。第0章主要介紹了Windows10的學(xué)習(xí)方法；第1篇為快速入門篇，主要介紹認(rèn)識(shí)與安裝Windows10操作系統(tǒng)、

《Word/Excel/PPT2016辦公應(yīng)用從入門到精通》通過(guò)精選案例引導(dǎo)讀者深入學(xué)習(xí)，系統(tǒng)地介紹了用Word/Excel/PPT辦公的相關(guān)知識(shí)和應(yīng)用方法。 全書分為5篇，共21章。第1篇“Word辦公應(yīng)用篇”主要介紹Office2016的安裝與設(shè)置、Word的基本操作、使用圖和表格美化Word文檔及長(zhǎng)文檔的排版等

《Office2016辦公應(yīng)用從入門到精通》通過(guò)精選案例引導(dǎo)讀者深入學(xué)習(xí)，系統(tǒng)地介紹了Office辦公的相關(guān)知識(shí)和應(yīng)用方法。全書分為5篇，共19章。第1篇“Word辦公應(yīng)用篇”主要介紹Office2016的安裝與設(shè)置、Word的基本操作、使用圖和表格美化Word文檔及長(zhǎng)文檔的排版等；第2篇“Excel辦公應(yīng)用篇”主要介

《Word/Excel/PPT2007辦公應(yīng)用從入門到精通》通過(guò)精選案例引導(dǎo)讀者深入學(xué)習(xí)，系統(tǒng)地介紹了用Word/Excel/PPT辦公的相關(guān)知識(shí)和應(yīng)用方法。 全書分為5篇，共21章。第1篇“Word辦公應(yīng)用篇”主要介紹Office2007的安裝與設(shè)置、Word的基本操作、使用圖和表格美化Word文檔，以及長(zhǎng)文檔的排

《電腦辦公應(yīng)用從入門到精通》通過(guò)精選案例引導(dǎo)讀者深入學(xué)習(xí)，系統(tǒng)地介紹了電腦辦公的相關(guān)知識(shí)和應(yīng)用方法。 全書分為4篇，共17章。第1篇“辦公入門篇”主要介紹了電腦辦公基礎(chǔ)知識(shí)、打造個(gè)性化的辦公環(huán)境、高效打字輕松學(xué)及辦公文件的高效管理等；第2篇“Office辦公應(yīng)用篇”主要介紹了Word的基本文檔操作、文檔的美化與高級(jí)排

本書貫徹CDIO工程教育理念，全面培養(yǎng)學(xué)生實(shí)踐創(chuàng)新能力。全書共分三篇。第一篇為基礎(chǔ)實(shí)驗(yàn)，介紹數(shù)據(jù)結(jié)構(gòu)與算法基礎(chǔ)知識(shí)的實(shí)驗(yàn)，包括線性表、棧和隊(duì)列、串、數(shù)組，以及廣義表、樹和二叉樹、圖、查找、排序等內(nèi)容，一共有12個(gè)實(shí)驗(yàn)。

軟件工程方法

《嵌入式Linux編程與實(shí)踐教程》是一部講述嵌入式Linux編程技術(shù)并指導(dǎo)實(shí)踐的教材。全書結(jié)合大量應(yīng)用實(shí)例，詳細(xì)介紹嵌入式Linux系統(tǒng)內(nèi)核、系統(tǒng)管理、編程基礎(chǔ)、基于C語(yǔ)言的應(yīng)用編程技術(shù)及嵌入式Linux系統(tǒng)的設(shè)計(jì)開發(fā)方法。 《嵌入式Linux編程與實(shí)踐教程》共10章，內(nèi)容包括嵌入式系統(tǒng)概述、嵌入式Linux操作系統(tǒng)

本書將向你講解獨(dú)特的Unity游戲引擎接口的來(lái)龍去脈。所有Unity項(xiàng)目案例都都供JavaScript和C#兩個(gè)版本的簡(jiǎn)明示例代碼，手把手地教你構(gòu)建5個(gè)小型功能游戲。探索Unity3D游戲引擎的基本開發(fā)流程；理解JavaScript和C＃編程的基本概念；從頭到尾開發(fā)五種不同的游戲；發(fā)現(xiàn)新游戲開發(fā)的成功秘訣；掌握Unit

《VisualFoxPro程序設(shè)計(jì)教程》以VisualFoxPro（簡(jiǎn)稱VFP）的知識(shí)體系結(jié)構(gòu)為框架，以面向?qū)ο蟪绦蛟O(shè)計(jì)為基本實(shí)現(xiàn)方法，從初學(xué)者的認(rèn)知規(guī)律出發(fā)，以案例驅(qū)動(dòng)法直觀形象、由淺入深、循序漸進(jìn)地為學(xué)生設(shè)計(jì)學(xué)習(xí)進(jìn)程�！禫isualFoxPro程序設(shè)計(jì)教程》共9章，第1章主要闡述VFP面向?qū)ο蟪绦蛟O(shè)計(jì)的基本方法；第

《C語(yǔ)言程序設(shè)計(jì)教程》以C語(yǔ)言的基本語(yǔ)法、語(yǔ)句和算法為基礎(chǔ)，結(jié)合編者多年的教學(xué)經(jīng)驗(yàn)和實(shí)踐，深入淺出、循序漸進(jìn)地介紹c語(yǔ)言的基本思想和程序設(shè)計(jì)方法。為培養(yǎng)和提高學(xué)生分析問(wèn)題和解決問(wèn)題的能力，書中增加了案例程序的設(shè)計(jì)思想和程序注釋。為鞏固學(xué)習(xí)內(nèi)容，在每章后配有習(xí)題�！禖語(yǔ)言程序設(shè)計(jì)教程》共12章，在對(duì)C語(yǔ)言進(jìn)行綜合概述的基

《網(wǎng)構(gòu)化軟件可信評(píng)估技術(shù)》選取網(wǎng)構(gòu)化軟件可信評(píng)估相關(guān)理論與技術(shù)進(jìn)行深入的研究，全書共10章。第1～第2章概述服務(wù)組合與演化的研究背景、意義及研究現(xiàn)狀；第3章提出環(huán)境感知的服務(wù)可信QoS評(píng)價(jià)與選取策略；第4章提出信任推理與演化的服務(wù)組合策略；第5章提出鏈路級(jí)的可信演化服務(wù)組合策略；第6章提出環(huán)境學(xué)習(xí)與感知的服務(wù)組合算法；

本書內(nèi)容包括緒論、關(guān)系數(shù)據(jù)庫(kù)、關(guān)系數(shù)據(jù)理論、關(guān)系數(shù)據(jù)庫(kù)標(biāo)準(zhǔn)語(yǔ)言SQL、安全性、數(shù)據(jù)庫(kù)完整性、關(guān)系查詢處理和優(yōu)化、并發(fā)控制、數(shù)據(jù)庫(kù)恢復(fù)技術(shù)、數(shù)據(jù)庫(kù)設(shè)計(jì)、數(shù)據(jù)庫(kù)技術(shù)發(fā)展動(dòng)態(tài)，適用于計(jì)算機(jī)專業(yè)本科生和研究生使用