Computer software.

Readings in hardware/software co-design by: (Electronic resources)

Software architecture in practice / by: (Language materials, printed)

Resources, Co-Evolution and Artifacts = Theory in CSCW / by: (Electronic resources)

Software studies = a lexicon / by: (Electronic resources)

Breakthroughs in software science and computational intelligence by: (Electronic resources)

Software and intelligent sciences = new transdisciplinary findings / by: (Electronic resources)

Software ecosystem : = understanding an indispensable technology and industry / by: (Language materials, printed)

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: (Electronic resources)

Advances in computational algorithms and data analysis by: (Electronic resources)

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

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.