Computer software.

Readings in hardware/software co-design by: (書目-電子資源)

Software architecture in practice / by: (書目-語言資料,印刷品)

Resources, Co-Evolution and Artifacts = Theory in CSCW / by: (書目-電子資源)

Software studies = a lexicon / by: (書目-電子資源)

Breakthroughs in software science and computational intelligence by: (書目-電子資源)

Software and intelligent sciences = new transdisciplinary findings / by: (書目-電子資源)

Software ecosystem : = understanding an indispensable technology and industry / by: (書目-語言資料,印刷品)

Verified Software: Theories, Tools, Experiments = First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / by: (書目-電子資源)

Advances in computational algorithms and data analysis by: (書目-電子資源)

Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / by: (書目-電子資源)

Electronics and Microelectronics, Instrumentation.

Formal methods (Computer science)

Computer software.

Microprocessors.

Algorithm Analysis and Problem Complexity.

Operating Systems.

Computers and civilization

Computer systems- Design.

Electronics.

Computer Science.

Programming Techniques.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computational intelligence.

Management of Computing and Information Systems.

Programming languages (Electronic computers)- Lexicography.

Computer software industry.

Artificial Intelligence (incl. Robotics)

Information Systems and Communication Service.

Technology and the arts.

Data mining.

Algorithms

Embedded computer systems.

Computer software- Development.

Electronic data processing

Teams in the workplace- Data processing.

User Interfaces and Human Computer Interaction.

Discrete Mathematics in Computer Science.

Programming Languages, Compilers, Interpreters.

Data Mining and Knowledge Discovery.

Computation by Abstract Devices.

Computer architecture.

System design.

Software Engineering.