Carlos Delgado Kloos – författare

Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.

25 produkter

Kategorier

25 produkter

Del 196 - IFIP Advances in Information and Communication Technology
EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World
IFIP International Workshop on Networked Applications, Colmenarejo, Madrid/Spain, 6-8 July, 2005
AvCarlos Delgado Kloos,Andrés Marínm. fl.
Inbunden, Engelska, 2006
1 117 kr
Skickas inom 10-15 vardagar
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 its member institutions. The prime means for implementing these goals is the annual Summer School organized by the member institutions. From its conception, the EUNICE Summer Schools were designed as unique events where the joint participation of PhD students and supervisors working in the field of information and communication technologies (ICT) is the key to create an event that goes far beyond a conventional international workshop. Furthermore, the Summer School is an open forum for the cooperation of the European member institutions and any other organisation interested European academiclresearch centre at all levels. This cooperation is paramount to successfully construct and participate in the European Higher Education Area, and especially, to achieve easy and effective exchange of research activities.
EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World
IFIP International Workshop on Networked Applications, Colmenarejo, Madrid/Spain, 6-8 July, 2005
AvDavid Larrabeiti,Andres Marinm. fl.
E-bok
PDF, Engelska, 2006
1 455 kr
Läs direkt efter köp
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 its member institutions. The prime means for implementing these goals is the annual Summer School organized by the member institutions. From its conception, the EUNICE Summer Schools were designed as unique events where the joint participation of PhD students and supervisors working in the field of information and communication technologies (ICT) is the key to create an event that goes far beyond a conventional international workshop. Furthermore, the Summer School is an open forum for the cooperation of the European member institutions and any other organisation interested European academiclresearch centre at all levels. This cooperation is paramount to successfully construct and participate in the European Higher Education Area, and especially, to achieve easy and effective exchange of research activities.
Hardware Description Languages and their Applications
Specification, modelling, verification and synthesis of microelectronic systems
AvEduard Cerny,Carlos Delgado Kloos
E-bok
PDF, Engelska, 2013
2 049 kr
Läs direkt efter köp
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 migration of VLSI design to high level synthesis based on HDLs. Currently the subject has reached the consolidation phase in which languages and standards are being increasingly used, at the same time as the scope is being broadened to additional application areas. This book presents the latest developments in this area and provides a forum from which readers can learn from the past and look forward to what the future holds.
Hardware Description Languages and their Applications
Specification, modelling, verification and synthesis of microelectronic systems
AvCarlos Delgado Kloos,Eduard Cerny
Inbunden, Engelska, 1997
1 672 kr
Skickas inom 10-15 vardagar
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 migration of VLSI design to high level synthesis based on HDLs. Currently the subject has reached the consolidation phase in which languages and standards are being increasingly used, at the same time as the scope is being broadened to additional application areas. This book presents the latest developments in this area and provides a forum from which readers can learn from the past and look forward to what the future holds.
Formal Semantics for VHDL
AvCarlos D. Kloos,Carlos Delgado Kloosm. fl.
Inbunden, Engelska, 1995
1 117 kr
Skickas inom 10-15 vardagar
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 several tools, both commercial and academic. If different tools and users are to generate and read the same language then it is necessary that the same semantics is assigned by them to all constructs and elements of the language. This text puts forward a cohesive set of semantics for the VHDL language. The chapters describe several semantics each based on a different underlying formalism. Two chapters use Petri nets as target language and two of them higher order logic. Two use functional concepts and finally another uses the concept of evolving algebras. "Formal Semantics for VHDL" is intended for researchers in formal methods and can be used as a text for an advanced course on the subject.
EduTech: Computer-Aided Design Meets Computer-Aided Learning
Computer-Aided Design Meets Computer-Aided Learning
AvAbelardo Pardo,Carlos Delgado Kloos
E-bok
PDF, Engelska, 2006
732 kr
Läs direkt efter köp
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 touches on a number of parallels, such as system interoperability, user interfaces, standardisation, XML-based formats, reusability aspects, etc. Furthermore, the teaching of Design Automation tools and methods is particularly amenable to a distant or blended learning setting, and implies the interconnection of typical CAD tools, such as simulators or synthesis tools, with eLearning tools. There are many other aspects in which synergy can be found when using eLearning technology for teaching and learning technology.
EduTech: Computer-Aided Design Meets Computer-Aided Learning contains the proceedings of the EduTech2004 workshop, which was held in August 2004 in conjunction with the 18th IFIP World Computer Congress in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP). Organized by IFIP WG 10.5 (Design and Engineering of Electronic Systems) in cooperation with IFIP WG 3.6 (Distance Education), the workshop proceedings explore the interrelationship between these two subjects, where computer-aided design meets computer-aided learning. The book includes papers related to eLearning in the area of electronic CAD, but also includes contributions tackling general issues of eLearning that are applicable to this and many other areas such as reusability, standards, open source tools or mobility.
This book will be of value to those interested in the latest developments in eLearning in general, and also to those coming from the electronic design field who want to know how to apply these developments in their area.
Del 307 - Springer International Series in Engineering and Computer Science
Formal Semantics for VHDL
AvCarlos Delgado Kloos,P. Breuer
Häftad, Engelska, 2012
1 085 kr
Skickas inom 10-15 vardagar
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 several tools, both commercial and academic. If different tools and users are to generate and read the same language then it is necessary that the same semantics is assigned by them to all constructs and elements of the language. The current IEEE standard VHDL language reference manual (LRM) tries to define VHDL as well as possible in a descriptive way, explaining the semantics in English. But rigor and clarity are very hard to maintain in a semantics defined in this way, and that has already given rise to many misconceptions and contradictory interpretations. Formal Semantics for VHDL is the first book that puts forward a cohesive set of semantics for the VHDL language. The chapters describe several semantics each based on a different underlying formalism: two of them use Petri nets as target language, and two of them higher order logic. Two use functional concepts, and finally another uses the concept of evolving algebras. Formal Semantics for VHDL is essential reading for researchers in formal methods and can be used as a text for an advanced course on the subject.
Formal Semantics for VHDL
AvP. Breuer,Carlos Delgado Kloos
E-bok
PDF, Engelska, 2012
1 413 kr
Läs direkt efter köp
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 several tools, both commercial and academic. If different tools and users are to generate and read the same language then it is necessary that the same semantics is assigned by them to all constructs and elements of the language. The current IEEE standard VHDL language reference manual (LRM) tries to define VHDL as well as possible in a descriptive way, explaining the semantics in English. But rigor and clarity are very hard to maintain in a semantics defined in this way, and that has already given rise to many misconceptions and contradictory interpretations. Formal Semantics for VHDL is the first book that puts forward a cohesive set of semantics for the VHDL language. The chapters describe several semantics each based on a different underlying formalism: two of them use Petri nets as target language, and two of them higher order logic. Two use functional concepts, and finally another uses the concept of evolving algebras. Formal Semantics for VHDL is essential reading for researchers in formal methods and can be used as a text for an advanced course on the subject.
Hardware Description Languages and their Applications : Specification, modelling, verification and synthesis of microelectronic systems
AvCarlos Delgado Kloos,Eduard Cerny
Engelska, 2013
646 kr
Skickas inom 5-8 vardagar
Hardware Description Languages and their Applications
Specification, modelling, verification and synthesis of microelectronic systems
AvCarlos Delgado Kloos,Eduard Cerny
Häftad, Engelska, 2013
1 623 kr
Skickas inom 10-15 vardagar
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 migration of VLSI design to high level synthesis based on HDLs. Currently the subject has reached the consolidation phase in which languages and standards are being increasingly used, at the same time as the scope is being broadened to additional application areas. This book presents the latest developments in this area and provides a forum from which readers can learn from the past and look forward to what the future holds.
EduTech: Computer-Aided Design Meets Computer-Aided Learning : Computer-Aided Design Meets Computer-Aided Learning
AvCarlos Delgado Kloos,Abelardo Pardo
Engelska, 2013
646 kr
Skickas inom 5-8 vardagar
Del 151 - IFIP Advances in Information and Communication Technology
EduTech: Computer-Aided Design Meets Computer-Aided Learning
Computer-Aided Design Meets Computer-Aided Learning
AvCarlos Delgado Kloos,Abelardo Pardo
Häftad, Engelska, 2013
530 kr
Skickas inom 10-15 vardagar
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 touches on a number of parallels, such as system interoperability, user interfaces, standardisation, XML-based formats, reusability aspects, etc. Furthermore, the teaching of Design Automation tools and methods is particularly amenable to a distant or blended learning setting, and implies the interconnection of typical CAD tools, such as simulators or synthesis tools, with eLearning tools. There are many other aspects in which synergy can be found when using eLearning technology for teaching and learning technology.EduTech: Computer-Aided Design Meets Computer-Aided Learning contains the proceedings of the EduTech2004 workshop, which was held in August 2004 in conjunction with the 18th IFIP World Computer Congress in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP). Organized by IFIP WG 10.5 (Design and Engineering of Electronic Systems) in cooperation with IFIP WG 3.6 (Distance Education), the workshop proceedings explore the interrelationship between these two subjects, where computer-aided design meets computer-aided learning. The book includes papers related to eLearning in the area of electronic CAD, but also includes contributions tackling general issues of eLearning that are applicable to this and many other areas such as reusability, standards, open source tools or mobility.This book will be of value to those interested in the latest developments in eLearning in general, and also to those coming from the electronic design field who want to know how to apply these developments in their area.
Del 196 - IFIP Advances in Information and Communication Technology
EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World
IFIP International Workshop on Networked Applications, Colmenarejo, Madrid/Spain, 6-8 July, 2005
AvCarlos Delgado Kloos,Andrés Marínm. fl.
Häftad, Engelska, 2014
1 117 kr
Skickas inom 10-15 vardagar
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 its member institutions. The prime means for implementing these goals is the annual Summer School organized by the member institutions. From its conception, the EUNICE Summer Schools were designed as unique events where the joint participation of PhD students and supervisors working in the field of information and communication technologies (ICT) is the key to create an event that goes far beyond a conventional international workshop. Furthermore, the Summer School is an open forum for the cooperation of the European member institutions and any other organisation interested European academiclresearch centre at all levels. This cooperation is paramount to successfully construct and participate in the European Higher Education Area, and especially, to achieve easy and effective exchange of research activities.
Del 11475 - Lecture Notes in Computer Science
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
AvMauro Calise,Carlos Delgado Kloosm. fl.
Häftad, Engelska, 2019
530 kr
Skickas inom 10-15 vardagar
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) have marked a milestone in the use of technology for education. The reach, potential, and possibilities of EMOOCs are immense. But they are not only restricted to global outreach: the same technology can be used to improve teaching on campus and training inside companies and institutions.The chapter 'Goal Setting and Striving in MOOCs. A Peek inside the Black Box of Learner Behaviour' is open access under a CC BY 4.0 license at link.springer.com.
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
AvMartin Wirsing,Jose A. Ruiperez-Valientem. fl.
E-bok
Engelska, 2019
690 kr
Läs direkt efter köp
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) have marked a milestone in the use of technology for education. The reach, potential, and possibilities of EMOOCs are immense. But they are not only restricted to global outreach: the same technology can be used to improve teaching on campus and training inside companies and institutions.
The chapter ''Goal Setting and Striving in MOOCs. A Peek inside the Black Box of Learner Behaviour'' is open access under a CC BY 4.0 license at link.springer.com.
Del 10254 - Lecture Notes in Computer Science
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
AvCarlos Delgado Kloos,Patrick Jermannm. fl.
Häftad, Engelska, 2017
530 kr
Skickas inom 10-15 vardagar
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 milestone in the use of technology for education. The reach, potential, and possibilities of EMOOCs are immense. But they are not only restricted to global outreach: the same technology can be used to improve teaching on campus and training inside companies and institutions.
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
AvSu White,Daniel T. Seatonm. fl.
E-bok
Engelska, 2017
690 kr
Läs direkt efter köp
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 milestone in the use of technology for education. The reach, potential, and possibilities of EMOOCs are immense. But they are not only restricted to global outreach: the same technology can be used to improve teaching on campus and training inside companies and institutions.
Semantics of Digital Circuits
AvCarlos Delgado Kloos
Häftad, Engelska, 1987
255 kr
Skickas inom 10-15 vardagar
Semantics of Digital Circuits
AvCarlos Delgado Kloos
E-bok
PDF, Engelska, 2005
316 kr
Läs direkt efter köp
Practical Formal Methods for Hardware Design
AvC. Delgado Kloos,Carlos Delgado Kloosm. fl.
Häftad, Engelska, 1997
562 kr
Skickas inom 10-15 vardagar
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 involved the collaboration of the enterprises Siemens, Italtel, Telefonica I+D, TGI, and AHL, the research institute OFFIS, and the universities of Madrid and Passau. The work presented involves advanced specification languages for hardware design that are intuitive to the designer, like timing diagrams and state based languages, as well as their relation to VHDL and formal languages like temporal logic and a process-algebraic calculus. The results of experimental tests of the tools are also presented.
Towards Ubiquitous Learning
6th European Conference on Technology Enhanced Learning, EC-TEL 2011, Palermo, Italy, September 20-23, 2011, Proceedings
AvCarlos Delgado Kloos,Denis Gilletm. fl.
Häftad, Engelska, 2011
562 kr
Skickas inom 10-15 vardagar
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 papers, 8 poster papers, and 2 invited paper. There are many interesting papers on topics such as web 2.0 and social media, recommender systems, learning analytics, collaborative learning, interoperability of tools, etc.
Towards Ubiquitous Learning
6th European Conference on Technology Enhanced Learning, EC-TEL 2011, Palermo, Italy, September 20-23, 2011, Proceedings
AvMartin Wolpers,Fridolin Wildm. fl.
E-bok
PDF, Engelska, 2011
732 kr
Läs direkt efter köp
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 papers, 8 poster papers, and 2 invited paper. There are many interesting papers on topics such as web 2.0 and social media, recommender systems, learning analytics, collaborative learning, interoperability of tools, etc.
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
AvAndrew Ravenscroft,Stefanie Lindstaedtm. fl.
Häftad, Engelska, 2012
562 kr
Skickas inom 10-15 vardagar
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 short papers, 16 demonstration papers, 11 poster papers, and 1 invited paper. Specifically, the programme and organizing structure was formed through the themes: mobile learning and context; serious and educational games; collaborative learning; organisational and workplace learning; learning analytics and retrieval; personalised and adaptive learning; learning environments; academic learning and context; and, learning facilitation by semantic means.
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
AvDavinia Hernandez-Leo,Carlos Delgado Kloosm. fl.
E-bok
PDF, Engelska, 2012
732 kr
Läs direkt efter köp
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 short papers, 16 demonstration papers, 11 poster papers, and 1 invited paper. Specifically, the programme and organizing structure was formed through the themes: mobile learning and context; serious and educational games; collaborative learning; organisational and workplace learning; learning analytics and retrieval; personalised and adaptive learning; learning environments; academic learning and context; and, learning facilitation by semantic means.
Practical Formal Methods for Hardware Design
AvWerner Damm,Carlos Delgado Kloos
E-bok
PDF, Engelska, 2012
732 kr
Läs direkt efter köp
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 involved the collaboration of the enterprises Siemens, Italtel, Telefonica I+D, TGI, and AHL, the research institute OFFIS, and the universities of Madrid and Passau. The work presented involves advanced specification languages for hardware design that are intuitive to the designer, like timing diagrams and state based languages, as well as their relation to VHDL and formal languages like temporal logic and a process-algebraic calculus. The results of experimental tests of the tools are also presented.

Företag, bibliotek eller offentlig verksamhet?

Carlos Delgado Kloos – författare

EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World

EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World

Hardware Description Languages and their Applications

Hardware Description Languages and their Applications

Formal Semantics for VHDL

EduTech: Computer-Aided Design Meets Computer-Aided Learning

Formal Semantics for VHDL

Formal Semantics for VHDL

Hardware Description Languages and their Applications : Specification, modelling, verification and synthesis of microelectronic systems

Hardware Description Languages and their Applications

EduTech: Computer-Aided Design Meets Computer-Aided Learning : Computer-Aided Design Meets Computer-Aided Learning

EduTech: Computer-Aided Design Meets Computer-Aided Learning

EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World

Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge

Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge

Digital Education: Out to the World and Back to the Campus

Digital Education: Out to the World and Back to the Campus

Semantics of Digital Circuits

Semantics of Digital Circuits

Practical Formal Methods for Hardware Design

Towards Ubiquitous Learning

Towards Ubiquitous Learning

21st Century Learning for 21st Century Skills

21st Century Learning for 21st Century Skills

Practical Formal Methods for Hardware Design

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration