爱尔兰精灵400次多少钱

本書簡述了形式語言的基本內容，包括文法的分類和語言間運算的封閉性；系統論述了有限自動機：有限狀態自動機、下推自動機和圖靈機(包括量子圖靈機)的基礎理論。從構造文法產生語言的角度和構造自動機識別語言的角度對語言進行了討論；介紹了文法與等價的自動機之間的轉換方法；并介紹了有限自動機的一些典型應用。本書以新的思維方式為讀者提供一把鑰匙，主要培養讀者的獨立思考能力，使用符號化的系統描述程序設計語言或自然語言的語法結構的能力，以及構造自動機的能力。

·12.9萬字

會員

概率論與數理統計及SPSS軟件應用

本書內容包括概率論、數理統計、SPSS軟件應用三部分，共9章，每章附有習題。第1~4章是概率論，包括概率論的基本概念、隨機變量及其分布和數字特征、幾種特殊隨機變量的分布、多維隨機變量及其分布和數字特征。第5~7章是數理統計，包括參數估計、假設檢驗、方差分析和回歸分析。第8~9章是SPSS軟件應用，包括SPSS軟件基本使用方法，用SPSS進行描述性統計分析，用SPSS進行均值比較、方差分析、相關分析和回歸分析等統計推斷，這部分是前兩部分內容的直接應用。本書可作為高等學校信息管理、經濟管理類，以及其他非數學專業概率論與數理統計課程的教材，也可供各類管理和專業技術人員及有志于考研的學生參考。

·6.5萬字

會員

Improving your C# Skills

ThisLearningPathshowsyouhowtocreatehighperformingapplicationsandsolveprogrammingchallengesusingawiderangeofC#features.You’llbeginbylearninghowtoidentifythebottlenecksinwritingprograms,highlightcommonperformancepitfalls,andapplystrategiestodetectandresolvetheseissuesearly.You'llalsostudytheimportanceofmicro-servicesarchitectureforbuildingfastapplicationsandimplementingresiliencyandsecurityin.NETCore.Then,you'llstudytheimportanceofdefiningandtestingboundaries,abstractingawaythird-partycode,andworkingwithdifferenttypesoftestdouble,suchasspies,mocks,andfakes.Inadditiontodescribingprogrammingtrade-offs,thisLearningPathwillalsohelpyoubuildausefultoolkitoftechniques,includingvaluecaching,statisticalanalysis,andgeometricalgorithms.ThisLearningPathincludescontentfromthefollowingPacktproducts:C#7and.NETCore2.0HighPerformancebyOvaisMehboobAhmedKhan.PracticalTest-DrivenDevelopmentusingC#7byJohnCallaway,ClaytonHunt.TheModernC#ChallengebyRodStephens.

·12萬字

會員

我的第一本趣味數學書2

數學，是研究數量、結構、變化、空間以及信息等概念的一門學科。學習數學，有助于培養我們嚴謹的治學精神，有助于挖掘我們的想象力和科學思維能力。本書從生活中小朋友們關心的數學現象和問題出發，逐漸引入數學知識，激發讀者小朋友們的聯想力，并學會科學地思考，將數學知識運用到實際中去，相信閱讀學習完本書，小朋友們會發現原來學習數學并不枯燥，相反，數學的樂趣自在其中。

·7.6萬字

會員

ANSYS 12.0有限元分析完全手冊

在內容編排上，本書基于ANSYS12.0的最新版本，重點介紹了有限元分析的理論基礎，ANSYS12.0有限元分析流程、熱力學分析、ANSYSWorkbench集成環境等內容。

·19.1萬字

會員

幾何和統計（全彩版）

數學是一種“國際語言”，科學家用數學來表達他們對周圍世界的具體想法。描述數量、形狀和比例的能力是我們理解世界的核心方式，也是所有科學研究的基礎。這本書展示了空間和數字之間的關系，探索了線、面和體的奧秘，并揭示了數據統計在現代數字世界中的重要性和應用價值。

·3.1萬字

會員

實用高等數學

本書是根據教育部制定的《高職高專教育數學課程教學基本要求》、教育部[2006]16號文件關于培養高職高專學生成為高技能應用型人才的目標要求，并結合最新的課程標準和課程改革的理念，以及多年教學實踐而編寫的。全書共13章，內容包括：函數、極限與連接、導數與微分、導數的應用、不定積分、定積分、定積分的應用、常微分方程、空間解析幾何、多元函數微分學、多元函數積分學、級數、Mathematica數學軟件簡介等。

·5.5萬字

會員

燒腦的邏輯題

阿基米德群牛問題、求生問題、地理問題、字母謎題、概率問題，這一系列有趣、好玩又開動大腦的智力題既益智有趣，開發思維，又燒腦提神，樂在其中。在現實生活中，你可能從未深陷一座荒島、被困在一個迷宮、被鎖在一個屋子或者死囚區。但在謎題的世界，我們經常會深陷這樣的困境，我們需要去處理“生死攸關”的問題。要解決這些問題，你需要開動腦筋，運用邏輯思維，揭開謎題的真相。解題的樂趣既來自苦思冥想、不得其解的過程，更來自自虐后的豁然開朗。無論你是身經百戰的資深玩家，還是想挑戰自我的數學菜鳥，做上幾道題，都能讓你思維越發敏捷，精神越發抖擻。趕快去挑戰一下吧！

·9.7萬字

會員

基于ANSYS的信號和電源完整性設計與分析（第2版）

本書主要介紹信號完整性（SignalIntegrity，SI）、電源完整性（PowerIntegrity，PI）和電磁兼容性（ElectromagneticCompatibility，EMC）等的基礎知識和設計要點，并結合實例詳細介紹了利用ANSYS2019仿真平臺完成相關仿真與分析的方法，使讀者不僅能深入了解高速電路設計的理念，還能掌握ANSYS2019仿真操作流程和分析技巧，并運用類似的設計方法去解決相關的問題。本書適合從事芯片封裝、PCB設計及數字電路硬件研發的工程技術人員閱讀使用，也可作為高等學校相關專業的教學用書。

·9.9萬字

會員

矩陣決策：如何鎖定關鍵點做出制勝策略

在信息過載的時代，面對雜亂的碎片化信息的沖擊時，不少人不知道該怎樣選擇，甚至害怕做出選擇。在VUCA（不穩定、不確定、復雜、模糊）時代，大多數人面臨不確定性這一新常態，突發事件或者說“黑天鵝”事件不再罕見，導致我們在生活和工作中需要更謹慎地做出合理的決策。“知道做決策的原理”與“知道科學高效地做出正確決策的操作步驟”之間有著巨大的差距。本書在現代管理理論的決策視角基礎上，運用系統思維，刪繁就簡，提出了基于不確定性的決策流程模型，用流程化的步驟展現并解析復雜的決策思維過程，既能幫助個人解決工作和生活中重大、復雜、充滿不確定性的問題，又能幫助團隊協作共同攻克難題。本書分為5章，第1章引用空城計的典故概括介紹矩陣決策的流程；第2章簡要介紹矩陣決策技術的由來和特點等；第3章簡要介紹矩陣決策的方法；第4章解析矩陣決策的流程；第5章以三國時期諸葛亮的擇主及北伐為例剖析其決策過程；附錄包含系統基本模型圖和決策行為模板。本書適合中高層管理者、商界人士，以及急需掌握高質量決策方法的人閱讀。

·11.3萬字

會員

走進奇妙的數學世界（小學一二年級）

《走進奇妙的數學世界》是一套圍繞小學數學課程中的知識點展開的趣味數學閱讀書。從數學的知識點入手，通過想象力豐富、妙趣橫生的數學知識講述一個數學概念或數學原理，是為愛數學的孩子準備的故事大餐，讓孩子發自內心地愛上數學。同時延伸知識點背后的數學文化、數學思想，目的是激發孩子們對數學文化的求知欲，提升學生數學的修養。

·3.1萬字

會員

神奇的數學（二）

本書從經濟、軍事中的數學故事與案例出發，選取了大量與數學有關的有趣題材，通過大量有趣的故事，帶領讀者從“數學好玩”走向“玩好數學”的境界。有別于其他同類書籍，本書很多故事具有原創性和現代感，對青少年有較強的吸引力和感染力。本書將帶你走進一個神奇的數學世界，領略數學的無限魅力，遨游在數學的海洋里。

·12.6萬字

會員

ANSYS 2020有限元分析從入門到精通（升級版）

本書采用GUI操作與APDL命令互相對照的方式，從基礎知識、專題技術兩個層面詳細地闡述了ANSYS2020的使用方法和技巧。本書內容系統完整，各章相對獨立，并且有詳細的實例，是一本簡明的ANSYS讀本。全書分為基礎知識和專題技術兩部分，共22章。第1～7章是基礎知識部分，主要講解有限元法概述、ANSYS2020簡介、APDL基礎、實體建模、網格劃分、加載、求解、后處理的相關知識。第8～22章是專題技術部分，主要講解結構靜力學分析、模態分析、諧響應分析、瞬態動力學分析、譜分析、熱分析、電磁場分析、多物理場耦合分析、非線性靜力學分析、接觸問題、“生死”單元、復合材料分析、機械零件分析、薄膜結構分析、參數化設計與優化設計的相關知識，并且通過實例詳細講解了這些分析技術的使用方法。本書以實用為宗旨，深入淺出，實例引導，講解翔實，適合作為理工科高等院校的教學用書和廣大科研工程技術人員的技術參考書。

·17.5萬字

會員

實用運籌學：案例、方法及應用

本書共有8章，其中包括線性規劃與單純形法、對偶理論與靈敏度分析、運輸問題、整數規劃、動態規劃、圖與網絡分析、存儲論和排隊論。每章都有學習目標、開篇案例、本章小結和課后思考題，有助于引導讀者學習和幫助讀者加強記憶。讀者將能掌握運籌學不同分支對應的問題特征和相應的模型，典型運籌學模型的建模思路和解決方法；能夠對實際的管理問題進行抽象和建模，并運用恰當的方法求解。

·9.6萬字

會員

高維數據非負矩陣分解方法

本書從算法框架入手，建立系列非負矩陣分解模型的抽象數學模型，即非負塊配準模型，從統一的角度分析現有的非負矩陣分解模型，并用以開發新的非負矩陣分解模型。根據非負塊配準模型的分析，本書提出非負判別局部塊配準模型，克服了經典非負矩陣分解模型的缺點，提高了非負矩陣分解模型的分類性能。為了克服經典非負矩陣分解的優化算法收斂速度慢的缺點，本書提出在線搜索中利用牛頓法快速搜索步長，提出非負塊配準的快速梯度下降算法。為了克服經典非負最小二乘問題的求解算法的缺點，本書利用最優梯度法在無需線搜索的情況下以二階收斂速度求解非負最小二乘問題，提出非負矩陣分解的高效求解算法。在此基礎上提出非負矩陣分解的高效求解算法，并開發非負塊配準的最優梯度法。為了克服經典優化算法應用于流數據處理時計算開銷過大的缺點，本書提出非負矩陣分解在線優化算法，利用魯棒隨機近似算法更新基矩陣，提出在線算法，提高在線優化算法的魯棒性。本書結合非負矩陣分解的低秩表示特性和殘差矩陣的稀疏特性，指出曼哈頓非負矩陣分解模型可以有效地抑制數據中的噪音和野值，并指出其與低秩和稀疏矩陣分解模型的等價關系。本書提出高效優化算法求解模型，即秩一殘差迭代算法和加速梯度下降算法，前者將模型求解問題分解成若干加權中值問題并用快速算法求解，后者將模型求解問題分解成若干非負最小一乘問題并用平滑技術將其目標函數近似為可微函數，然后利用最優梯度法進行求解。

·11萬字

會員

蟻群智能優化方法及其應用

本書在簡要闡述智能優化方法相關理論的基礎上，介紹了蟻群智能優化方法的基本原理與算法主要要素等基本內容。同時，介紹蟻群智能優化方法在旅行商問題、背包問題、定向問題、屬性約簡、衛星資源調度問題以及多目標組合優化問題等復雜組合優化問題的應用示例，詳細闡述蟻群智能優化方法在具體應用中的的基本設計方法以及算法性能改善的有效途徑。本書適合作為從事智能優化方法及其應用研究的相關科技工作者、專業技術人員的參考書，也可作為計算機學科、控制科學等專業研究生和高年級本科生學習蟻群智能優化方法的指導用書。

·8.6萬字

會員

Abaqus有限元分析從入門到精通（2022版）

本書共8章，第1章為概述，介紹Abaqus軟件發展、組成及幫助文檔等內容；第2章為Abaqus基礎知識，介紹窗口功能、工作環境設置、基本仿真流程、關鍵術語及文件格式，并給出了一個簡單實例；第3章和第4章分別為結構線性靜力學分析和結構非線性靜力學分析，在介紹基本概念、功能應用、設置原則等知識的基礎上，給出了框架受力分析、螺栓受力分析等多個典型實例；第5章和第6章分別為顯式動力學分析和熱學分析，在介紹基本概念、基本功能、一般流程等內容的基礎上，給出了沖壓件、銑削件、焊接件等常見工藝制件的分析實例；第7章和第8章分別為復合材料仿真分析和與fesafe聯合的疲勞仿真分析。本書選取了Abaqus在企業中的典型應用，體現了Abaqus的主要應用領域與優勢，步驟詳細，實例豐富，深入淺出。每個實例都有配套的講解視頻，掃碼即可觀看，方便讀者學習的同時，力圖給予更多的經驗總結。本書適合初、中級結構設計/分析工程師，以及機械設計、力學等相關專業的本科生和研究生學習和參考，也可作為教學用書。

·10.6萬字

會員

ABAQUS 2018有限元分析從入門到精通

本書系統地介紹了ABAQUS2018的使用，包括ABAQUS線性靜力分析、接觸分析、材料非線性分析、熱應力分析、多體分析、頻率提取分析、模態動態分析、顯示動力學分析、用戶子程序分析和后處理技巧等內容。本書內容從實際應用出發，側重于ABAQUS的實際操作和工程問題的解決，針對每個知識點進行詳細講解，并輔以相應的實例，使讀者能夠快速、熟練、深入地掌握ABAQUS的相應功能。每個實例都以圖文并茂的形式詳細介紹ABAQUS/CAE的操作流程，并對INP文件進行細致的解釋。此外，書中還討論了用戶常犯的錯誤和經常遇到的疑難問題，以及常見的錯誤信息和警告信息，并給出了相應的解決方法。本書結構嚴謹、重點突出、條理清晰，非常適合ABAQUS初級和中級用戶使用，也可作為高職院校、大中專院校以及社會相關培訓班的教材。

·19.3萬字

會員

線性代數

本書主要內容包括：行列式，矩陣及其運算，矩陣的初等變換和線性方程組，向量空間、歐氏空間、線性空間與線性變換，方陣的相似變換、特征值與特征向量，二次型與其標準形。