|
251 |
Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler
Enthalten in Journal of automated reasoning 8.2.2018: 1-90
|
|
|
252 |
A Co-contextual Type Checker for Featherweight Java
Kuci, Edlira. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
|
|
|
|
253 |
Contracts in the Wild: A Study of Java Programs
Dietrich, Jens. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
|
|
|
|
254 |
Funktionale Erklärung eines südindischen Mahatmyas. Die Legende Hiranyavarmans und das Leben des Cola-Königs Kulottunga I.
Kulke, Hermann. - Heidelberg : CrossAsia, 2017
|
|
|
|
255 |
Group Composition and Monandry in Grizzled Langurs, Presbytis comata, on Java
Enthalten in Folia primatologica Bd. 88, 2017, Nr. 2: 237-254. 18 S.
|
|
|
|
256 |
A Java software agent framework for hard real-time manufacturing control
Enthalten in Automatisierungstechnik Bd. 65, 2017, Nr. 11: 749-765. 17 S.
|
|
|
|
257 |
E-mail Header Injection Vulnerabilities
Enthalten in Information technology Bd. 59, 2017, Nr. 2: 67-72. 6 S.
|
|
|
|
258 |
„Java-Tee“ (Orthosiphon) reduziert Übergewicht und hohe Lipidwerte
Enthalten in Zeitschrift für Phytotherapie Bd. 38, 2017, Nr. 05: 228-229
|
|
|
|
259 |
Seismo-ionospheric anomalies in ionospheric TEC and plasma density before the 17 July 2006 M 7.7 south of Java earthquake
Enthalten in Annales geophysicae Bd. 35, 2017, Nr. 3: 589-598
|
|
|
|
260 |
Determinants of cigarette smoking among school adolescents on the island of Java, Indonesia
Enthalten in International journal of adolescent medicine and health Bd. 29, 2017, Nr. 2. 8 S.
|
|
Administration
