|
441 |
Der mehrfädige Komodo-Mikrocontroller (The Multithreaded Komodo Microcontroller)
Enthalten in Information technology Bd. 47, 2005, Nr. 3: 117-122
|
|
|
|
442 |
Verified Java Bytecode Verification (Verified Java Bytecode Verification)
Enthalten in Information technology Bd. 47, 2005, Nr. 2: 107-110
|
|
|
|
443 |
The System PARCS-JAVA for Parallel Computations on Computer Networks
Enthalten in Cybernetics and systems analysis Bd. 41, Nr. 1, date:1.2005: 17-26
|
|
|
|
444 |
Teak (Tectona grandis L.) tree growth, stem quality and health in coppiced plantations in Java, Indonesia
Enthalten in New forests Bd. 30, Nr. 1, date:07.2005: 55-65
|
|
|
|
445 |
jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation
Enthalten in Formal methods in system design Bd. 27, Nr. 3, date:11.2005: 275-312
|
|
|
|
446 |
Translating Java for Multiple Model Checkers: The Bandera Back-End
Enthalten in Formal methods in system design Bd. 26, Nr. 2, date:3.2005: 137-180
|
|
|
|
447 |
From Science to Innovation and From Data to Knowledge: eScience in the Dutch Polymer Institute's High‐Throughput Experimentation Cluster
Enthalten in QSAR & combinatorial science Bd. 24, 2005, Nr. 1: 58-65. 8 S.
|
|
|
|
448 |
Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications
Enthalten in Automated software engineering Bd. 12, Nr. 4, date:10.2005: 415-446
|
|
|
|
449 |
Biomass of a man-made forest of timber tree species in the humid tropics of West Java, Indonesia
Enthalten in Journal of forest research Bd. 10, Nr. 6, date:12.2005: 487-491
|
|
|
|
450 |
A system for integrative and post-planned analysis of 2-DE/MS centered proteomics data
Enthalten in Journal of integrative bioinformatics Bd. 2, 2005, Nr. 1: 23-37. 15 S.
|
|
Administration
