語系
Strichman, Ofer.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Decision proceduresan algorithmic point of view /
by:
Kroening, Daniel.; SpringerLink (Online service); Strichman, Ofer.
(書目-電子資源)
Decision ProceduresAn Algorithmic Point of View /
by:
Kroening, Daniel.; SpringerLink (Online service); Strichman, Ofer.
(書目-電子資源)
Hardware and softwareverification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings /
by:
(1998 :); SpringerLink (Online service); Strichman, Ofer.; Tzoref-Brill, Rachel.
(書目-電子資源)
Theory and applications of satisfiability testing - SAT 201013th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
by:
(1998 :); SpringerLink (Online service); Strichman, Ofer.; Szeider, Stefan.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Theory of Computation.
Propositional calculus
Computational complexity.
Logics and Meanings of Programs.
Computer algorithms
Mathematics of Computing.
Logic, Symbolic and mathematical.
Software Engineering/Programming and Operating Systems.
Software architecture
Artificial Intelligence (incl. Robotics)
Algebra, Boolean
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Computer software
Decision making
Algorithms.
Programming Languages, Compilers, Interpreters.
Optimization.
Computer programs
Computer Science.
Computer Communication Networks.
Turing machines.