„Programs“

Suchergebnisse

10.000+ Treffer

• Statistical Computing 2022 – Abstracts der 52. Arbeitstagung
  2023 Universität Ulm
• Statistical Computing 2018 – Abstracts der 50. Arbeitstagung
  2020 Universität Ulm
• Statistical Computing 2019 – Abstracts der 51. Arbeitstagung
  2020 Universität Ulm
• The Audience in Mind: women audiences and film programs in 1910s Mannheim Germany
  Haller, Andrea 2006 Universität Trier
• Building bridges to economy – the impact of environmental communication programs in German business
  Meyer, Wolfgang 2005 Saarländische Universitäts- und Landesbibliothek
• Statistical computing 2009 - Abstracts der 41. Jahrestagung
  Kestler, Hans A. ; Lausen, Berthold ; Binder, Harald ; Klenk, Hans-Peter ; Leisch, Friedrich ; Schmid, Matthias 2009 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• A deductive verifier for probabilistic programs
  Schroer, Philipp ; Batz, Kevin ; Kaminski, Benjamin Lucien ; Matheja, Christoph ; Katoen, Joost-Pieter ; Müller, Peter 2024 Universitätsbibliothek der RWTH Aachen
• Shaping the future – the transformative potential of AI in computer science VET programs
  Merkel, Manuel 2024 Universitätsbibliothek der Universität Stuttgart
• Invariant-based strategy synthesis for nondeterministic probabilistic programs
  Biskup, Tom ; Katoen, Joost-Pieter ; Noll, Thomas 2024 Universitätsbibliothek der RWTH Aachen
• Pushdown and expectation transformer semantics of probabilistic recursive programs with nested conditioning
  Lehmann, Johannes ; Winkler, Tobias ; Katoen, Joost-Pieter ; Noll, Thomas 2024 Universitätsbibliothek der RWTH Aachen
• POMDP-based execution models for probabilistic programs with partial observability
  Gehnen, Christina ; Bork, Alexander Nikolai ; Winkler, Tobias ; Katoen, Joost-Pieter ; Noll, Thomas 2022 Universitätsbibliothek der RWTH Aachen
• Constructing a Static Program Slicer for R Programs
  Sihler, Florian 2023 Universität Ulm
• Termination analysis of procedural pointer programs modelled by graph grammars
  Khalifa, Mohamed ; Fesefeldt, Ira Justus ; Noll, Thomas ; Katoen, Joost-Pieter 2022 Universitätsbibliothek der RWTH Aachen
• What mentally-ill adults gain from participating in outdoor community outreach programs delivered by Out Doors Inc.
  Alford, Sakae ; Seibt-Winckler, Annette C. ; Townsend, Mardie 2014 Hochschule für Angewandte Wissenschaften Hamburg
• Compatibility of Employment and Caregiving -Initiatives for the Improvement of the Situation of Working Carers
  Kubesch, Nadine Janet ; Krüger, Detlef ; Döhner, Hanneli 2007 Hochschule für Angewandte Wissenschaften Hamburg
• Proteomics of Aspergillus nidulans sexually differentiated cells
  Dirnberger, Benedict ; Braus, Gerhard ; Pöggeler, Stefanie 2018 Niedersächsische Staats- und Universitätsbibliothek Göttingen
• Re-Engineering Approach for PLC Programs based on Formal Methods – Re-Engineering-Ansatz für SPS-Programme auf Basis formaler Beschreibungen
  Bani Younis, Mohammed 2006 Shaker
• Integrative Concepts for Scalable Distributed Performance Analysis and Visualization of Parallel Programs
  Brunst, Holger 2008 Shaker
• Efficient Verification of Programs with Complex Data Structures Using SMT Solvers
  Liu, Tianhai ; Beckert, B. 2018 KIT-Bibliothek
• Decomposition of Integer Programs with Matchability Structure
  Dahms, Florian ; Koster, Arie M. C. A. ; Krumke, Sven O. ; Lübbecke, Marco 2016 Universitätsbibliothek der RWTH Aachen