|
251 |
Radioactive Bimetallic Gold–Silver Nanoparticles Production in a Research Nuclear Reactor
Enthalten in ChemistrySelect Bd. 3, 2018, Nr. 31: 8936-8941. 6 S.
|
|
|
|
252 |
Eliminating object reference checks by escape analysis on real-time Java virtual machine
Enthalten in Cluster computing 27.2.2018: 1-12
|
|
|
|
253 |
Reverse engineering Java Card and vulnerability exploitation: a shortcut to ROM
Enthalten in International journal of information security 22.2.2018: 1-16
|
|
|
|
254 |
Resilience of socio-ecological systems in volcano risk-prone areas, but how much longer? Assessment of adaptive water governance in Merapi volcano, Central Java, Indonesia
Enthalten in GeoJournal 12.2.2018: 1-31
|
|
|
|
255 |
Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler
Enthalten in Journal of automated reasoning 8.2.2018: 1-90
|
|
|
256 |
A Co-contextual Type Checker for Featherweight Java
Kuci, Edlira. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
|
|
|
|
257 |
Contracts in the Wild: A Study of Java Programs
Dietrich, Jens. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
|
|
|
|
258 |
Funktionale Erklärung eines südindischen Mahatmyas. Die Legende Hiranyavarmans und das Leben des Cola-Königs Kulottunga I.
Kulke, Hermann. - Heidelberg : CrossAsia, 2017
|
|
|
|
259 |
Group Composition and Monandry in Grizzled Langurs, Presbytis comata, on Java
Enthalten in Folia primatologica Bd. 88, 2017, Nr. 2: 237-254. 18 S.
|
|
|
|
260 |
A Java software agent framework for hard real-time manufacturing control
Enthalten in Automatisierungstechnik Bd. 65, 2017, Nr. 11: 749-765. 17 S.
|
|
Administration
