|
631 |
An Expressive Trace Logic for Recursive Programs
Gurov, Dilian. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
632 |
An extensible set of parent elements to facilitate the isoparametric concept for polygons at finite strains
Ooi, E. T.. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
|
|
|
|
633 |
An Extract-Transform-Load Process Design for the Incremental Loading of German Real-World Data Based on FHIR and OMOP CDM
Henke, Elisa. - Dresden : Technische Universität Dresden, 2025
|
|
|
|
634 |
An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs
Meel, Kuldeep S.. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
635 |
An Image-Based Approach to Automated Recognition of Asbestos-Containing Components in Wall Demolition Waste
Bauer, Albert. - Berlin : Technische Universität Berlin, 2025
|
|
|
|
636 |
An imaging technique for determining the volume fraction of two-component droplets of immiscible fluids
Stumpf, Bastian. - Darmstadt : Universitäts- und Landesbibliothek, 2025
|
|
|
|
637 |
An improved method for the analysis of the reaction products of the partial isobutane oxidation by gas chromatography using a green solvent
Willms, Thomas. - Berlin : Bundesanstalt für Materialforschung und -prüfung (BAM), 2025
|
|
|
|
638 |
An inexact regularized proximal Newton method without line search
vom Dahl, Simeon. - Würzburg : Universität Würzburg, 2025
|
|
|
|
639 |
An Initial Study of Ultra High Performance Concrete as Reusable Mold Material for Aluminum Casting
Link, Janna. - Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2025
|
|
|
|
640 |
An Innermost DP Framework for Constrained Higher-Order Rewriting
Fuhs, Carsten. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
Administration
