„Terminierung“

Suchergebnisse

1.000+ Treffer

• Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen
  Giesl, Jürgen 1995 Infix
• Der Einfluss von Next Generation Access auf die Kosten der Sprachterminierung
  Jay, Stephan ; Plückebaum, Thomas ; Ilić, Dragan 2010 WIK Wissenschaftliches Institut für Infrastruktur und Kommunikationsdienste GmbH
• Termination of the Iterative Proportional Fitting Procedure
  Reffel, Fabian 2014 Universität Augsburg
• Automated termination analysis of C programs
  Hensel, Jera ; Giesl, Jürgen ; David, Cristina 2023 Universitätsbibliothek der RWTH Aachen
• Entwicklung einer Methode zum Einsatz von Reinforcement Learning für die dynamische Fertigungsdurchlaufsteuerung
  Lohse, Oliver ; Ovtcharova, Jivka ; Ihlenfeldt, Steffen 2023 KIT Scientific Publishing
• Die Katheterablation von persistierendem Vorhofflimmern – prozedurale Charakteristika und intraprozedurale Prädiktoren für eine Terminierung in eine Atriale Tachykardie
  Sondergeld, Rebecca Brigitte Wilhelmine ; Deisenhofer, Isabel, ; Laugwitz, Karl-Ludwig 2022 Universitätsbibliothek der TU München
• Terminal Rare-Earth-Metal Imides and Phosphinidenes
  Rieser, Theresa E. ; Anwander, Reiner 2025 Universitätsbibliothek Tübingen
• Zur Konzeption der Retrograden Terminierung mit Personalzuordnung auf Basis eines genetischen Algorithmus
  Kunz, Thomas 2004 Shaker
• Terminierungsgebühren, Priority Pricing und Spezialdienste im Internet – Eine wettbewerbsrechtliche Analyse unter Berücksichtigung der Verordnung (EU) 2015/2120
  Jossen, Jonas 2018 Nomos Verlagsgesellschaft mbH & Co. KG
• Produktionsplanung und -steuerung in mehrstufigen Batchproduktionen : Methoden der Loskomposition und -terminierung bei stufenspezifischen Auftragsfamilien
  Isenberg, Marc-André ; Scholz-Reiter, Bernd ; Kopfer, Herbert 2016 Staats- und Universitätsbibliothek Bremen
• Automatic authorization analysis
  Lamotte-Schubert, Manuel ; Weidenbach, Christoph 2015 Saarländische Universitäts- und Landesbibliothek
• Adaptive Planungsmethode zur Terminierung der Erbringungsprozesse hybrider Leistungsbündel
  Funke, Birgit 2012 Shaker
• Termination analysis for imperative programs operating on the heap
  Brockschmidt, Marc 2014 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• Static termination analysis for prolog using term rewriting and SAT solving
  Schneider-Kamp, Peter 2008 RWTH, Fachgruppe Informatik
• The DP framework for proving termination of term rewriting
  Thiemann, René 2007 RWTH Aachen
• Einflussfaktoren auf die Terminierung im Rahmen der katheterinterventionellen Ablation von persistierendem und lang-anhaltend-persistierendem Vorhofflimmern
  Hagemann, Sonja ; Schwoerer, Alexander 2014 Staats- und Universitätsbibliothek Hamburg
• Radical Polymerization Kinetics in Systems with Transfer Reactions Studied by Pulsed-Laser-Polymerization and Online EPR-Detection
  Barth, Johannes ; Buback, Michael ; Vana, Philipp 2011 Niedersächsische Staats- und Universitätsbibliothek Göttingen
• SAT encodings – from constraint-based termination analysis to circuit synthesis
  Fuhs, Carsten 2012 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• Entwicklung einer Methode zum Einsatz von Reinforcement Learning für die dynamische Fertigungsdurchlaufsteuerung
  Lohse, Oliver 2023 KIT Scientific Publishing
• Parallelisierbare Terminierungsverfahren als Baustein für ein Multiagentensystem
  Habenicht, Ilka 2010 Fernuniversität Hagen