Author: Carlos Delgado Kloos

This book constitutes the refereed proceedings of the 6th European Conference on Technology Enhanced Learning, EC-TEL 2011, held in Palermo, Italy, in September 2010. The 30 revised full papers prese …

EUNICE is a network of Universities throughout Europe. The EUNICE network has been created to foster the mobility of students, faculty ~nembers and research scientists working in the field of informa …

In the past few decades Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors, including the advancing complexity of digital electronic …

Computation and communication technologies underpin work and development in many different areas. Among them, Computer-Aided Design of electronic systems and e Learning technologies are two areas whi …

It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolved enormously during the last few years …

This book constitutes the proceedings of the 6th European Conference on Massive Open Online Courses, EMOOCs 2019, held in Naples, Italy, in May 2019.The 15 full and 6 short papers presented in this v …

This book constitutes the proceedings of the 5th European Conference, EMOOCs 2017, held in Leganes, Madrid, Spain, in May 2017. The 23 full and 10 short papers presented in this volume were carefully …

This book constitutes the refereed proceedings of the 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, held in Saarbrucken, Germany, in September 2012. The 26 revised full papers …

Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research repor …

…