Electronic digital computers - Congresses. - Evaluation

Measuring computer performance : = a practitioner's guide / by: (Language materials, printed)

Computer aided verification = 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings / by: (Language materials, printed)

Computer performance evaluation and benchmarking = Spec Benchmark Workshop 2009, Austin, Tx, USA, January 25, 2009 : proceedings / by: (Language materials, printed)

Software Engineering.

System Performance and Evaluation.

Logic Design.

Programming Techniques.

Computer Science.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Control Structures and Microprogramming.

Electronic digital computers

Memory Structures.

Programming Languages, Compilers, Interpreters.

Processor Architectures.

Computer software

Arithmetic and Logic Structures.