carlos delgado kloos

Towards Ubiquitous Learning

This book constitutes the refereed proceedings of the 6th European Conference on Technology Enhan...

EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World

International Federation for Information Processing

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

This book constitutes the proceedings of the 6th European Conference on Massive Open Online Cours...

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

This book constitutes the proceedings of the 5th European Conference, EMOOCs 2017, held in Legané...

21st Century Learning for 21st Century Skills

This book constitutes the refereed proceedings of the 7th European Conference on Technology Enhan...

Hardware Description Languages and their Applications

In the past few decades Computer Hardware Description Languages(CHDLs) have been a rapidly expa...

EduTech: Computer-Aided Design Meets Computer-Aided Learning

EduTech: Computer-Aided Design Meets Computer-Aided LearningEdited by Carlos Delgado Kloos and Ab...

Practical Formal Methods for Hardware Design

Formal methods for hardware design still find limited use in industry. Yet current practice has t...

Formal Semantics for VHDL

It is recognized that formal design and verification methods are an important requirement for the...

Semantics of Digital Circuits

21st Century Learning for 21st Century Skills

This book constitutes the refereed proceedings of the 7th European Conference on Technology Enhan...

EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World

EUNICE is a network of Universities throughout Europe. The EUNICE network has been created to fos...