21st Century Learning for 21st Century Skills

This book constitutes the refereed proceedings ...

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

This book constitutes the proceedings of the 6t...

EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World

International Federation for Information Proces...

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

This book constitutes the proceedings of the 5t...

Towards Ubiquitous Learning

This book constitutes the refereed proceedings ...

Hardware Description Languages and their Applications

In the past few decades Computer Hardware Descr...

EduTech: Computer-Aided Design Meets Computer-Aided Learning

EduTech: Computer-Aided Design Meets Computer-A...

Practical Formal Methods for Hardware Design

Formal methods for hardware design still find l...

Formal Semantics for VHDL

It is recognized that formal design and verific...

Semantics of Digital Circuits

Practical Formal Methods for Hardware Design

Formal methods for hardware design still find l...

Hardware Description Languages and their Applications

In the past few decades Computer Hardware Descr...