|
3091 |
Heuristics for model checking Java programs
Enthalten in International journal on software tools for technology transfer Bd. 6, 29.10.2004, Nr. 4, date:8.2004: 260-276
|
|
|
|
3092 |
High caseload of childhood tuberculosis in hospitals on Java Island, Indonesia: a cross sectional study
Enthalten in BMC public health Bd. 11, 11.10.2011, Nr. 1, date:12.2011: 1-7
|
|
|
|
3093 |
High Q ScS beneath the Ontong Java Plateau
Enthalten in Earth, planets and space Bd. 71, 6.9.2019, Nr. 1, date:12.2019: 1-9
|
|
|
|
3094 |
High spatio-temporal resolution observations of crater lake temperatures at Kawah Ijen volcano, East Java, Indonesia
Enthalten in Bulletin of volcanology Bd. 78, 8.7.2016, Nr. 8, date:8.2016: 1-11
|
|
|
|
3095 |
High-yield SRI in West Java by decomposing straw in waterlogged paddy field
Enthalten in Paddy and water environment Bd. 16, 30.7.2018, Nr. 4, date:10.2018: 887-891
|
|
|
|
3096 |
Hold off on that shot of Java: more evidence that caffeine intake leads to false negative adenosine stress myocardial perfusion
Enthalten in The international journal of cardiovascular imaging Bd. 33, 31.8.2016, Nr. 1, date:1.2017: 97-99
|
|
|
|
3097 |
How do annotations affect Java code readability?
Enthalten in Empirical software engineering Bd. 29, 3.5.2024, Nr. 3, date:5.2024: 1-31
|
|
|
|
3098 |
How effective are existing Java API specifications for finding bugs during runtime verification?
Enthalten in Automated software engineering Bd. 26, 21.11.2019, Nr. 4, date:12.2019: 795-837
|
|
|
|
3099 |
Hydrochar Production through the HTC Process: Case Study of Municipal Solid Waste Samples in East Java, Indonesia
Enthalten in Solid fuel chemistry Bd. 54, 16.12.2020, Nr. 6, date:11.2020: 418-426
|
|
|
|
3100 |
Identification of active faults in West Java, Indonesia, based on earthquake hypocenter determination, relocation, and focal mechanism analysis
Enthalten in Geoscience Letters Bd. 5, 27.12.2018, Nr. 1, date:12.2018: 1-10
|
|
Administration
