„Programmtransformation“

Suchergebnisse

197 Treffer

• Networks of nonlinear thin structures – theory and applications = Netzwerke nichtlinearer dünner Strukturen : Theorie und Anwendung
  Strohmeyer, Christoph 2018 FAU University Press
• Model-driven development, deployment, and analysis of Internet of Things applications
  Kirchhof, Jörg Christian 2023 Shaker Verlag
• Funktionelle Analysen zur Interaktion des ORF10 Proteins von Borrelia recurrentis mit dem humanen Komplementsystem
  Gerlach, Eva ; Kraiczy, Peter ; Pfeilschifter, Josef 2024 Universitätsbibliothek Johann Christian Senckenberg
• Categorical semantics and composition of tree transducers
  Jürgensen, Claus
• Automatische Transformation großer Softwaresysteme
  Ludwig, Andreas 2002 Shaker
• Static analysis – 10th international symposium ; proceedings
  Cousot, Radhia 2003 Springer***5108985
• Implementierung einer Programmtransformation durch inkrementelles Aktualisieren interner Datenstrukturen
  Frotscher, Jürgen ; Amme, Wolfram ; Zehendner, Eberhard 1996 Inst. für Informatik, Lehrstuhl für Rechnerarchitektur und -kommunikation
• Programmtransformation in formalisierten Sprachen
  Bormann, Jürgen 1968
• SDL-Datenkonzepte - Analyse und Verbesserungen
  Schröder, Ralf
• Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice – operationale Semantik, Programmtransformationen und Anwendungen
  Kutzner, Arne
• Optimierung von SIMD-Programmen auf verteilten Systemen
  Eisenbiegler, Jörn 1999 Logos-Verl.
• Logic based program synthesis and transformation – 8th international workshop ; selected papers
  Flener, Pierre 1998 Springer
• Datenabhängigkeitsanalyse und Programmtransformationen auf CRAY-Rechnern mit dem FORTRAN-Präprozessor fpp
  Hege, Hans-Christian 1990 ZIB
• Anfrageoptimierung durch abstrakte Interpretation für ein deduktives Datenbanksystem
  Rüttgers, Dirk 1998 Shaker
• Higher-order structured presentations in a logical framework
  Liu, Junbo
• Functional meta-programs towards reusability in the declarative paradigm
  Lämmel, Ralf 1999 Shaker
• QGIS Server – Einsatz im Unternehmen
  Miksch, Jakob 2024 KartDok - Repositorium Kartographie Staatsbibliothek zu Berlin - Preußischer Kulturbesitz - Kartenabteilung -
• Vorgezogene Auswertung – eine Transformationstechnik für partielle Auswertung
  Mischnick, Andreas
• Denotationelle Analysen funktional-logischer Programme
  Zartmann, Frank
• Formal software development using generic development steps
  Dold, Axel 2000 Logos-Verl.