|
761 |
An Expressive Trace Logic for Recursive Programs
Gurov, Dilian. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
762 |
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
|
|
|
|
763 |
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
|
|
|
|
764 |
An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs
Meel, Kuldeep S.. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
765 |
An Image-Based Approach to Automated Recognition of Asbestos-Containing Components in Wall Demolition Waste
Bauer, Albert. - Berlin : Technische Universität Berlin, 2025
|
|
|
|
766 |
An imaging technique for determining the volume fraction of two-component droplets of immiscible fluids
Stumpf, Bastian. - Darmstadt : Universitäts- und Landesbibliothek, 2025
|
|
|
|
767 |
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
|
|
|
|
768 |
An in silico study reveals how architectural and mechanical cues jointly regulate angiogenesis and bone regeneration in 3D printed scaffolds
Dazzi, Chiara. - Hamburg : Technische Universität Hamburg. Universitätsbibliothek, 2025
|
|
|
|
769 |
An in vitro pharmacogenomic approach reveals subtype-specific therapeutic vulnerabilities in atypical teratoid/rhabdoid tumors (AT/RT)
Pauck, David. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2025
|
|
|
|
770 |
An inexact regularized proximal Newton method without line search
vom Dahl, Simeon. - Würzburg : Universität Würzburg, 2025
|
|
Administration
