![]() |
ScalES-PPM
|
do not use ppm_external directly, instead only the wrapper modules ppm_sort and ppm_heap should be USE'd. More...
do not use ppm_external directly, instead only the wrapper modules ppm_sort and ppm_heap should be USE'd.
Das diesem Bericht zugrundeliegende Vorhaben wurde mit Mitteln des Bundesministeriums für Bildung, und Forschung unter dem Förderkennzeichen 01IH08004E gefördert. Die Verantwortung für den Inhalt dieser Veröffentlichung liegt beim Autor.