Computer systems - Design.

Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / by: (Language materials, printed)

The challenge of anticipation = a unifying framework for the analysis and design of artificial cognitive systems / by: (Language materials, printed)

Sustainable enterprise architecture by: (Electronic resources)

Principles of systems design = essays dedicated to thomas a. henzinger on the occasion of his 60th birthday / by: (Electronic resources)

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.