Documents Savoirs Content location in sparse vehicular ad-hoc networks [Elektronische Ressource] : feasibility, implementation, optimization on the case of a city scenario / vorgelegt von Christian Wewetzer Admm
Documents Savoirs The control complexity of sincere strategy preference based approval voting and of fallback voting, and a study of optimal lobbying and Junta distributions for SAT [Elektronische Ressource] / vorgelegt von Gábor Erdélyi Admm
Documents Savoirs On symmetry reduction in model checking via graph canonicalisation [Elektronische Ressource] / vorgelegt von Corinna Spermann Admm