Carlos Delgado Kloos

Identifiers

Open LibraryOL1076081A

Top Subjects

Digital electronics (1)
Electronic circuit design (1)
Integrated circuits (1)
STREAM (Computer hardware description language) (1)
Digital integrated circuits. (1)
Computer engineering (1)
Electronic data processing (1)

Books by Carlos Delgado Kloos

Total count: 11

Towards a formalization of digital circuit design

1986-01-01
Semantics of digital circuits

Springer-Verlag1987-01-01
Formal Semantics for VHDL

Springer US1995-01-01
Practical Formal Methods for Hardware Design

Springer Berlin Heidelberg1997-01-01
EUNICE 2005 : Networks and Applications Towards a Ubiquitously Connected WorldIFIP International Workshop on Networked Applications, Colmenarejo, Madrid/Spain, 6-8 July 2005

Springer London, Limited2006-01-01
Towards Ubiquitous Learning6th European Conference on Technology Enhanced Learning, EC-TEL 2011, Palermo, Italy, September 20-23, 2011, Proceedings

Springer London, Limited2011-01-01
21 Century Learning for 21 Century Skills7th European Conference on Technology Enhanced Learning, Ec-Tel 2012, Saarbrücken, Germany, September 2012, Proceedings

Springer2012-01-01
Hardware Description Languages and Their ApplicationsSpecification, Modelling, Verification and Synthesis of Microelectronic Systems

Springer2013-01-01
EduTech : Computer-Aided Design Meets Computer-Aided LearningComputer-Aided Design Meets Computer-Aided Learning

Springer2013-04-26
Digital Education : Out to the World and Back to the Campus5th European MOOCs Stakeholders Summit, EMOOCs 2017, Madrid, Spain, May 22-26, 2017, Proceedings

Springer2017-05-20
Digital Education : At the MOOC Crossroads Where the Interests of Academia and Business Converge6th European MOOCs Stakeholders Summit, EMOOCs 2019, ...

Springer2019-05-08