Gaspers, Serge.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
SOFSEM 2024theory 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:
(1998 :); Fernau, Henning.; Gaspers, Serge.; Klasing, Ralf.; SpringerLink (Online service)
(Electronic resources)
Theory and applications of satisfiability testing - SAT 201720th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings /
by:
(1998 :); Gaspers, Serge.; SpringerLink (Online service); Walsh, Toby.
(Electronic resources)
Subjects
Theory of Computation.
Software Engineering.
Computer algorithms
Mathematics of Computing.
Computer software
Artificial Intelligence (incl. Robotics)
Operating Systems.
Numeric Computing.
Computer science
Artificial Intelligence.
Computer Science.
Computer Systems Organization and Communication Networks.
Discrete Mathematics in Computer Science.
Computer Communication Networks.
Symbolic and Algebraic Manipulation.