|
91 |
Global type inference for featherweight generic java Stadelmeier, Andreas. - Freiburg : Universität, 2024
|
|
|
92 |
Inspecting Java Program States with Semantic Web Technologies Haubner, Anton W.. - Darmstadt : Universitäts- und Landesbibliothek, 2022
|
|
|
93 |
JavaCHR – A Modern CHR-Embedding in Java Wibiral, Tim. - Ulm : Universität Ulm, 2022
|
|
|
94 |
Lecture Notes Manner, Johannes. - Bamberg : Otto-Friedrich-Universität Bamberg, 2022
|
|
|
95 |
NullnessGraphSeq Ragavendran, Koushik. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2022
|
|
|
96 |
PACE Solver Description: GraPA-JAVA Bergenthal, Moritz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
|
|
|
97 |
Program analysis of WebAssembly binaries Lehmann, Daniel. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2022
|
|
|
98 |
Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis He, Dongjie. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
|
|
|
99 |
Quality assessment in light microscopy for routine use through simple tools and robust metrics Faklaris, Orestis. - Freiburg : Universität, 2023
|
|
|
100 |
TF-Prioritizer: a java pipeline to prioritize condition-specific transcription factors Hoffmann, Markus. - Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg, 2022
|
|