Home Advanced Search

Advanced Search - Page 1

Practical Formal Methods for Hardware Design
  • PDF
  • English
  • Year: 1997
  • Author: Carlos Delgado Kloos, Werner Damm, Juan Goicolea (auth.), Carlos Delgado Kloos, Werner Damm (eds.)
Semantics of Digital Circuits
  • DJVU
  • English
  • Year: 1987
  • Author: Dr. Carlos Delgado Kloos (auth.)
Semantics of Digital Circuits
  • PDF
  • English
  • Year: 1987
  • Author: Dr. Carlos Delgado Kloos (auth.)
Formal Semantics for VHDL
  • PDF
  • English
  • Year: 1995
  • Author: Carlos Delgado Kloos, Peter T. Breuer (auth.), Carlos Delgado Kloos, Peter T. Breuer (eds.)
Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20–25 April 1997, Toledo, Spain
  • PDF
  • English
  • Year: 1997
  • Author: Gerard Berry (auth.), Carlos Delgado Kloos, Eduard Cerny (eds.)
21st Century Learning for 21st Century Skills: 7th European Conference of Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Richard Noss (auth.), Andrew Ravenscroft, Stefanie Lindstaedt, Carlos Delgado Kloos, Davinia Hernández-Leo (eds.)
21st Century Learning for 21st Century Skills: 7th European Conference of Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Richard Noss (auth.), Andrew Ravenscroft, Stefanie Lindstaedt, Carlos Delgado Kloos, Davinia Hernández-Leo (eds.)
Towards Ubiquitous Learning: 6th European Conference of Technology Enhanced Learning, EC-TEL 2011, Palermo, Italy, September 20-23, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Chris Dede (auth.), Carlos Delgado Kloos, Denis Gillet, Raquel M. Crespo García, Fridolin Wild, Martin Wolpers (eds.)
Towards Ubiquitous Learning: 6th European Conference of Technology Enhanced Learning, EC-TEL 2011, Palermo, Italy, September 20-23, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Chris Dede (auth.), Carlos Delgado Kloos, Denis Gillet, Raquel M. Crespo García, Fridolin Wild, Martin Wolpers (eds.)
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
  • PDF
  • German
  • Year: 1987
  • Author: Werner Damm (auth.)
search