本書提出了一種基于形式化模型的嚴密的系統(tǒng)設計方法，闡述了嚴密系統(tǒng)設計方法的基本原理，介紹了嚴密系統(tǒng)設計框架BIP的建模語言、形式語義及其工具鏈。自主系統(tǒng)作為人工智能技術(shù)應用落地的重要形態(tài)，討論了自主系統(tǒng)設計的趨勢和挑戰(zhàn)，闡述了一種集成模型驅(qū)動方法與數(shù)據(jù)驅(qū)動方法的思路，并提出了一種新的基于替換測試的智能測試方法，用以判斷

本書用20個真實的小故事，講述了神經(jīng)外科醫(yī)生的日常。作者以悲天憫人的人文關(guān)懷將科學與倫理相互交融，為讀者呈現(xiàn)了一幕幕飽含人情冷暖的生活劇。讀罷本書，不僅讓你唏噓人間百態(tài)，更讓你觸摸到了生命的意義。

本書結(jié)合項目實戰(zhàn)案例和業(yè)界主流工具，從思想、技術(shù)、工具、案例等方面闡述了DevOps在傳統(tǒng)規(guī)�；疘T組織中實施落地的方法。

本書收錄由北京大學經(jīng)濟學院師生撰寫的38篇時評文章，專家學者緊扣“兩會”脈搏，聚焦《政府工作報告》，根據(jù)黨的十九大、十九屆中央歷次全會、中央經(jīng)濟工作會議精神和國家“十四五”規(guī)劃，堅持以問題為導向，圍繞新時代中國特色社會主義、新發(fā)展階段、高質(zhì)量發(fā)展等重大理論和現(xiàn)實問題展開討論。

本書嘗試梳理日常物象浮出文學地表的歷史過程，并通過經(jīng)典文本鉤沉那些原本被視為零散、瑣碎、缺乏獨立價值的日常物象描寫，使其重新進入讀者和研究者的視野，借此激發(fā)對明清日常敘事新型審美風格及創(chuàng)作觀念、明清物質(zhì)生活及文化的感知與理解。

社會心理服務體系建設是黨中央提出的一項重要戰(zhàn)略部署，經(jīng)過三年試點，目前在全國范圍內(nèi)得到普遍推開。它面向個體、群體、社會提供多元化的社會心理服務，并逐步融入社會治理和精神文明建設，融入健康中國、平安中國、幸福中國建設，在實現(xiàn)社會安定和諧進步中發(fā)揮重要作用。本書闡述了社會心理服務工作勝任力的基礎和核心，即社會心理服務工作者

本書針對企業(yè)數(shù)字化轉(zhuǎn)型給予了詳細的講解，可以幫助傳統(tǒng)企業(yè)結(jié)合現(xiàn)代化工具，認清數(shù)字化的大趨勢，調(diào)整數(shù)字化轉(zhuǎn)型思路，設計合理的數(shù)字化轉(zhuǎn)型方案，實現(xiàn)企業(yè)的數(shù)字化變革。本書分為上篇和下篇。上篇主要講述了數(shù)字化趨勢引發(fā)的商業(yè)變革，包括數(shù)字經(jīng)濟的火爆、數(shù)字化轉(zhuǎn)型的關(guān)鍵技術(shù)、企業(yè)數(shù)字化轉(zhuǎn)型的能力建設、企業(yè)數(shù)字化轉(zhuǎn)型的落地方案。下篇主

2018年10月19日，最高人民檢察院針對兒童和學生法治教育、預防性侵害教育缺位等問題向國家發(fā)出了歷史上首份檢察建議，簡稱一號檢察建議。本書以此建議為題，既從檢察官視角講述受害人被性侵害的懸疑故事，又從社會學視角觀察受害方與加害方兩個家族中不同人物命運所折射的原生家庭的愛與療愈、罪與罰以及女性勵志成才等內(nèi)容，還通過司法

本書講述了主人公顧大川因幼年事故成為殘疾人，但他身殘志堅、刻苦努力，成為鄉(xiāng)村致富帶頭人。同時，在他奮斗過程中，也伴隨著和戀人石萍的感情糾葛。在這一主線之外，作者塑造了不少鄉(xiāng)村中典型的留守女人形象，展現(xiàn)了她們生活的酸甜苦辣，從一個側(cè)面體現(xiàn)了“鄉(xiāng)村振興”的必要性和必然性。

本書為第七屆園集獎獲獎作品精選，匯集了國內(nèi)70家知名設計公司的一年內(nèi)的庭院花園設計案例，是花園設計精品集萃，分為別墅花園、會所花園、民宿花園、辦公花園、陽臺露臺花園等類別，每個花園案例都配有精美的花園圖片、詳細的圖紙解析和文字說明。從花園區(qū)域規(guī)劃，到植物配植，再到景觀裝置、燈光設計等各個方面，都有詳盡的介紹。中式花園、