Electronic digital computers - Congresses. - Evaluation

Computer Aided Verification17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings / by: (書目-電子資源)

Computer Aided Verification20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / by: (書目-電子資源)

Computer performance evaluation and benchmarkingSpec Benchmark Workshop 2009, Austin, Tx, USA, January 25, 2009 : proceedings / by: (書目-電子資源)

Computer aided verification9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings / by: (書目-電子資源)

Computer performance evaluationmodelling techniques and tools : 9th international conference, St. Malo, France, June 3-6 1997 : proceedings / by: (書目-電子資源)

Computer aided verification22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings / by: (書目-電子資源)

Computer aided verification23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings / by: (書目-電子資源)

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Computer software

Electronic digital computers

Artificial Intelligence (incl. Robotics)

Control Structures and Microprogramming.

Programming Techniques.

Logic Design.

Processor Architectures.

Programming Languages, Compilers, Interpreters.

Memory Structures.

Computer Science.

System Performance and Evaluation.

Arithmetic and Logic Structures.

Computer Communication Networks.

Integrated circuits