„Programs“

Suchergebnisse

10.000+ Treffer

• Types for proofs and programs – international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004. Jean-Christophe Filliâtre ... (ed.)
  Filliâtre, Jean-Christophe 2006 Springer
• [Types for proofs and programs] – [international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003]
  Berardi, Stefano 2004 [Springer]
• Types for proofs and programs – international workshop ; types '99, Lökeberg, Sweden, June 12 - 16, 1999 ; selected papers
  Coquand, Thierry 2002 Springer
• Types for proofs and programs – international workshop ; types '98, Kloster Irsee, Germany, March 1998 ; selected papers
  Altenkirch, Thorsten 2001 Springer
• Programs as data objects – second symposium ; proceedings
  Danvy, Olivier 2001 Springer
• Types for proofs and programs – international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers
  Callaghan, Paul 2002 Springer
• Assessing the Effectiveness of STEM Enrichment Programs: A Comparison between Switzerland and Germany
  Babari, Parvaneh ; Müller, Matthias 2025 Universitätsbibliothek Dortmund
• GPs’ experienced challenges and strategies for supporting patient self-management in disease management programs for type 2 diabetes mellitus and coronary heart disease - a qualitative study
  Pilic, Larisa ; Molkentin, Kira ; Herrmann, Alina ; Redaèlli, Marcus ; Kupsch, Lisa ; Lehmann, Lion ; Bödecker, August-Wilhelm ; Müller, Beate Sigrid ; Stock, Stephanie ; Wilm, Stefan
• A Fictitious Vehicle Manufacturing Company at a University as Interdisciplinary Framework to Combine Study Programs
  Peuschke-Bischof, Tobias ; Kubica, Stefan ; Carmo, Mafalda 2023 Technische Hochschule Wildau
• Von der Theorie zur Praxis – Eine vergleichende Studie von Mentoring- und Tandemprogrammen in Unternehmen
  Steinbach, Neele ; Furch, Laura ; Meise, Charlotte ; Langesee, Lisa-Marie 2024 TUDpress - Verlag der Wissenschaften
• Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper)
  Lommen, Nils ; Meyer, Éléanore ; Giesl, Jürgen 2024 Universitätsbibliothek der RWTH Aachen
• Proving Termination of C Programs with Lists
  Hensel, Jera ; Giesl, Jürgen 2023 Universitätsbibliothek der RWTH Aachen
• symQV – Automated Symbolic Verification of Quantum Programs
  Bauer-Marquart, Fabian ; Leue, Stefan ; Schilling, Christian 2023 KOPS Universität Konstanz
• A Review of Trials for Unsuccessful Pediatric Drug Development Programs Submitted to the US Food and Drug Administration 2015–2022
  Samuels, Sherbet ; Seaton, Mark ; Abdel-Rahman, Susan M. ; Burckart, Gilbert J.
• Adaptive system-level fault diagnosis of hierarchical cubic networks
  Lv, Mengjie ; Di, Sixiao ; Fan, Weibei
• A short-time wind speed forecasting method based on feature selection and KF-CNN-LSTM hybrid model
  He, Xu ; Wang, Jiale
• An innovative UAV and deep learning-based framework for automatic bridge crack detection and measurement
  Zhou, Changdong ; Dai, Mingjing ; Wang, Feng ; Dong, Yu ; Chen, Xinghua ; He, Chenghuan
• LMFL-YOLO: a lightweight multi-scale fusion and localization-enhanced YOLO network for steel surface defect detection
  Sun, Kelei ; Sun, Mengwei ; Zhou, Huaping ; Hu, Bingwen
• Convex relaxation technique-based output space branch-reduction-bound algorithm for minimizing generalized linear fractional multiplicative programs
  Huang, Xiaoli ; Gao, Yuelin ; Liu, Xia ; Ma, Xiaohua
• Two-Stage Robust Optimization for Mixed Integer and Linear Programs
  Niemann, Tim ; Stiller, Sebastian ; Liers, Frauke 2025 Technische Universität Braunschweig