反應(yīng)式和并發(fā)系統(tǒng)指實時運行的計算系統(tǒng)，如操作系統(tǒng)、控制系統(tǒng)、交互系統(tǒng)和并發(fā)系統(tǒng)。這些系統(tǒng)很難規(guī)約、實現(xiàn)和驗證，主要原因是系統(tǒng)與其環(huán)境之間及系統(tǒng)本身的并行進程之間交互的復(fù)雜性，在交互時間上的微小變化可能導(dǎo)致完全不同的行為。時序邏輯是一種形式化規(guī)約語言，可用于刻畫和分析反應(yīng)式系統(tǒng)中有關(guān)時間和行為方面的屬性。它提供了一種簡單
本書從了解編程、與編程有關(guān)的工作、程序編寫、編程語言、計算機工作原理、如何擁有編程大腦、編程的學(xué)習(xí)方法幾方面，讓孩子循序漸進地學(xué)習(xí)編程，培養(yǎng)他們的邏輯思維能力和抽象思維能力，更好地解決生活中的實際問題。
"本書是“十三五”職業(yè)教育國家規(guī)劃教材修訂版。本書將網(wǎng)頁制作課程中使用頻率較高、具有代表性的案例按照知識點和技能點歸納、整理，構(gòu)建8個單元、55個任務(wù)，內(nèi)容包括HTML5靜態(tài)網(wǎng)站開發(fā)概述、HTML5中常用標(biāo)簽的使用、CSS基本應(yīng)用、CSS3高級應(yīng)用、頁面局部布局、頁面整體布局、Bootstrap5框架簡介和HTML5+
本書是教育部高等學(xué)校軟件工程專業(yè)教學(xué)指導(dǎo)委員會首批推薦教材。全書系統(tǒng)介紹了Scrum敏捷開發(fā)項目管理思想和DevOps實踐，共11章，主要內(nèi)容包括：軟件工程概述，Scrum敏捷開發(fā)及DevOps簡介，軟件項目啟動及項目計劃管理，軟件需求及積壓工作管理，項目沖刺及跟蹤管理，軟件配置管理及源代碼版本控制，軟件構(gòu)建及持續(xù)集成
本書內(nèi)容包括程序設(shè)計概述、數(shù)據(jù)類型、運算符與表達式、程序設(shè)計初步、選擇結(jié)構(gòu)程序設(shè)計、循環(huán)結(jié)構(gòu)程序設(shè)計、數(shù)組、函數(shù)、指針、結(jié)構(gòu)體與其他數(shù)據(jù)類型、文件、預(yù)處理命令。
本書包括三部分，第一部分是實驗指導(dǎo)，包含16個實驗，每個實驗由實驗?zāi)康暮鸵�、實驗�?nèi)容、習(xí)題、習(xí)題答案四部分組成；第二部分是學(xué)習(xí)指導(dǎo)，共11章，每章包括三個部分：典型例題解析、實戰(zhàn)與思考、實戰(zhàn)試題參考答案；第三部分是模擬練習(xí)，該部分附有幾套模擬試題及參考答案。
本書主要討論了構(gòu)建多線程應(yīng)用的兩種方法：一種是使用消息傳遞，另一種是使用共享內(nèi)存。你將學(xué)習(xí)實現(xiàn)每種方法的API，包括根據(jù)情況進行選擇，以及何時可以結(jié)合使用它們。你還將親自動手實踐這些方法構(gòu)建的高級模式。
本書由淺入深、循序漸進地講述了Python程序設(shè)計的基本概念和基本方法。本書主要內(nèi)容包括初識Python，Python語法基礎(chǔ)，賦值語句與分支結(jié)構(gòu)，循環(huán)結(jié)構(gòu)與print語句，字典與集合，序列與迭代，函數(shù)，模塊，字符串與文件，面向?qū)ο蟪绦蛟O(shè)計，對象的封裝、繼承與多態(tài)以及綜合案例分析。本書結(jié)構(gòu)合理，內(nèi)容翔實，論述準(zhǔn)確，注重
本書以入門知識為開篇，圍繞函數(shù)自定義、文件讀寫、二維繪圖、云圖繪制、動畫制作、數(shù)據(jù)擬合、信號濾波、并行計算、工具箱應(yīng)用、GUI界面設(shè)計等知識展開案例設(shè)計和詳細(xì)講解，并在最后一章設(shè)計了多個綜合應(yīng)用實踐案例幫助讀者快速、全面提高自己的MATLAB編程水平。由于程序設(shè)計的思路是共通的，因此通過本書內(nèi)容的學(xué)習(xí)后，讀者可很容易將
本書從并發(fā)編程的底層實現(xiàn)機制入手，圍繞JDK源碼、JVM、CPU等多角度詳細(xì)介紹了設(shè)計Java并發(fā)程序的框架、原理、核心技術(shù)、設(shè)計模式與應(yīng)用，同時輔以豐富的示例代碼，使得開發(fā)人員能夠更快地領(lǐng)悟Java并發(fā)編程的要領(lǐng)，利用Java平臺的基礎(chǔ)并發(fā)功能快速地構(gòu)建大規(guī)模的并發(fā)應(yīng)用。
書單推薦
