|
471 |
Removal of Copper Toxicity by Zeolite in Java Tilapia Oreochromis mossambicus (Peters)
Enthalten in Bulletin of environmental contamination and toxicology Bd. 71, Nr. 6, date:12.2003: 1184-1191
|
|
|
|
472 |
Mynheer Peeperkorn's Fever
Enthalten in Arcadia Bd. 38, 2003, Nr. 2: 257-263
|
|
|
|
473 |
Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler
Enthalten in Journal of automated reasoning Bd. 30, Nr. 3-4, date:5.2003: 323-361
|
|
|
|
474 |
A Type System for the Java Bytecode Language and Verifier
Enthalten in Journal of automated reasoning Bd. 30, Nr. 3-4, date:5.2003: 271-321
|
|
|
|
475 |
Java Bytecode Verification: Algorithms and Formalizations
Enthalten in Journal of automated reasoning Bd. 30, Nr. 3-4, date:5.2003: 235-269
|
|
|
|
476 |
Formal Semantics of Java Expressions and Statements
Enthalten in Programming and computer software Bd. 29, Nr. 5, date:9.2003: 259-270
|
|
|
|
477 |
An ASM-based Formal Model of a Java Program
Enthalten in Programming and computer software Bd. 29, Nr. 3, date:5.2003: 130-139
|
|
|
|
478 |
Evaluating the Expressive Power of the Real-Time Specification for Java*
Enthalten in Real-time systems Bd. 24, Nr. 3, date:5.2003: 319-359
|
|
|
|
479 |
JASMINE: A Java Tool for Multimedia Collaboration on the Internet
Enthalten in Multimedia tools and applications Bd. 19, Nr. 1, date:1.2003: 5-28
|
|
|
|
480 |
A grid middleware for distributed Java computing with MPI binding and process migration supports
Enthalten in Journal of computer science and technology Bd. 18, Nr. 4, date:7.2003: 505-514
|
|
Administration
