Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
   Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language

Publikationen suchen


1528 Treffer    Neue Suche    Zurück
Jahr Sortierung aufsteigend Sortierung absteigend Titel der Publikation Sortierung aufsteigend Sortierung absteigend Publikationsart Sortierung aufsteigend Sortierung absteigend Publikationsform Sortierung aufsteigend Sortierung absteigend
2022 Prediction of disorientation by accelerometric and gait features in young and older adults navigating in a virtually enriched environment Zeitschriftenartikel Elektronische Ressource
2023 The ISEBEL Project Zeitschriftenartikel Elektronische Ressource
2023 Complexity results for matching cut problems in graphs without long induced paths Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
2023 Computing optimal leaf roots of chordal cographs in linear time Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
2020 The complexity of synthesizing elementary net systems relative to natural parameters Zeitschriftenartikel Elektronische Ressource
2020 The generic combinatorial algorithm for image matching with classes of projective transformations Zeitschriftenartikel Elektronische Ressource
2020 Faster enabledness-updates for the reachability graph computation Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
2020 Finding an optimal label-splitting to make a transition system petri net implementable Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
2020 Büchi-Automata guided partial order reduction for LTL Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
2020 Portfolio management in explicit model checking Teil einer Monographie/eines Konferenzbandes Elektronische Ressource