語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
跳至 :
概要
書目資訊
主題
Computer systems - Design.
概要
作品:
4 作品在 1 項出版品 1 種語言
書目資訊
Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
The challenge of anticipation = a unifying framework for the analysis and design of artificial cognitive systems /
by:
(書目-語言資料,印刷品)
Sustainable enterprise architecture
by:
(書目-電子資源)
Principles of systems design = essays dedicated to thomas a. henzinger on the occasion of his 60th birthday /
by:
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Cognitive science.
Computation by Abstract Devices.
Prediction (Logic)
Artificial Intelligence (incl. Robotics)
Computer architecture.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
User Interfaces and Human Computer Interaction.
Models and Principles.
Computer Science.
Discrete Mathematics in Computer Science.
Probability and Statistics in Computer Science.
Simulation and Modeling.
Computer software.
Computer systems- Design.
Artificial intelligence.
處理中
...
變更密碼
登入