語系
Gaspers, Serge.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
SOFSEM 2024 = theory and practice of computer science : 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024 : proceedings /
by:
SOFSEM (Conference) (2024 :); Fernau, Henning.; Gaspers, Serge.; SpringerLink (Online service); Klasing, Ralf.
(書目-電子資源)
Theory and applications of satisfiability testing - SAT 2017 = 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings /
by:
SAT (Conference) (2017 :); Gaspers, Serge.; Walsh, Toby.; SpringerLink (Online service)
(書目-電子資源)
主題
Theory of Computation.
Software Engineering.
Computer algorithms
Mathematics of Computing.
Artificial Intelligence (incl. Robotics)
Operating Systems.
Numeric Computing.
Computer science
Artificial Intelligence.
Computer software- Verification
Computer Science.
Computer Systems Organization and Communication Networks.
Discrete Mathematics in Computer Science.
Computer Communication Networks.
Symbolic and Algebraic Manipulation.