„Statische Analyse“

Suchergebnisse

1.000+ Treffer

• Statische Analyse von GRAFCET-Spezifikationen zur Erkennung von Entwurfsfehlern
  Schnakenbeck, Aron ; Fay, Alexander ; Kowalewski, Stefan 2025 Universitätsbibliothek der HSU/UniBw H
• Analyzing edits to static variability
  Bittner, Paul Maximilian 2025 Universität Ulm
• Statische Analyse mit linear elastischen 3D‐Gebäudemodellen – Auswirkungen unterschiedlicher Modellierungsarten auf den vertikalen Lastfluss
  Laggner, Thomas Markus ; Schlicke, Dirk ; Tue, Nguyen Viet ; Denk, Wolf‐Dietrich
• Mathematik für Wirtschaftswissenschaftler – Das Übungsbuch
  Böker, Fred 2023 Pearson Studium
• Investition und Finanzierung im Bauunternehmen – Grundlagen und Anwendung mit Lernvideos
  Friedrichsen, Stefanie ; Ahting, Steffen 2021 Springer Fachmedien Wiesbaden
• Mathematik für Wirtschaftswissenschaftler – Das Übungsbuch
  Böker, Fred 2018 Pearson Studium
• Mathematik für Wirtschaftswissenschaftler – Das Übungsbuch
  Böker, Fred 2011 Pearson Deutschland
• Modellierung, Simulation und experimentelle Analyse der an- und aeroben thermischen Alterung von Elastomeren unter statischer und dynamischer Verformung
  Al-Afif, Sam 2025 Gottfried Wilhelm Leibniz Universität Hannover
• Static analysis – second international symposium ; proceedings
  Mycroft, Alan 1995 Springer
• Strategieverbesserungsalgorithmen für exakte Programmanalysen
  Gawlitza, Thomas Martin 2009 Verlag Dr. Hut
• Improving Analysis and Optimization of Finite-Precision Programs
  Isychev, Anastasia ; Seidl, Helmut ; Darulova, Eva ; Tatlock, Zachary 2023 Universitätsbibliothek der TU München
• Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
  Mohr, Martin ; Snelting, Gregor ; Hammer, Christian 2023 KIT Scientific Publishing
• Policy iteration for value set analysis of PLC programs
  Völker, Marcus ; Kowalewski, Stefan ; Beckert, Bernhard 2023 Universitätsbibliothek der RWTH Aachen
• Program analysis of WebAssembly binaries
  Lehmann, Daniel ; Pradel, Michael 2022 Universitätsbibliothek der Universität Stuttgart
• Simulation-driven design of bonded joints in fibre composite aircraft structures using progressive damage analyses
  Völkerink, Oliver 2022 Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR), Wissenschaftliche Information
• Medikamenten-assoziierte Kieferosteonekrosen (MRONJ) – eine statische und dynamische (histo)morphometrische Analyse mittels Micro-CT und (Immun-)Histologie
  Schönhof, Rouven ; Hoefert, Sebastian 2022 Universitätsbibliothek Tübingen
• CORFU - An Extended Model-Driven Framework for Small Satellite Software with Code Feedback
  Flederer, Frank ; Montenegro, Sergio ; Kolla, Reiner 2021 Universität Würzburg
• Optische Untersuchung der statischen und dynamischen Eigenschaften von Ladungsträgern in einzelnen selbstorganisierten Quantenpunkten
  Lochner, Pia ; Geller, Martin 2021 Universität Duisburg-Essen
• Analyse und Vergleich einer statischen versus dynamischen operativen Stabilisierungsmethode bei Syndesmosenverletzungen des Sprunggelenks anhand einer intraoperativen Schnittbilddiagnostik mittels unterschiedlicher anatomischer Qualitätskriterien und Messmethoden
  Heyer, Sarah ; Horch, Raymund ; Palm, Hans-Georg 2021 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Unterstützung der SPS-Programmierung durch statische Analyse während der Programmeingabe
  Obster, Mathias ; Kowalewski, Stefan ; Frey, Georg 2020 Universitätsbibliothek der RWTH Aachen