Computer Aided Systems Theory - EUROCAST 2001 計算機輔助係統理論EUROCAST 2001 在線電子書 圖書標籤:
發表於2024-12-26
Computer Aided Systems Theory - EUROCAST 2001 計算機輔助係統理論EUROCAST 2001 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
在綫閱讀本書
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Computer Aided Systems Theory, EUROCAST 2001, held in Las Palmas de Gran Canaria, Spain in February 2001.
The 48 revised full papers presented together with two invited papers were carefully selected during two rounds of reviewing and revision. The book offers topical sections on computer aided systems theory, mathematical and logical formalisms, information and decision, complexity, neural-like computation, automation and control, computer algebra and automated theorem proving, and functional programming and lambda calculus.
length: (cm)23.3 width:(cm)15.4
評分
評分
評分
評分
Computer Aided Systems Theory - EUROCAST 2001 計算機輔助係統理論EUROCAST 2001 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024