Algebra, Boolean - Congresses.

Theory and Applications of Satisfiability Testing - SAT 20069th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings / by: (書目-電子資源)

Theory and Applications of Satisfiability Testing7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 200912th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 ; proceedings / by: (書目-電子資源)

Boolean functions in cryptology and information security by: (書目-電子資源)

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

Handbook of satisfiability by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 201013th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings / by: (書目-電子資源)

Advanced Boolean techniquesselected papers from the 13th International Workshop on Boolean Problems / by: (書目-電子資源)

Recent findings in Boolean techniquesselected papers from the 14th International Workshop on Boolean Problems / by: (書目-電子資源)

Advanced Boolean techniquesselected papers from the 15th International Workshop on Boolean Problems / by: (書目-電子資源)

Propositional calculus

Mathematical Logic and Formal Languages.

Mathematical Logic and Foundations.

Computer Science, general.

Software Engineering.

Electronics Design and Verification.

Computer algorithms

Logics and Meanings of Programs.

Mathematics of Computing.

Algebra, Boolean

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Operating Systems.

Cryptography

Programming Techniques.

Electronics and Microelectronics, Instrumentation.

Cyber-physical systems, IoT.

Mathematical Applications in Computer Science.

Decision making

Logic Design.

Numeric Computing.

Circuits and Systems.

Computer security

Computer Science.

Electronic Circuits and Systems.

Embedded Systems.