Electronic digital computers - Congresses. - Evaluation

Computer Aided Verification17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings / by: (Electronic resources)

Computer Aided Verification20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / by: (Electronic resources)

Computer performance evaluation and benchmarkingSpec Benchmark Workshop 2009, Austin, Tx, USA, January 25, 2009 : proceedings / by: (Electronic resources)

Computer aided verification9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings / by: (Electronic resources)

Computer performance evaluationmodelling techniques and tools : 9th international conference, St. Malo, France, June 3-6 1997 : proceedings / by: (Electronic resources)

Computer aided verification22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings / by: (Electronic resources)

Computer aided verification23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings / by: (Electronic resources)

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