„Programs“

Suchergebnisse

10.000+ Treffer

• Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic
  Jansen, Christina ; Katoen, Joost-Pieter ; Huisman, Marieke ; Noll, Thomas 2017 Universitätsbibliothek der RWTH Aachen
• Analyzing memory accesses for performance and correctness of parallel programs
  Cramer, Tim ; Müller, Matthias ; Katoen, Joost-Pieter 2017 Universitätsbibliothek der RWTH Aachen
• Executive Compensation – Three Essays on Managerial Risk-Taking, Long-Term Orientation, and Convergence in Executive Compensation
  Kley, Friedrich 2017 Nomos Verlagsgesellschaft mbH & Co. KG
• An evaluation of the long-term effects of training programs in Germany and an empirical analysis of the Swiss Minaret Referendum
  Orlanski, Olga ; Fitzenberger, Bernd 2018 Universität
• An enumerative method for convex programs with linear complementarity constraints and application to the bilevel problem of a forecast model for high complexity products
  Heß, Maximilian ; Göttlich, Simone 2017 Universitätsbibliothek Mannheim
• Three Essays on Evaluating the Impact of Natural Resource Management Programs
  De los Santos Montero, Luis Alberto ; Cramon-Taubadel, Stephan ˜vonœ ; Bravo-Ureta ; Qaim, Matin 2018 Niedersächsische Staats- und Universitätsbibliothek Göttingen
• Approach to determine and evaluate the homogeneity of operating programs in railway operation based on infrastructure occupancy
  Cao, Nan ; Martin, Ullrich 2017 Universitätsbibliothek der Universität Stuttgart
• Information structure of sequential programs
  VOEVODIN, V. V.
• Breaking the Silo: The Crucial Role of Leadership and Advocacy in Digital Preservation Programs
  Ahmad, Rafiq ; Rafiq, Muhammad ; Fahad Khalil, Muhammad ; Haris Khalil, Muhammad
• Critical analysis of the liver cancer policies and programs in China: implications for international liver cancer control
  Chen, Xianwen ; Shi, Junnan ; Xue, Yan ; Lai, Yunfeng ; Song, Menghuan ; Ung, Carolina Oi Lam ; Hu, Hao
• Enhancing IoMT security: an advanced FAHP-based security scoring system for medical devices evaluation
  Jaidi, Faouzi ; Ksibi, Sondes
• ProFNSE: propagation dynamics-derived fake news detection in social networks
  You, Fuqiang ; Ding, Mingliang ; Luo, Hongren ; Ma, Yuliang ; Li, Hongru
• Demand-Side Programs to Stimulate Adoption of Broadband: What Works?
  Hauge, Janice A. ; Prieger, James E.
• Differences in health care costs between two social health support programs: findings from a randomized social health integration pilot program
  Mahmud, Ammarah ; Brown, Meagan C. ; Lewis, Cara C. ; Ornelas, India J. ; Pardee, Roy ; Mun, Sophia ; Piccorelli, Annie ; Westbrook, Emily O. ; Haan, Heidi Den ; Wong, Edwin S.
• A Systematic Review of Forest-Based Biomass Supply Chain Optimization Incorporating Governmental Policies and Programs
  Rahmani Mokarrari, Kimiya ; Kumar, Gaurav ; Sowlati, Taraneh
• The Economic Impact of IMF and World Bank Programs in the Middle East and North Africa: A Case Study of Jordan, Egypt, Morocco and Tunisia, 1983 - 2004
  Harrigan, Jane ; Said, Hamed ˜el-œ
• Techniques for the verification of dynamically typed programs
  Engelmann, Björn ; Olderog, Ernst-Rüdiger ; Boer, Frank S. ˜deœ 2017 BIS der Universität Oldenburg
• Cost Analysis of Programs Based on the Refinement of Cost Relations
  Flores Montoya, Antonio ; Hähnle, Reiner ; Giesl, Jürgen 2017 Universitäts- und Landesbibliothek Darmstadt
• About the Structure and Sensitivity of Integer Linear Programs and their Application in Combinatorial Optimization
  Klein, Kim-Manuel 2017 Universitätsbibliothek Kiel
• Normalization and Partial Evaluation of Functional Logic Programs
  Peemöller, Björn 2017 Universitätsbibliothek Kiel