Electronic digital computers - Congresses. - Evaluation

Measuring computer performance : = a practitioner's guide / by: (書目-語言資料,印刷品)

Computer aided verification = 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings / by: (書目-語言資料,印刷品)

Computer performance evaluation and benchmarking = Spec Benchmark Workshop 2009, Austin, Tx, USA, January 25, 2009 : proceedings / by: (書目-語言資料,印刷品)

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.