"Isabelle/HOL: A Proof Assistant for Higher-Order Logic" von Markus Wenzel ist ein umfassendes Werk, das sich mit dem interaktiven Theorembeweiser Isabelle beschäftigt, insbesondere in seiner Ausprägung für Higher-Order Logic (HOL). Das...

"Der Weg in die Cloud: Ein Leitfaden für Unternehmer und Entscheider" von Markus Wenzel ist ein kompaktes Handbuch, das sich an Geschäftsinhaber und Entscheidungsträger richtet, die den Übergang zu Cloud-basierten Lösungen in Betracht...