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:
Workshop on the Preservation of Stability under Discretization ((2001 :); Gaspers, Serge.; Fernau, Henning.; 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:
Gaspers, Serge.; Workshop on the Preservation of Stability under Discretization ((2001 :); Walsh, Toby.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Computer algorithms
Software Engineering.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Operating Systems.
Symbolic and Algebraic Manipulation.
Computer Communication Networks.
Computer software
Theory of Computation.
Mathematics of Computing.
Discrete Mathematics in Computer Science.
Computer Science.
Computer Systems Organization and Communication Networks.
Numeric Computing.
Computer science