Carlos Delgado Kloos - Böcker

EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World

IFIP International Workshop on Networked Applications, Colmenarejo, Madrid/Spain, 6-8 July, 2005

Hardware Description Languages and their Applications

Specification, modelling, verification and synthesis of microelectronic systems

Formal Semantics for VHDL

Formal Semantics for VHDL

Hardware Description Languages and their Applications

Specification, modelling, verification and synthesis of microelectronic systems

EduTech: Computer-Aided Design Meets Computer-Aided Learning

Computer-Aided Design Meets Computer-Aided Learning

EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World

IFIP International Workshop on Networked Applications, Colmenarejo, Madrid/Spain, 6-8 July, 2005

Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge

6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings

Digital Education: Out to the World and Back to the Campus

5th European MOOCs Stakeholders Summit, EMOOCs 2017, Madrid, Spain, May 22-26, 2017, Proceedings

Semantics of Digital Circuits

Practical Formal Methods for Hardware Design

Towards Ubiquitous Learning

6th European Conference on Technology Enhanced Learning, EC-TEL 2011, Palermo, Italy, September 20-23, 2011, Proceedings