Machine Learning for Dynamic Software Analysis : Potentials and LimitsAmel Bennaceur, Reiner Hähnle, Karl Meinke · First published 2018Open the Tome
Taschenbuch der Hochfrequenztechnik : Band 1Klaus Lange, H.H. Meinke, Karl-Heinz Löcherer, F.W. Gundlach · First published 2013Open the Tome
Higher-order algebra, logic, and term rewritingJan Heering, Karl Meinke, Bernhard Moller · First published 1994Open the Tome
