Algebra, Boolean - Congresses.

Boolean functions in cryptology and information security by: (書目-語言資料,印刷品)

Theory and Applications of Satisfiability Testing = 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Theory and applications of satisfiability testing--SAT 2008 = 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / by: (書目-語言資料,印刷品)

Computer algorithms

Algorithm Analysis and Problem Complexity.

Operating Systems.

Cryptography

Decision making

Algebra, Boolean

Computer Science.

Mathematical Logic and Formal Languages.

Mathematical Logic and Foundations.

Computer security

Propositional calculus

Artificial Intelligence (incl. Robotics)

Numeric Computing.