Recently added
DSpace Repositorium (Manakin basiert)
Einloggen
Publikationsdienste
→
TOBIAS-portale
→
Dokumente von Tagungen, Kongressen, Workshops und Projekten
→
MBMV 2018
→
Recent submissions
« zurück
JavaScript is disabled for your browser. Some features of this site may not work without it.
MBMV 2018: Recent submissions
Anzeige der Dokumente 6-8 von 8
Vorherige Seite
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext
Winterer, Leonore
;
Junges, Sebastian
;
Wimmer, Ralf
;
Jansen, Nils
;
Topcu, Ufuk
;
Katoen, Joost-Pieter
;
Becker, Bernd
(
2018-03-13
)
;
Konferenzpaper
Routing Partial Permutations in General Interconnection Networks based on Radix Sorting
Jain, Tripti
;
Schneider, Klaus
(
2018-03-13
)
;
Konferenzpaper
From DQBF to QBF by Dependency Elimination
Wimmer, Ralf
;
Karrenbauer, Andreas
;
Becker, Ruben
;
Scholl, Christoph
;
Becker, Bernd
(
2018-03-13
)
;
Konferenzpaper
Anzeige der Dokumente 6-8 von 8
Vorherige Seite
Veröffentlichen
Kontakt
Verträge
Hilfe und Informationen
Stöbern
Gesamter Bestand
Bereiche & Sammlungen
Erscheinungsdatum
Autoren
Titel
DDC-Klassifikation
Diese Sammlung
Erscheinungsdatum
Autoren
Titel
DDC-Klassifikation
Mein Benutzerkonto
Einloggen