„program transformations“

Suchergebnisse

1.000+ Treffer

• Aufklärung und Anti-Aufklärung im China der Gegenwart – Chinesische Ansichten zum Experiment Moderne
  Jilin, Xu ; Dabringhaus, Sabine ; Duve, Thomas ; Ess, Hans ˜vanœ ; von Kalnein, Albrecht Graf ; Yang, Zhiyi 2026 Campus
• BXtendDSL at Work: Combining Declarative and Imperative Programming of Bidirectional Model Transformations
  Buchmann, Thomas ; Bank, Matthias ; Westfechtel, Bernhard
• Cephalopod‐Inspired Magnetic Shape‐Morphing System for Complex 3D Transformations with Broad Reconfigurability in 3D Displays and Soft Robotics (Adv. Mater. 28/2025)
  Oh, Subin ; Kim, Choong Yeon ; Chung, Sein ; Jeong, Jae‐Woong
• Controlling Liquid Crystal Orientations for Programmable Anisotropic Transformations in Cellular Microstructures (Adv. Mater. 42/2021)
  Li, Shucong ; Librandi, Gabriele ; Yao, Yuxing ; Richard, Austin J. ; Schneider‐Yamamura, Alyssha ; Aizenberg, Joanna ; Bertoldi, Katia
• Selfcare Next Level – 7 Strategien für krisenfeste Führungskräfte
  Pientka, Kara 2024 Campus Verlag
• Using transformations and verification in circuit design
  Saxe, James B. ; Horning, James J. ; Guttag, John ; Garland, Stephen J.
• Deutschland ist eins: vieles – Bilanz und Perspektiven von Transformation und Vereinigung
  Enders, Judith Christine ; Kollmorgen, Raj ; Kowalczuk, Ilko-Sascha ; Brückweh, Kerstin ; Buhr, Daniel ; Hidalgo, Oliver ; Lühmann, Michael ; Mannewitz, Tom ; Platzeck, Matthias ; Ranft, Florian ; Thieme, Tom ; Schroeder, Wolfgang ; Wanderwitz, Marco ; Yendell, Alexander 2021 Campus Verlag
• Type-Driven Automated Program Transformations and Cost Modelling for Optimising Streaming Programs on FPGAs
  Vanderbauwhede, Wim ; Nabi, Syed Waqar ; Urlea, Cristian
• Towards correctness of program transformations through unification and critical pair computation
  Rau, Conrad ; Schmidt-Schauß, Manfred 2010 Univ.-Bibliothek Frankfurt am Main
• Towards correctness of program transformations through unification and critical pair computation
  Rau, Conrad ; Schmidt-Schauß, Manfred 2011 Univ.-Bibliothek Frankfurt am Main
• Diplomaten ohne Immunität – Das deutsche Lehrerentsendeprogramm im Transformationsland Ungarn 1987–2002
  Uesseler, Karl Dieter 2025 Nomos Verlagsgesellschaft mbH & Co. KG
• Magnetoactive bistable soft actuators for programmable large shape transformations at low magnetic fields
  Wen, Hao ; Shao, Zihao ; Sun, Yuxuan ; Ma, Chiyuan ; Xiang, Feihong ; Xia, Liangyu ; Zhu, Xinhui ; Li, Xiaoxiang ; Li, Liang ; Cao, Quanliang
• From transformations to methodology in parallel program development – a case study
  Gorlač, Sergej 1995 Univ., Fak. für Mathematik und Informatik
• User-centered performance engineering of declarative model transformations
  Groner, Raffaela Gloria 2024 Universität Ulm
• MontiTrans: Agile, modellgetriebene Entwicklung von und mit domänenspezifischen, kompositionalen Transformationssprachen
  Hölldobler, Katrin ; Rumpe, Bernhard ; Lämmel, Ralf 2018 Universitätsbibliothek der RWTH Aachen
• MontiTrans: Agile, modellgetriebene Entwicklung von und mit domänenspezifischen, kompositionalen Transformationssprachen
  Hölldobler, Katrin ; Rumpe, Bernhard 2018 Shaker
• BIOSPHÄRE + STADT – Das UNESCO-Programm „Der Mensch und die Biosphäre“ im Prozess (MAB im Prozess) zur Erforschung urbaner Transformationsprozesse unter der Prämisse des Prädikats UNESCO-Biosphärenreservat - Ein Aktionsplan für die Initiierung der Stadttransformationsstrategie:BiosphereCITY. Case Study: Arrecífe (Lanzarote, Spanien)
  Gerstberger, Susanne ; Bava, Henri ; Rambow, Riklef ; Kruse-Graumann, Lenelis 2024 KIT-Bibliothek
• Learning Code Transformations from Repositories
  Dotzler, Georg ; Philippsen, Michael ; Apel, Sven 2018 FAU University Press
• Model Transformation Languages with Modular Information Hiding
  Rentschler, Andreas 2015 KIT Scientific Publishing
• Generierung domänenspezifischer Transformationssprachen
  Weisemöller, Ingo 2012 Shaker