Bibliographie der Universität Regensburg

Universität Regensburg (2)
- Informatik und Data Science (2)
  - Fachbereich Grundlagen der Informatik (2)
    - Theoretische Informatik (Prof. Dr. Philipp Rümmer) (2)

Gruppieren nach: Datum | Autoren | Dokumentenart | Keine Gruppierung

Gehe zu: C | Y

Anzahl der Einträge in dieser Kategorie: 2.

C

Cailler, Julie und Rümmer, Philipp (2023) Automatisches Beweisen: Methoden und Anwendungen. Blick in die Wissenschaft : Forschungsmagazin der Universität Regensburg 31 (44/45), S. 10-12. Volltext nicht vorhanden.

Y

Yaacoub, Ahmed El, Mottola, Luca, Voigt, Thiemo und Rümmer, Philipp (2023) Scheduling Dynamic Software Updates in Mobile Robots. ACM Transactions on Embedded Computing Systems 22 (6), S. 1-27.

Diese Liste wurde erzeugt am Fri Dec 20 07:32:27 2024 CET.

Exportieren als	Atom RSS 1.0 RSS 2.0

Bibliographie der Universität Regensburg

C

Y

Universitätsbibliothek