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
2020 A method for developing Reference Enterprise Architectures Dissertationsschrift Druckschrift
2020 Visual analytics methods for retinal layers in optical coherence tomography data Dissertationsschrift Druckschrift
2020 Domain-specific languages for modeling and simulation Dissertationsschrift Druckschrift
2020 A Characterization of Data Exchange between Visual Analytics Tools Zeitschriftenartikel 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