語系
Petke, Justyna.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Search based software engineering9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017 : proceedings /
by:
(1998 :); Menzies, Tim.; Petke, Justyna.; SpringerLink (Online service)
(書目-電子資源)
Bridging constraint satisfaction and Boolean satisfiability
by:
Petke, Justyna.; SpringerLink (Online service)
(書目-電子資源)
主題
Theory of Computation.
Software engineering
Software Engineering.
Algebra, Boolean.
Artificial Intelligence (incl. Robotics)
Operating Systems.
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Logic Design.
Constraints (Artificial intelligence)
Computer Science.