語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
跳至 :
概要
書目資訊
主題
Computer systems - Design.
概要
作品:
4 作品在 1 項出版品 1 種語言
書目資訊
Formal Methods in Software and Systems ModelingEssays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
by:
(書目-電子資源)
The challenge of anticipationa unifying framework for the analysis and design of artificial cognitive systems /
by:
(書目-語言資料,印刷品)
Sustainable enterprise architecture
by:
(書目-電子資源)
Principles of systems designessays 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.
Computer systems
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.
Artificial intelligence.
處理中
...
變更密碼
登入