-
1
Computer aided verification 24th international conference, CAV 2012, Berkeley, CA, USA, July 7 - 13, 2012 ; proceedings
Veröffentlicht 2012Inhaltstext
Inhaltsverzeichnis
Tagungsbericht Buch -
2
Humus as an environmental factor the Sixth Nordic Symposium on Humic Substances, Hämeenlinna, Finland, 9 - 12 June 1997
Veröffentlicht 1998Inhaltsverzeichnis
Tagungsbericht Buch