Program transformation (Computer programming) - Congresses.

Logic-based program synthesis and transformation = 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers / by: (書目-電子資源)

HPC@Green IT = green high performance computing methods / by: (書目-電子資源)

Multiobjective optimization = interactive and evolutionary approaches / by: (書目-電子資源)

Learning and intelligent optimization = third international conference, LION 3, Trento, Italy, January 14-18, 2009 : selected papers / by: (書目-電子資源)

Theory and Practice of Model Transformations = First International Conference, ICMT 2008, Zurich, Switzerland, July 1-2, 2008 Proceedings / by: (書目-電子資源)

Software Engineering.

Software Engineering/Programming and Operating Systems.

Algorithm Analysis and Problem Complexity.

Operating Systems.

System Performance and Evaluation.

Computational intelligence

High performance computing.

Computer Science.

Programming Techniques.

Computer Science, general.

System analysis.

Computer Systems Organization and Communication Networks.

Numeric Computing.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Logic programming

Mathematical optimization

Models and Principles.

Program transformation (Computer programming)

Computation by Abstract Devices.

Data Mining and Knowledge Discovery.

Artificial Intelligence (incl. Robotics)

Special Purpose and Application-Based Systems.

Model-driven software architecture.

Mathematical optimization.

Information Storage and Retrieval.

Discrete Mathematics in Computer Science.

Computational complexity