| title | media type | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| 21st Century Learning for 21st Century Skills: 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September ... Notes in Computer Science, Band 7563) | Taschenbuch | | 978-3-642-33262-3 | 2012 | Andrew Ravenscroft · Stefanie Lindstaedt · Davinia Hernández-Leo |
| Digital Education: Out to the World and Back to the Campus: 5th European MOOCs Stakeholders Summit, EMOOCs 2017, Madrid, Spain, May 22-26, 2017, ... Notes in Computer Science, Band 10254) | " | | 978-3-319-59043-1 | 2017 | Patrick Jermann · Mar Pérez-Sanagustín · Daniel T. Seaton · Su White |
| EduTech: Computer-Aided Design Meets Computer-Aided Learning | Hardcover | | 978-1-4020-8161-3 | 2004 | Abelardo Pardo |
| EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World: IFIP International Workshop on Networked Applications, Colmenarejo, ... in Information and Communication Technology) | " | | 978-0-387-30815-9 | 2006 | Andrés Marín · David Larrabeiti |
| Formal Semantics for VHDL | Paperback | | 978-1-4613-5941-8 | 2012 |
| Formal Semantics for VHDL | Hardcover | | 978-0-7923-9552-2 | 1995 | P. Breuer |
| Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems | " | | 978-0-412-78810-9 | 1997 | Eduard Cerny |
| Practical Formal Methods for Hardware Design | Taschenbuch | | 978-3-540-62007-5 | 1997 | Werner Damm |
| Semantics of Digital Circuits | " | | 978-3-540-18540-6 | 2008 |
| Semantics of Digital Circuits | Paperback | | 978-0-387-18540-8 | 1987 |
| Towards Ubiquitous Learning: 6th European Conference on Technology Enhanced Learning, EC-TEL 2011, Palermo, Italy, September 20-23, 2011, Proceedings | Taschenbuch | | 978-3-642-23984-7 | 2011 | Denis Gillet · Raquel M. Crespo García · Fridolin Wild · Martin Wolpers |