„Kontrollfluss“

Suchergebnisse

1.000+ Treffer

• Repräsentation und Vergleich des Kontrollflusses von BPEL Prozessmodellen mit temporalen Aktivitätszustandsnetzwerken
  Scheurich, Jonas 2016 Universitätsbibliothek der Universität Stuttgart
• Empirische Bewertung verschiedener Ansätze der Datenflussanalyse
  Nesich, Christian 2017 Universitätsbibliothek der Universität Stuttgart
• Python-Programmierung für Germanist:innen – Ein Lehr- und Arbeitsbuch
  Weisser, Martin 2022 Narr Francke Attempto Verlag
• Entwicklung eines Tests zur Identifizierung von Fehlvorstellungen beim Lesen von Code
  Eckert, Dimitri ; Kautz, Christian ; Dölling, Hanna ; Schäfle, Claudia 2025 Technische Hochschule Ingolstadt
• Semantik – Theorie sequentieller und paralleler Programmierung
  Best, Eike 1995 Vieweg
• Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
  Mohr, Martin ; Snelting, Gregor ; Hammer, Christian 2023 KIT Scientific Publishing
• Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
  Mohr, Martin ; Snelting, Gregor 2022 KIT-Bibliothek
• Controlling development processes
  Heer, Thomas ; Nagl, Manfred 2022 Universitätsbibliothek der RWTH Aachen
• Analysis and retrofitting of security properties for proprietary software systems
  Hund, Ralf ; Holz, Thorsten ; Freiling, Felix C. 2013 Ruhr-Universität Bochum
• Design and Implementation of Effect Handlers for Object-Oriented Programming Languages
  Brachthäuser, Jonathan Immanuel ; Ostermann, Klaus 2020 Universitätsbibliothek Tübingen
• Automatic SIMD Vectorization of SSA-based Control Flow Graphs
  Karrenberg, Ralf 2015 Springer Fachmedien Wiesbaden
• Automatic SIMD vectorization of SSA-based control flow graphs
  Karrenberg, Ralf ; Hack, Sebastian 2015 Saarländische Universitäts- und Landesbibliothek
• Reverse Engineering of Complex Legacy Telecommunication Systems
  Marburger, André 2005 Shaker
• Information flow control for java – a comprehensive approach based on path conditions in dependence Graphs
  Hammer, Christian ; Snelting, G. 2009 KIT Scientific Publishing
• From Formal Semantics to Verified Slicing – A Modular Framework with Applications in Language Based Security
  Wasserrab, Daniel ; Snelting, G. 2011 KIT Scientific Publishing
• Verfahren zur Stabilisierung des Internet-Routings
  Lichtwald, Götz 2006 Shaker
• Low Power Driven High-Level Synthesis for Dedicated Architectures
  Rettberg, Achim 2007 Shaker
• IT-gestütztes Compliance Management für Geschäftsprozesse
  Karlin, David ; Oberweis, A. 2015 KIT-Bibliothek
• Konstruktive Zuverlässigkeit: Eine Methodik für zuverlässige Systemsoftware auf unzuverlässiger Hardware
  Hoffmann, Martin ; Lohmann, Daniel 2016 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Ein Process Mining-Rahmenwerk für agile, personenbezogene Prozesse
  Schönig, Stefan ; Jablonski, Stefan 2015 Universität Bayreuth