|
461 |
Real-Time Garbage Collection for a Multithreaded Java Microcontroller
Enthalten in Real-time systems Bd. 26, Nr. 1, date:1.2004: 89-106
|
|
|
|
462 |
Memory Management for Real-Time Java: An Efficient Solution using Hardware Support*
Enthalten in Real-time systems Bd. 26, Nr. 1, date:1.2004: 63-87
|
|
|
|
463 |
Zur Kenntnis der Sesquiterpene. (57. Mitteilung). Über ein krystallisiertes Cadinol aus Java‐Citronellöl
Enthalten in Helvetica chimica acta Bd. 25, 2004, Nr. 7: 1674-1679. 6 S.
|
|
|
|
464 |
An Overview of the Runtime Verification Tool Java PathExplorer
Enthalten in Formal methods in system design Bd. 24, Nr. 2, date:3.2004: 189-215
|
|
|
|
465 |
Java-MaC: A Run-Time Assurance Approach for Java Programs
Enthalten in Formal methods in system design Bd. 24, Nr. 2, date:3.2004: 129-155
|
|
|
|
466 |
Frontal bone fragment ofHomo erectus from Sangiran, Java
Enthalten in Human evolution Bd. 19, Nr. 3, date:7.2004: 197-201
|
|
|
|
467 |
Ueber die Zusammensetzung der Erde des Giftthales auf Java
Enthalten in Journal für praktische Chemie, Chemiker-Zeitung Bd. 17, 2004, Nr. 1: 351-351. 1 S.
|
|
|
|
468 |
LIMaS: the JAVA-based application and database for microarray experiment tracking
Enthalten in Mammalian genome Bd. 15, Nr. 9, date:9.2004: 740-747
|
|
|
|
469 |
TestEra: Specification-Based Testing of Java Programs Using SAT
Enthalten in Automated software engineering Bd. 11, Nr. 4, date:10.2004: 403-434
|
|
|
|
470 |
Component Model for Multi- Area Power Systems On-Line Economic Load Dispatch
Enthalten in International journal of emerging electric power systems Bd. 1, 2004, Nr. 2. 13 S.
|
|
Administration
