Carlos Delgado Kloos – författare
Visar alla böcker från författaren Carlos Delgado Kloos. Handla med fri frakt och snabb leverans.
25 produkter
EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World
IFIP International Workshop on Networked Applications, Colmenarejo, Madrid/Spain, 6-8 July, 2005
Av Carlos Delgado Kloos, Andrés Marín m. fl.
Inbunden, 2006
1124 kr
Lägg i varukorg
EUNICE is a network of Universities throughout Europe. The EUNICE network has been created to foster the mobility of students, faculty ~nembers and research scientists working in the field of information and com~llunication technologies and to promote educational and research cooperation between …
EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World
IFIP International Workshop on Networked Applications, Colmenarejo, Madrid/Spain, 6-8 July, 2005
Av David Larrabeiti, Andres Marin m. fl.
E-bok, 2006
1502 kr
Lägg i varukorg
EUNICE is a network of Universities throughout Europe. The EUNICE network has been created to foster the mobility of students, faculty ~nembers and research scientists working in the field of information and com~llunication technologies and to promote educational and research cooperation between …
Hardware Description Languages and their Applications
Specification, modelling, verification and synthesis of microelectronic systems
Av Eduard Cerny, Carlos Delgado Kloos
E-bok, 2013
2049 kr
Lägg i varukorg
In the past few decades Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors, including the advancing complexity of digital electronics, the increasing prevalence of generic and programmable components of software-hardware and the …
Hardware Description Languages and their Applications
Specification, modelling, verification and synthesis of microelectronic systems
Av Carlos Delgado Kloos, Eduard Cerny
Inbunden, 1997
1692 kr
Lägg i varukorg
In the past few decades Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors, including the advancing complexity of digital electronics, the increasing prevalence of generic and programmable components of software-hardware and the …
Formal Semantics for VHDL
Av Carlos D. Kloos, Carlos Delgado Kloos m. fl.
Inbunden, 1995
1130 kr
Lägg i varukorg
It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolved enormously during the last few years, resulting in the fact that formal design and verification methods are nowadays supported by …
EduTech: Computer-Aided Design Meets Computer-Aided Learning
Computer-Aided Design Meets Computer-Aided Learning
Av Abelardo Pardo, Carlos Delgado Kloos
E-bok, 2006
739 kr
Lägg i varukorg
Computation and communication technologies underpin work and development in many different areas. Among them, Computer-Aided Design of electronic systems and eLearning technologies are two areas which, though different, in fact share many concerns. The design of CAD and eLearning systems already …
Formal Semantics for VHDL
Av Carlos Delgado Kloos, P. Breuer
Häftad, 2012
1098 kr
Lägg i varukorg
It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolved enormously during the last few years, resulting in the fact that formal design and verification methods are nowadays supported by …
Formal Semantics for VHDL
Av P. Breuer, Carlos Delgado Kloos
E-bok, 2012
1459 kr
Lägg i varukorg
It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolved enormously during the last few years, resulting in the fact that formal design and verification methods are nowadays supported by …
Hardware Description Languages and their Applications
Specification, modelling, verification and synthesis of microelectronic systems
Av Carlos Delgado Kloos, Eduard Cerny
Häftad, 2013
1643 kr
Lägg i varukorg
In the past few decades Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors, including the advancing complexity of digital electronics, the increasing prevalence of generic and programmable components of software-hardware and the …
EduTech: Computer-Aided Design Meets Computer-Aided Learning
Computer-Aided Design Meets Computer-Aided Learning
Av Carlos Delgado Kloos, Abelardo Pardo
Häftad, 2013
537 kr
Lägg i varukorg
Computation and communication technologies underpin work and development in many different areas. Among them, Computer-Aided Design of electronic systems and eLearning technologies are two areas which, though different, in fact share many concerns. The design of CAD and eLearning systems already …
EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World
IFIP International Workshop on Networked Applications, Colmenarejo, Madrid/Spain, 6-8 July, 2005
Av Carlos Delgado Kloos, Andrés Marín m. fl.
Häftad, 2014
1130 kr
Lägg i varukorg
EUNICE is a network of Universities throughout Europe. The EUNICE network has been created to foster the mobility of students, faculty ~nembers and research scientists working in the field of information and com~llunication technologies and to promote educational and research cooperation between …
Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge
6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings
Av Mauro Calise, Carlos Delgado Kloos m. fl.
Häftad, 2019
537 kr
Lägg i varukorg
This book constitutes the proceedings of the 6th European Conference on Massive Open Online Courses, EMOOCs 2019, held in Naples, Italy, in May 2019.The 15 full and 6 short papers presented in this volume were carefully reviewed and selected from 42 submissions. Massive Open Online Courses (MOOCs) …
Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge
6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings
Av Martin Wirsing, Jose A. Ruiperez-Valiente m. fl.
E-bok, 2019
698 kr
Lägg i varukorg
This book constitutes the proceedings of the 6th European Conference on Massive Open Online Courses, EMOOCs 2019, held in Naples, Italy, in May 2019. The 15 full and 6 short papers presented in this volume were carefully reviewed and selected from 42 submissions. Massive Open Online Courses (MOOCs) …
Digital Education: Out to the World and Back to the Campus
5th European MOOCs Stakeholders Summit, EMOOCs 2017, Madrid, Spain, May 22-26, 2017, Proceedings
Av Carlos Delgado Kloos, Patrick Jermann m. fl.
Häftad, 2017
537 kr
Lägg i varukorg
This book constitutes the proceedings of the 5th European Conference, EMOOCs 2017, held in Leganés, Madrid, Spain, in May 2017. The 23 full and 10 short papers presented in this volume were carefully reviewed and selected from 53 submissions. Massive Open Online Courses (MOOCs) have marked a …
Digital Education: Out to the World and Back to the Campus
5th European MOOCs Stakeholders Summit, EMOOCs 2017, Madrid, Spain, May 22-26, 2017, Proceedings
Av Su White, Daniel T. Seaton m. fl.
E-bok, 2017
690 kr
Lägg i varukorg
This book constitutes the proceedings of the 5th European Conference, EMOOCs 2017, held in Leganés, Madrid, Spain, in May 2017. The 23 full and 10 short papers presented in this volume were carefully reviewed and selected from 53 submissions. Massive Open Online Courses (MOOCs) have marked a …
Practical Formal Methods for Hardware Design
Av C. Delgado Kloos, Carlos Delgado Kloos m. fl.
Häftad, 1997
569 kr
Lägg i varukorg
Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research report presents results from the Esprit project FORMAT (formal methods in hardware verification) which …
Towards Ubiquitous Learning
6th European Conference on Technology Enhanced Learning, EC-TEL 2011, Palermo, Italy, September 20-23, 2011, Proceedings
Av Carlos Delgado Kloos, Denis Gillet m. fl.
Häftad, 2011
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th European Conference on Technology Enhanced Learning, EC-TEL 2011, held in Palermo, Italy, in September 2010. The 30 revised full papers presented were carefully reviewed and selected from 158 submissions. The book also includes 12 short …
Towards Ubiquitous Learning
6th European Conference on Technology Enhanced Learning, EC-TEL 2011, Palermo, Italy, September 20-23, 2011, Proceedings
Av Martin Wolpers, Fridolin Wild m. fl.
E-bok, 2011
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th European Conference on Technology Enhanced Learning, EC-TEL 2011, held in Palermo, Italy, in September 2010. The 30 revised full papers presented were carefully reviewed and selected from 158 submissions. The book also includes 12 short …
21st Century Learning for 21st Century Skills
7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012, Proceedings
Av Andrew Ravenscroft, Stefanie Lindstaedt m. fl.
Häftad, 2012
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, held in Saarbrücken, Germany, in September 2012. The 26 revised full papers presented were carefully reviewed and selected from 130 submissions. The book also includes 12 …
21st Century Learning for 21st Century Skills
7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012, Proceedings
Av Davinia Hernandez-Leo, Carlos Delgado Kloos m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, held in Saarbrücken, Germany, in September 2012. The 26 revised full papers presented were carefully reviewed and selected from 130 submissions. The book also includes 12 …
Practical Formal Methods for Hardware Design
Av Werner Damm, Carlos Delgado Kloos
E-bok, 2012
755 kr
Lägg i varukorg
Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research report presents results from the Esprit project FORMAT (formal methods in hardware verification) which …
