|
521 |
The software JMulTi: concept, development, and application in VAR analysis Benkwitz, Alexander, 2002
|
|
|
522 |
The software JMulTi: concept, development, and application in VAR analysis Benkwitz, Alexander, 2002
|
|
|
523 |
The structure of a type safe operating system Golm, Michael, 2002
|
|
|
524 |
A formal approach to object oriented software engineering Knapp, Alexander. - Aachen : Shaker, 2001
|
|
|
525 |
Analyzing Java in Isabelle-HOL Oheimb, David von, 2001
|
|
|
526 |
Analyzing Java in Isabelle-HOL Oheimb, David von, 2001
|
|
|
527 |
Continuous automatic classification of seismic signals of volcanic origin at Mt. Merapi, Java, Indonesia Ohrnberger, Matthias, 2001
|
|
|
528 |
Continuous automatic classification of seismic signals of volcanic origin at Mt. Merapi, Java, Indonesia Ohrnberger, Matthias, 2001
|
|
|
529 |
Die Sicherheitsaspekte von mobilem Code Sohr, Karsten, 2001
|
|
|
530 |
Die Sicherheitsaspekte von mobilem Code Sohr, Karsten, 2001
|
|