|
31 |
South Java tsunami model using highly resolved data and probable tsunamigenic sources Kongko, Widjo. - Hannover : Franzius-Inst. für Wasserbau und Küsteningenieurwesen, 2012
|
|
|
32 |
Deductive verification of object-oriented software Weiß, Benjamin. - Karlsruhe : KIT Scientific Publ., 2011
|
|
|
33 |
Effiziente Mehrkernarchitektur für eingebettete Java-Bytecode-Prozessoren Zabel, Martin, 2011
|
|
|
34 |
Emergence of rural-urban regions in Central Java Province - Indonesia Handayani, Wiwandari. - Göttingen : Cuvillier, 2011, 1. Aufl.
|
|
|
35 |
Governing resources in a changing environment Purnomo, Mangku. - Göttingen : Univ.-Verl. Göttingen, 2011
|
|
|
36 |
How Islamic parties organize at the local level in post-Suharto Indonesia Sukmajati, Mada, 2011
|
|
|
37 |
Impact of mangroves and an agriculture-dominated hinterland on the carbon and nutrient biogeochemistry in the Segara Anakan Lagoon, Java, Indonesia Moll, Regine, 2011
|
|
|
38 |
Increasing the performance and predictability of the code execution on an embedded Java platform Preußer, Thomas B., 2011
|
|
|
39 |
Minimal-invasive Neuübersetzung von Typen in lang laufenden Systemen Schmidt, Patrick, 2011
|
|
|
40 |
Quantifying and predicting the influence of execution platform on software component performance Kuperberg, Michael. - Karlsruhe : KIT Scientific Publ., 2011
|
|