两个牛读什么字拼音

本書提出了一種基于形式化模型的嚴密的系統設計方法，詳細闡述了嚴密系統設計方法的基本原理，介紹了嚴密系統設計框架BIP（Behavior，Interaction，Priority）的建模語言、形式語義及其工具鏈。自主系統作為人工智能技術應用落地的重要形態，討論了自主系統設計的趨勢和挑戰，闡述了一種集成模型驅動方法與數據驅動方法的思路，并提出了一種新的基于替換測試的智能測試方法，用以判斷自主系統在完成多種不同類型任務方面的智能水平。

·8.2萬字

會員

安卓工程師教你玩轉Android

近年來，包括智能手機、平板電腦和智能電視在內的Android智能設備發展迅速，成為人們娛樂生活、工作學習的重要工具和伙伴。本書是一本讓你了解Android并教會你如何玩轉Android的書，主要內容包括Android操作系統、選機攻略、應用的查找和安裝、如何優化Android、常用應用推薦、高級應用和新奇應用推薦，以及Android高頻問題問答。

·6.9萬字

會員

Docker進階與實戰

Docker在國內的發展如火如荼，短短一兩年時間里就陸續出現了一批關于Docker的創業公司。華為公司作為國內開源領域的領導者，對Docker也有很大的投入，我們認為有必要把自己的知識積累和實踐經驗總結出來分享給廣大開發者。除了吸引更多的人投入到Docker的生態建設以外，我們也希望通過本書幫助更多的讀者更好、更快地掌握Docker關鍵技術。本書不僅適合一般的Docker用戶，也適合Docker生態圈中的開發者，希望它可以成為一本Docker進階的圖書，幫助讀者快速提升。

·12.4萬字

會員

Python算法從菜鳥到達人

本書以Python語言為平臺，分四個部分介紹了算法的基本概念、五種經典的算法思想、重要的數據結構以及實踐中常用的幾種算法技術。除第1章和第2章外，書中每章內容都包括了基本概念、實現方式、具體應用以及達人修煉真題。每一種算法思想中的達人修煉真題都提供了相應的源代碼，可供讀者運行，從而達到理論與實踐并重的目的。本書從算法基本分析到算法基本思想，再到具體應用及大量真題，內容全面，條理清楚，語言通俗。本書對計算機及相關專業本科生及研究生的面試、筆試將有所幫助；此外，計算機科學相關領域的工程師以及愛好者也可以將本書作為技術參考書籍，在需要時可查找所需算法的相關內容并從中得到啟示；當然，對計算機科學感興趣的高中生以及IT領域項目經理也可以閱讀本書，從而開啟算法世界的大門。

·11.9萬字

會員

零基礎學Java程序設計

本書由淺入深，全面、系統地介紹了Java開發技術。本書提供了大量實例，供讀者實戰演練。另外，為了加深對知識點的了解，本書還為每一章內容配備了大量的習題。除此之外，作者專門為本書錄制了大量的配套教學視頻，以幫助讀者更好地學習本書內容。本書共分4篇。第1篇介紹了第一個Java程序、數據表示、基本數據處理、執行順序、選擇執行、循環執行以及方法；第2篇介紹類和對象、繼承、抽象類和接口、Java類的體系以及錯誤處理；第3篇介紹數組和字符串、文件、線程、圖形用戶界面、Applet程序設計、集合和泛型以及枚舉；第4篇介紹了一個制作計算器的綜合實例。本書涉及面廣，從基本語法到高級語法以及案例應用，幾乎涉及Java開發的所有重要知識。本書適合所有想全面學習Java開發技術的人員閱讀，也適合各種使用Java進行開發的工程技術人員使用。對于經常使用Java做開發的人員，更是一本不可多得的案頭必備參考書。

·12.3萬字

會員

Microsoft Exchange Server PowerShell Essentials

ThisbookisforadministratorswithabasicorlimitedunderstandingofWindowsPowerShellandwhowanttoincreasetheirskillsetinmanagingboththeExchangeOnPremiseandOnlineenvironments.

·4.4萬字

會員

MATLAB/Simulink建模與仿真

本書系統介紹了MATLAB/Simulink的建模與仿真。結合MATLAB/Simulink的使用，通過典型示例，闡述了MATLAB/Simulink建模與仿真在通信和自動系統中的應用。共分8章，包括MATLAB介紹、MATLAB界面設計、Simulink仿真環境、MATLAB/Simulink建模與仿真、時/頻域分析法、模擬及數字通信系統的建模與仿真、經典/現代/智能控制系統設計與仿真、MATLAB/Simulink仿真與建模在實際中的應用等。

·18.1萬字

會員

Spring 5.0 By Example

Ifyou’readeveloperstartingoutwithSpring,thenthisbookwillhelpyoulearnaboutthenewSpring5.0frameworkconceptsfollowedbytheirimplementationinJavaandKotlin.ThebookwillalsohelpexperiencedSpringdevelopersgaininsightsintothenewfeaturesaddedinSpring5.0.

·6.1萬字

會員

我的第一本魔法編程寶典：一看就懂的Scratch3.0趣味編程

本書是一本神奇的Scratch3.0魔法編程寶典，主要面向6~15歲的青少年，以編程繪本的形式，帶領讀者暢游魔法編程世界。書中設立16天的魔法編程訓練，每完成4天的魔法訓練，魔法部將授予你一枚魔法勛章。本書還特別附贈學習視頻，以及線上輔導社區，快來加入我們吧！

·1.7萬字

會員

OAuth 2實戰寶典

隨著互聯網的普及，合作共贏成了一個越來越受重視的話題。一些成熟的互聯網企業，需要與眾多的第三方企業進行合作，以便為自己的用戶提供豐富的個性化應用。在這個過程中，企業需要將自身的一些能力（API）開放給第三方合作企業，具體的實現形式一般是搭建一個專門的開放平臺系統。無論企業通過何種方式來開放自身的能力，授權都是一個繞不開的話題。本書將通過8章來詳細對授權的相關內容進行闡述，主要內容包括OAuth2概述、開放平臺整體架構、實戰中的授權模式、OpenID從理論到實戰、授權碼授權模式回調地址實戰、簽名、授權信息、基于SpringSecurity的OAuth2實戰。

·9.4萬字

會員

Learning ASP.NET Core 2.0

ThisbookisfordeveloperswhowouldliketobuildmodernwebapplicationswithASP.NETCore2.0.NopriorknowledgeofASP.NETor.NETCoreisrequired.However,basicprogrammingknowledgeisassumed.Additionally,previousVisualStudioexperiencewillbehelpfulbutisnotrequired,sincedetailedinstructionswillguidethroughthesamplesofthebook.Thisbookcanalsohelppeople,whoworkininfrastructureengineeringandoperations,tomonitoranddiagnoseproblemsduringtheruntimeofASP.NETCore2.0webapplications.

·6.4萬字

會員

Mastering SciPy

Ifyouareamathematician,engineer,orcomputerscientistwithaproficiencyinPythonandfamiliaritywithIPython,thisisthebookforyou.Somebasicknowledgeofnumericalmethodsinscientificcomputingwouldbehelpful.

·7.6萬字

會員

C#教程

本書以MicrosoftVisualStudio2008作為操作平臺，包含教程、練習、實驗。教程首先熟悉開發環境，然后比較系統地介紹C#的編程基礎、C#面向對象編程基礎和進階。在此基礎上系統介紹Windows應用程序、GDI+編程、文件操作、數據庫應用、C#多線程技術。教程一般節有小綜合、章有大綜合，練習一般包括選擇題、填空題、問答題和編程題等題型，實驗先跟著教程實例做，然后思考與練習。

·13.1萬字

會員

PHP7實踐指南：O2O網站與App后臺開發

本書由專業的PHP開發工程師精心編撰，全書循序漸進地介紹了PHP7編程的基礎知識與實戰開發技能，初學PHP開發的讀者通過學習本書能夠熟練地進行PHP應用程序開發。本書的核心內容包括：PHP基礎語法、函數、面向對象編程、PHP類、常見的設計模式、正則表達式、PHP操作圖像和文件、MVC架構思想、ThinkPHP框架、NoSQL與MySQL等。另外，還介紹了當前熱點的O2O網站開發和App后臺開發的關鍵技術，有助于讀者掌握PHP在現代Web軟件開發領域中的應用。本書是作者在PHP7學習及實際工作項目中的心得體會和系統總結，內容豐富、實用性強。適合PHP7開發新手、使用PHP進行各類開發的程序員，也適合作為企業內部培訓、培訓機構和大專院校的教學參考書。

·11.7萬字

會員

Visual Basic 2008應用程序開發實例精講

全書從實用角度出發，通過實例精講的形式，詳細介紹了VB最新版本2008各種熱門專題應用程序開發的方法與技巧。全書共分6篇21章，第一篇為VB2008基礎知識篇，簡要介紹了VisualBasic2008的新特性及集成開發環境、VisualBasic.NET編程基礎；第二篇到第六篇為VB2008專題應用程序開發實例，通過19個專題領域實例，詳細深入地介紹了VB2008各種領域的應用開發技術和技巧，具體包括：數據庫應用開發實例、網絡與通信開發實例、多媒體應用開發實例、圖形圖像處理實例以及游戲編程開發實例。本書語言簡潔，內容豐富，結構合理，突出了應用性、實用性兩個基本原則。不但詳細介紹了VB2008各種領域的應用開發技術，而且提供了相關理論知識、設計思路與實現方案，側重于程序設計思路和過程的介紹，并對實例的所有程序代碼做了詳細注釋，有利于讀者理解和鞏固知識點，快速提高與應用。本書適合計算機、自動化、電子等相關專業的大學生，以及從事VB程序開發的工作人員使用。

·15.1萬字

會員

人人都是網站分析師：從分析師的視角理解網站和解讀數據

這是一本真正能讓網站分析的數據結果產生商業價值的著作。很多人都知道網站分析中的指標，但很少有人知道它們使用的場景。很多人都知道網站分析工具能提供數據，但很少有人知道為什么需要這些數據。很多人都知道數據對網站很重要，但很少有人知道數據究竟能帶來什么價值。輸入的是垃圾，輸出的也是垃圾，單純的數據對企業來說沒有價值。《人人都是網站分析師：從分析師的視角理解網站和解讀數據》從分析師的視角系統、深入地講解了如何理解網站和解讀數據。首先，通過講解網站的信息架構和工作原理，不僅系統介紹有哪些分析指標，而且會詳細介紹每一個指標的使用場景；不僅會分析每個指標數據的作用和局限性，而且還會介紹這些數據如何與業務結合才能產生價值。其次，通過講解以業務為中心的代碼設計、TagManager高級代碼實施、GoogleAnalytics跨屏追蹤、網站流量分類原理及邏輯，詳細講解了如何分析數據、選擇數據、使用數據才能確保分析結果的價值，最終為網站的運營提供決策依據。作者藍鯨在網站分析領域浸淫多年，不僅積累了豐富的經驗，而且為網站數據分析知識的傳播做出了很大的貢獻，在業界有非常好的口碑和影響力。本書是繼其譯作《流量的秘密》和著作《網站分析實戰》后的第3部著作，內容更加豐富，視角更加獨特。本書得到了國際公認網站分析專家BrianClifton（《流量的秘密》作者，Google歐洲、中東和非洲區的前網站分析負責人）等10余位來自全球和中國的網站分析專家聯袂推薦。

·8.9萬字

會員

Mobile Application Development：JavaScript Frameworks

ThisLearningPathisforJavaScriptwebdeveloperslookingtodevelopmobileapplicationsusingvariousJavaScriptdescendenttechnologies.Itisforanyonewhowantstolearnhowtobuildfastandstylishnativemobileappusingtheskillstheyalreadyhave.IfyouarealreadyusingReactontheweb,we’reconfidentyou’llbeabletoquicklygetupandrunningwithReactNativeforiOSandAndroid.SeeIonicinaction,andfindouthowitcantransformthewayyoubuildmobileapps.

·9.6萬字

會員

Java EE 7 First Look

Aneasy-to-followguidetorevealthenewfeaturesofJavaEE7andhowtoefficientlyutilizethem.Giventhemainobjectivespursued,thisbooktargetsthreegroupsofpeoplewithaknowledgeoftheJavalanguage.Theyare:BeginnersintheJavaEEplatformwhowouldliketohaveanideaaboutthemainspecificationsofJavaEE7.DeveloperswhohaveexperimentedwithpreviousversionsofJavaEEandwhowouldliketoexplorethenewfeaturesofJavaEE7.BuildingarchitectswhowanttolearnhowtoputtogetherthevariousJavaEE7specificationsforbuildingrobustandsecureenterpriseapplications

·3.6萬字

會員

Learning AWS Lumberyard Game Development

Thebookcatersforthosewhohaveaninterestordesiretocreatetheirowngames,eitherasahobbyistortoenhancetheirskillsasaprofessionalgamesdeveloper.Thebookrequirespreviousknowledgeofsoftwaredevelopment.ExperiencewithC++willalsobebeneficial.

·4.1萬字

會員

在最好的年紀學Python：小學生趣味編程

本書是一本難度適當、易學易懂的小學生Python啟蒙教材，用貼近孩子的語言，通過多個簡單、有趣的編程案例，激發孩子學習和探索科技的興趣。本書以程序為中心，適當弱化語法。本書共11章，涵蓋Python輸入輸出、數據類型、選擇循環基本結構、函數、面向對象編程、海龜繪圖、二進制和GUI編程等，內容豐富全面，每章末尾配有單詞表和思考題，幫助讀者鞏固所學知識和技能。本書適合任何想要通過Python學習編程的讀者，尤其適合學生、老師、家長，以及想要理解計算機編程基礎知識的未成年人閱讀學習。

·4.2萬字

跳轉至頁

官术网_书友最值得收藏!

程序設計

分類

狀態

屬性

字數

更新時間

嚴密系統設計：方法、趨勢與挑戰