Recursive Data Types in Setl: Automatic Determination, Language Description, and Efficient Implementation

Text Mining: Concepts, Implementation, and Big Data Challenge (Studies in Data)

Efficient Implementation of Hydrogen Systems in Societies

Data Integrity and Governance: Practical Implementation in Regulated Laboratories

Programming Language Design and Implementation (Texts in Computer Science)