Karl Meinke

ספרים שבהם Karl Meinke מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Higher-order algebra, logic, and term rewritingJan Heering

Higher-order algebra, logic, and term rewriting

Jan Heering · 1994

Tests and ProofsLaura Kovács

Tests and Proofs

Laura Kovács · 2022

Machine Learning for Dynamic Software Analysis : Potentials and LimitsAmel Bennaceur

Machine Learning for Dynamic Software Analysis : Potentials and Limits

Amel Bennaceur · 2018