|
171 |
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting
Brockschmidt, Marc. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
|
|
|
|
172 |
Mooop - a hybrid integration of OWL and Java
Frenzel, Christoph. - Augsburg : Universität Augsburg, 2011
|
|
|
173 |
Rapid development of proteomic applications with the AIBench framework
Enthalten in Journal of integrative bioinformatics Bd. 8, 2011, Nr. 3: 16-30. 15 S.
|
|
|
|
174 |
METU-SNP: An Integrated Software System for SNPComplex Disease Association Analysis
Enthalten in Journal of integrative bioinformatics Bd. 8, 2011, Nr. 2: 204-221. 18 S.
|
|
|
|
175 |
Integrative Visualization of Temporally Varying Medical Image Patterns
Enthalten in Journal of integrative bioinformatics Bd. 8, 2011, Nr. 2: 75-84. 10 S.
|
|
|
|
176 |
Key2Ann: a tool to process sequence sets by replacing database identifiers with a human-readable annotation
Enthalten in Journal of integrative bioinformatics Bd. 8, 2011, Nr. 1: 35-46. 12 S.
|
|
|
|
177 |
Automated Termination Analysis of Java Bytecode by Term Rewriting
Otto, Carsten. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
|
|
|
|
178 |
The Java tsunami model: Using highly-resolved data to model the past event and to estimate the future hazard
Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2010
|
|
|
|
179 |
MEMOPS: Data modelling and automatic code generation
Enthalten in Journal of integrative bioinformatics Bd. 7, 2010, Nr. 3: 112-134. 23 S.
|
|
|
|
180 |
Lauberneuerung und andere periodische Lebensprozesse in dem trockenen Monsungebiet Ost-Java's
Coster, Charles. - Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg, 2009
|
|
Administration
