Carlos Delgado Kloos

• Digital Education : At the MOOC Crossroads Where the Interests of Academia and Business Converge
• Digital Education : Out to the World and Back to the Campus
• EduTech : Computer-Aided Design Meets Computer-Aided Learning
• EUNICE 2005 : Networks and Applications Towards a Ubiquitously Connected World
• Formal Semantics for VHDL
• Hardware Description Languages and their Applications
• Practical Formal Methods for Hardware Design
• Practical formal methods for hardware design
• Semantics of Digital Circuits Lecture Notes in Computer Science
• Semantics of digital circuits
• 21 Century Learning for 21 Century Skills
• Formal semantics for VHDL