本書從基于行為描述語言的建模方法、基于BIM的Web服務(wù)組合建模方法、轉(zhuǎn)換的正確性證明與特性分析驗證、基于模型驅(qū)動的可視化方法研究等方面著手,研究探索了服務(wù)組合的形式化建模、驗證以及模型驅(qū)動的可視化技術(shù)。本書建立了基于BPEL4WS的形式化服務(wù)組合行為模型,構(gòu)造出了形式化服務(wù)組合行為模型WSBM的模擬執(zhí)行過程,進(jìn)行了W

本書共14章,分為基礎(chǔ)篇、技能篇、布局篇和應(yīng)用篇�；�礎(chǔ)篇主要內(nèi)容包括網(wǎng)頁基礎(chǔ)、HTML語言基礎(chǔ)、CSS樣式基礎(chǔ)。技能篇主要介紹了使用CSS設(shè)置文字樣式、圖像樣式、列表樣式、表格樣式及表單樣式。布局篇詳細(xì)講解了網(wǎng)頁的三種基本布局方法:流布局、浮動布局和定位布局。最應(yīng)用篇給出了兩個具有很強(qiáng)實用性的綜合網(wǎng)站案例。本書注重理論

本書主要介紹了計算機(jī)網(wǎng)絡(luò)基礎(chǔ)知識，對網(wǎng)絡(luò)體系結(jié)構(gòu)、網(wǎng)絡(luò)信息安全概念與發(fā)展進(jìn)行了分析，對物聯(lián)網(wǎng)技術(shù)及發(fā)展進(jìn)行了探索。

本書是計算機(jī)專業(yè)研究生入學(xué)考試真題分析用書，首先給出2009年至2020全國碩士研究生入學(xué)統(tǒng)一考試計算機(jī)科學(xué)與技術(shù)學(xué)科聯(lián)考計算機(jī)學(xué)科專業(yè)基礎(chǔ)綜合試題，然后按數(shù)據(jù)結(jié)構(gòu)篇、計算機(jī)組成原理篇、操作系統(tǒng)篇、計算機(jī)網(wǎng)絡(luò)篇對試題進(jìn)行分析。全書嚴(yán)格按照最新計算機(jī)考研大綱，對大綱所涉及的知識點(diǎn)進(jìn)行集中梳理，給出詳細(xì)的解題思路，力求達(dá)到

本書介紹JavaEE領(lǐng)域的SpringMVC、MyBatis、Spring和SpringBoot這4種主流框架和技術(shù)。本書分為5篇。第1篇介紹Java的構(gòu)建工具javac、Ant和Maven；第2篇介紹構(gòu)建Web應(yīng)用的SpringMVC框架;第3篇介紹MyBatisORM框架;第4篇介紹Spring容器;第5篇介紹Sp

本書較系統(tǒng)地介紹了Photoshopcc2019的基本操作技巧和核心功能，包括基礎(chǔ)知識、工具使用等，并結(jié)合案例來講解，每個案例都有詳細(xì)的操作步驟，將理論知識點(diǎn)融入案例中，突出展示了Photoshop的實際應(yīng)用，以便讓使用者能快速上手，熟悉Photoshop實用操作技巧,也能為后續(xù)深入學(xué)習(xí)打下基礎(chǔ)。本書內(nèi)容全面，注重理論

本書是高等職業(yè)教育通識類課程新形態(tài)教材,以“價值塑造、知識傳授、能力培養(yǎng)”為目標(biāo),在案例和知識技能講解中自然融入思政元素,讓讀者在學(xué)習(xí)的同時,溫潤心靈,啟迪思維。本書采用任務(wù)驅(qū)動情境式案例教學(xué),構(gòu)建了八個模塊教學(xué)內(nèi)容,包括計算機(jī)應(yīng)用前導(dǎo)、Word文檔制作、Excel表格處理、PowerPoint演示文稿制作、Photo

本教材為適應(yīng)當(dāng)前教學(xué)改革和應(yīng)用型課程建設(shè)的要求組織編寫而成。本教材注重培養(yǎng)學(xué)生的實踐與創(chuàng)新能力，融合了同類其他教材的特點(diǎn)，取長補(bǔ)短、融合創(chuàng)新，突出“從問題到算法，再到程序”的思維過程，強(qiáng)調(diào)計算機(jī)求解問題的思路引導(dǎo)和程序設(shè)計思維方式的訓(xùn)練，能夠使學(xué)習(xí)者系統(tǒng)學(xué)習(xí)、快速入門。本教材具有以下幾個特點(diǎn)：（1）內(nèi)容新穎，是根據(jù)當(dāng)前

《JavaEE開源框架應(yīng)用》共分7章，分別論述了Struts2、Hibernate敏捷框架在Web信息系統(tǒng)開發(fā)中的應(yīng)用。各章節(jié)均選取了行業(yè)中核心的應(yīng)用技術(shù)結(jié)合企業(yè)實際開發(fā)案例，作為分析、學(xué)習(xí)的方向與范圍，力求讀者能掌握企業(yè)級開發(fā)中所必需的核心技能，以能勝任相關(guān)的技術(shù)開發(fā)工作。第1~4章為Struts2框架的論述部分，討

本書是“十三五”職業(yè)教育國家規(guī)劃教材。本書采用項目教學(xué)編寫方式，結(jié)合實際工作由淺入深地設(shè)置了9個教學(xué)項目，學(xué)生通過完成一個個項目任務(wù)，從實際操作中掌握網(wǎng)頁設(shè)計與制作的基本知識，尤其是項目中的綜合性任務(wù)的訓(xùn)練，有利于幫助培養(yǎng)學(xué)生綜合運(yùn)用所學(xué)知識的能力。本書涵蓋了Adobe等公司行業(yè)認(rèn)證的要求。在內(nèi)容編排上設(shè)置了預(yù)備知識、