„Programs“

Suchergebnisse

10.000+ Treffer

• Exploring shared risks through public-private partnerships in public health programs: a mixed method
  Alonazi, Wadi B.
• Site Visits, Policy Learning, and the Diffusion of Policy Innovation: Evidence from Public Bicycle Programs in China
  Ma, Liang
• Stadtraum und Fachkompetenz – Rheinterrasse Düsseldorf, 7.-8. Mai 2024
  Mäckler, Christoph ; Sonne, Wolfgang 2025 Jovis
• On the semantics and interpretation of rule based programs with static global variables
  Schmidt-Schauß, Manfred 1995 Univ.-Bibliothek Frankfurt am Main
• Automatic extraction of context information from programs using abstract reduction
  Schütz, Marko ; Schmidt-Schauß, Manfred 1997 Univ.-Bibliothek Frankfurt am Main
• Reconstruction of a logic for inductive proofs of properties of functional programs
  Sabel, David ; Schmidt-Schauß, Manfred 2010 Univ.-Bibliothek Frankfurt am Main
• Reconstruction of a logic for inductive proofs of properties of functional programs
  Sabel, David ; Schmidt-Schauß, Manfred 2010 Univ.-Bibliothek Frankfurt am Main
• Fast equality test for straight-line compressed strings
  Schmidt-Schauß, Manfred ; Schnitger, Georg 2011 Univ.-Bibliothek Frankfurt am Main
• Reconstructing a logic for inductive proofs of properties of functional programs
  Sabel, David ; Schmidt-Schauß, Manfred 2011 Univ.-Bibliothek Frankfurt am Main
• Automation, offshoring, and the role of public policies
  Schmidpeter, Bernhard ; Winter-Ebmer, Rudolf 2019 RWI, Leibniz-Institut für Wirtschaftsforschung
• Automation, Offshoring, and the Role of Public Policies
  Schmidpeter, Bernhard ; Winter-Ebmer, Rudolf 2019 RWI – Leibniz-Institut für Wirtschaftsforschung
• Engagierte Mitarbeitende mit EAP – Wie Employee Assistance Programs Beschäftigte effektiv binden
  Esch, Karin 2024 Wiley-VCH GmbH
• Quantitative Verification with Neural Networks
  Abate, Alessandro ; Edwards, Alec ; Giacobbe, Mirco ; Punchihewa, Hashan ; Roy, Diptarko 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A new thread-level speculative automatic parallelization model and library based on duplicate code execution
  Martínez, Millán A. ; Fraguela, Basilio B. ; Cabaleiro, José C. ; Fernández-Rivera, Francisco
• Developing a simulation safety policy for translational simulation programs in healthcare
  Brazil, Victoria ; Scott, Clare ; Matulich, Jack ; Shanahan, Brenton
• Centra aktivit – cesta ke smysluplnému učení
  Babanová, Anna 2022 Step by Step ČR
• Behavioral Health Student Assistance Programs: Leveraging Non-Traditional Mental Health Providers to Address Workforce Shortages and Mitigate the Youth Mental Health Crisis
  Bruns, Eric J. ; Ehde, Cassandra ; Gaias, Larissa M. ; Kebede, Bethlehem ; McWherter, Christina ; Wick, Erin
• Measuring Educational Outcomes in Undergraduate Otolaryngology Programs in Two Diverse Way of Teaching-A Prospective Study
  Poduval, Jayita Das ; Sakthignanavel, Arulmozhi
• Unintentional Effects of Bystander Training Programs for Dating and Sexual Violence: A Commentary
  Krauss, Alison ; Jouriles, Ernest N.
• Dual phosphorylation of glycogen synthase kinase 3β differentially integrates metabolic programs to determine T cell immunity across vertebrates
  Liang, Wei ; Geng, Ming ; Rao, Wenzhuo ; Li, Kang ; Zhu, Yating ; Zheng, Yuying ; Wei, Xiumei ; Yang, Jialong