Carlos Delgado Kloos
7 published titles
Formal semantics for VHDL
(Contributor)
1 edition
- ISBN: 0792395522
- Kluwer Academic
- 1995
- Details
Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC10 WG10.5 International Conference on Computer Hardware
(Contributor)
1 edition
- ISBN: 0412788101
- Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)
- 1997
- Details
Practical formal methods for hardware design
(Contributor)
1 edition
- ISBN: 3540620079
- Springer
- 1997
- Details
EDUTECH : computer-aided design meets computer-aided learning ; IFIP 18th World Computer Congress ; TC10/WG10.5 EduTech Workshop, 22-27 August 2004, Toulouse, France
(Contributor)
1 edition
- ISBN: 1402081626
- Kluwer Academic Publishers
- 2004
- Details
EUNICE 2005 : networks and applications towards a ubiquitously connected world : IFIP International Workshop on Networked Applications, Colmenarejo, Madrid/Spain, 6-8 July, 2005
(Contributor)
1 edition
- ISBN: 0387308156
- Springer
- 2006
- Details
Personalization of interactive multimedia services : a research and development perspective
(Contributor)
1 edition
- ISBN: 9781604566802
- Nova Science
- 2009
- Details
Towards ubiquitous learning : 6th European Conference of Technology Enhanced Learning, EC-TEL 2011, Palermo, Italy, September 20-23, 2011 : proceedings
(Contributor)
1 edition
- ISBN: 9783642239847
- Springer
- 2011
- Details
