Computer systems - Design.

Sustainable enterprise architecture by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Principles of systems design = essays dedicated to thomas a. henzinger on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

Software Engineering.

Computer architecture.

Formal methods (Computer science)

Computer software.

Artificial intelligence.

Simulation and Modeling.

Prediction (Logic)

Computer systems

User Interfaces and Human Computer Interaction.

Discrete Mathematics in Computer Science.

Computer Science.

Cognitive science.

Programming Languages, Compilers, Interpreters.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Models and Principles.

Computation by Abstract Devices.

Probability and Statistics in Computer Science.

Artificial Intelligence (incl. Robotics)